22887

Теорема про найбільший спільний дільник (доведення іншим способом)

Доклад

Математика и математический анализ

Нехай і для визначеності стст. Покажемо що стст. Припустимо що стст тоді стстст що неможливо. Нехай і взаємнопрості тоді існують многочлени і такі що причому і можна вибрати так що стст стст.

Украинкский

2013-08-04

90 KB

0 чел.

Теорема про найбільший спільний дільник (доведення іншим способом).

ІІ спосіб. Конструктивний, тому дає змогу знайти  і . Нехай  і для визначеності стст. Будемо знаходити НСД за допомогою алгоритма Евкліда.

і

і

тобто , тоді підставимо вирази:

Підставляємо значення. Маємо:

, Залишилось довести останню частину теореми, тобто довести, що  і , такі, що . Ділимо  на  з залишком, тобто , де ст<ст. Підставимо . Зрозуміло, що   ст<ст.

Покажемо, що  стст. Припустимо, що стст, тоді стст+ст, що неможливо.

Наслідок.

Нехай  і  взаємнопрості, тоді існують многочлени  і , такі, що  причому  і  можна вибрати так, що стст,   стст.


 

А также другие работы, которые могут Вас заинтересовать

17322. Работа с XML в .NET 399.72 KB
  Лекция 8. Работа с XML в .NET План 1. Классы для работы с XML .NET 2. Чтение и запись потоков данных Xml 2.1. Использование класса XmlReader 2.2. Методы чтения данных 2.3. Контроль типов данных при чтении Xmlдокумента 3. Создание XMLдокумента в Visual Studio 1. Классы для работы с XML .NET Мно
17323. Создание XML-документов в .NET 123.45 KB
  Лекция 9. Создание XMLдокументов в .NET План 1. Использование класса XmlWriter запись потоков данных Xml 2. Использование DOM в .Net 2.1. Чтение XMLдокумента с помощью XmlNodeList 2.2. Вставка элементов узлов в XML документ 3. Обработка атрибутов 3.1. Извлечение атрибутов с помощью XmlRead...
17324. Элементы функционального программирования в C# 115.85 KB
  Лекция 10. Элементы функционального программирования в C План 1. Элементы функционального программирования в C 2. Делегаты 3. Лямбдавыражения и лямбдафункции 1. Элементы функционального программирования в C Даже из названия функциональное программирован...
17325. Язык LINQ 145.16 KB
  Лекция 11. Язык LINQ План 1. Основы языка LINQ 2. LINQ: обобщения и интерфейсы 3. Основные операции запроса 4. Преобразования данных с LINQ 5. Связи типов в операциях запроса 6. Синтаксис запроса или синтаксис метода 1. Основы языка LINQ Language Integrated Query LINQ – проект Microsoft по ...
17326. LINK to SQL 251.7 KB
  Лекция 11. LINK to SQL 10.1.2.1. Общие сведения После ознакомления с основными аспектами работы с запросами в C можно рассмотреть конкретный тип поставщика LINQ – LINQ to SQL. Отображение реляционных данных на объектную модель всегда было одной из наиболее сложных проблем при построе...
17327. ПАРАДИГМИ ПРОГРАМУВАННЯ 3.17 MB
  ПАРАДИГМИ ПРОГРАМУВАННЯ Конспект лекцій 8.080401: Інформаційні управляючі системи та технології Освітньокваліфікаційний рівень – магістр ТЕМА 1. ПАРАДИГМА ІМПЕРАТИВНОГО ПРОГРАМУВАННЯ Лекція 1. Огляд парадигм програмування 1.1 Базові поняття і визначення Перш ...
17328. ПРЕДМЕТ І ЗАВДАННЯ КУРСУ ПОЛІТЕКОНОМІЇ 85.5 KB
  ПРЕДМЕТ І ЗАВДАННЯ КУРСУ ПОЛІТЕКОНОМІЇ 1. Предмет курсу Економічне життя суспільства є надзвичайно багатогранним. Його вивчає система економічних наук які включають науки про загальні закони економічного розвитку галузеві економічні науки науки що розглядають конкр...
17329. ЕКОНОМІЧНА ДУМКА СТАРОДАВНЬОГО СВІТУ ТА СЕРЕДНЬОВІЧЧЯ. МЕРКАНТИЛІЗМ 263.5 KB
  ЕКОНОМІЧНА ДУМКА СТАРОДАВНЬОГО СВІТУ ТА СЕРЕДНЬОВІЧЧЯ. МЕРКАНТИЛІЗМ Історія економічної думки бере свій початок у глибокій давнині. Уже первісні люди мали якісь зачатки господарських знань котрі були результатом осмислення виробничого досвіду. З розвитком сус
17330. КЛАСИЧНА ШКОЛА ПОЛІТИЧНОЇ ЕКОНОМІЇ 220 KB
  КЛАСИЧНА ШКОЛА ПОЛІТИЧНОЇ ЕКОНОМІЇ Розвиток капіталістичних відносин спричинив занепад меркантилізму передовсім в Англії найбільш економічно розвинутій країні. Інтереси буржуазії переміщуються зі сфери обігу у сферу виробництва. На перший план виходить проми