![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Теорема 2.3.8. Для заданного множества попарно взаимно простых многочленов т1 (х), m2(х),..., тk (х) и множества многочленов с1 (х), с2 (х),..., сk (х), таких, что deg ci(x) < deg mi(x ), система сравнена и
с1 (х) = с (х) (mod mi(x) i = 1,..., k, имеет не более одного решения с (х}, удовлетворяющего условию
k
dtg c(x<∑deg mi (x.).
i=1
Доказательство.. Предположим, что имеются два решения, а именно
c(x) = Qi(x) mi(x) +ci(x)
и
c*(x) = Qi*(x) mi(x) +ci(x),
так что разность с(х) — с*(х) кратна многочлену т{ (х) для каждого i. Тогда многочлен с(х) — с*(х) кратен и многочлену ∏ki=1 mi(x), причем
deg [с(х) – с* (х)]<deg [ ∏ k mi(x) ],
i=1
Следовательно, с(х) — с*(х) = О, и доказательство закончено.
Так же как и в кольце целых чисел, в кольце многочленов над произвольным полем выполняется равенство
НОД [r (х), s(х)] = а (х) r(х) + b(х) s (х)
для некоторых а(х) и b(х). Для заданного множества попарно взаимно простых т{ (х) положим М (х) = Пki=1 mi (х) и Мi(х)=М(х)/т1(х) и допустим, что Ni (х) и пi (х) удовлетворяют равенствам Ni(х) Мi (х)+ пi(х) тi(х) = I; согласно следствию 2.3.7, такие многочлены N{(х) и пг (х) всегда существуют
Теорема 2.3..9. Пусть М(х) = ∏ki=1 mi(x)- произведение попарно взаимно простых многочленов, и пусть Мi (х) = М (х)/тi (х)
и Ni(х) удовлетворяют равенствам Ni(х) Мi (х)+ пi(х) тi(х) = I. Тогда единственным решением системы сравнений,
сi(х) = с (х) (mod mi(x)), i = 1,..., k, является
k
с(х)=∑i=1 сi(х} Ni (х) Мi (х) (mod М (х)).
Доказательство. Так как мы уже знаем, что рассматриваемая система сравнений имеет не более одного решения, то нам надо только доказать, что выписанное выше с(х) действительно является решением. Но
с (х) = сг (х) N i (х) Мi (х) (mod mi(x) ),
ибо тi (х) делит Мr (х), если r ≠ i. Наконец, так как
Ni(х) Мi (х)+ пi(х) тi(х) = I,
то Ni(х) Мi(х) = 1 (mod mi(x) ) и с(х) = сi (х) (mod mi(x) ), что и завершает доказательство.
Дата публикования: 2014-11-18; Прочитано: 855 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!