Задача 60974

Темы:    [ Китайская теорема об остатках ] [ Многочлены (прочее) ]

Сложность: 4 Классы: 9,10,11 Название задачи: Китайская теорема об остатках для многочленов.

Условие

Пусть m₁(x), ..., m_n(x) – попарно взаимно простые многочлены, a₁(x), ..., a_n(x) – произвольные многочлены.
Докажите, что существует ровно один такой многочлен p(x), что
    p(x) ≡ a₁(x) (mod m₁(x)),
      ...
    p(x) ≡ a_n(x) (mod m_n(x))
и  deg p(x) < deg m₁(x) + ... + deg m_n(x).

Подсказка

Докажите утверждение индукцией по n.

Источники и прецеденты использования

книга
Автор	Алфутова Н.Б., Устинов А.В.
Год издания	2002
Название	Алгебра и теория чисел
Издательство	МЦНМО
Издание	1
глава
Номер	6
Название	Многочлены
Тема	Многочлены
параграф
Номер	2
Название	Алгоритм Евклида для многочленов и теорема Безу.
Тема	Теорема Безу. Разложение на множители
задача
Номер	06.051