22886

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

Доклад

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

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

Украинкский

2013-08-04

149 KB

1 чел.

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

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

(Доведення)

Припустимо   і  ненульові многочлени. Доведення існування  і  можна провести двома способами.

І спосіб. Позначимо через  таку множину многочленів , зрозуміло, що . Визначимо властивості множини :

  1.   тоді .  і .
  2.  Якщо  і  довільний многочлен, який не обов’язково належить , то   і .
  3.  Якщо деякий многочлен  і  то    
  4.   і .  , .

З множини  виберемо ненульовий многочлен найбільшого степеня і позначимо його . З (3) якщо  то . Покажемо, що довільний многочлен із  ділиться на . Від супротивного нехай деякий многочлен  не ділиться на  тоді поділимо його із залишком.

при цьому стст

Враховуючи властивості (1),(2) , , тому  і вмножині  знайдеться ненульовий многочлен  степінь якого меньше степеня , що суперечить вибору , тому . За властивістю (4)  , . З означення НСД одержимо , раніше було одержано, що , тому многочлени  і  різняться лише на сталий множник і є асаційовними. З означення асоційовності  такий, що  і за властивість (2) . За означення множини  існують такі многочлени і :  .

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

і

і

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

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

,