* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки

294 ЭЛЕМЕНТЫ ТЕОРИИ ЧИСЕЛ цесс деления, подробно излагаемый в школьных учебниках алгебры, показывает, что всегда существует два таких многочлена Q{x) и R(x) что тождественно 9 A{x) = Q(x)B(x) + R{x) 9 (4) причём степень многочлена R(x) (остатка) меньше степени много­ члена В{х) (делителя). Многочлены Q(x) (частное) и R(x) (оста­ ток) при этом определены однозначно. В самом деле, если наряду с (4) мы имеем другое соотношение того же вида, например A(x) = Q'(x)B(x) + R (x) 9 f 9 где степень R (х) также ниже степени В (х) то тождественно R(x) откуда [Q (*) — Q' (х)] В (х) = R' (х) — R (х). Степень многочлена, стоящего в правой части этого равенства, ниже степени В(х)\ для левой части это, очевидно, возможно лишь при условии, что тождественно Q'(x) = Q (х) вследствие чего и R'(x) = = R(x). Коэффициенты многочленов Q(x) uR(x) получаются из коэффициентов А(х) и В(х) рациональными операциями и будут поэтому также рациональными числами. В дальнейшем мы вообще будем понимать равенство двух много­ членов как попарное равенство всех коэффициентов при одинаковых степенях х; в частности, Р(х) = 0 означает, что все коэффициенты многочлена Р(х) равны нулю. Если в соотношении (4) R(x) = 0 т. е. если А(х) может быть представлено в виде B(x)Q(x) то говорят, что многочлен А(х) д е л и т с я (без остатка) на многочлен В (дг). Таким образом, дели­ мость в нашей области определяется в точности так же, как в области целых чисел. Если г — л ю б о е рациональное число, отличное от нуля, а Р(х) — многочлен с рациональными коэффициентами, то таким же 9 9 9 + Q(x)B(x) = R'(x) + Q'(x)B(x) 9 будет и многочлен . Соотношение А) {Х = г,*¥делится на любое рацио­ x показывает, что любой многочлен А(х) нальное число г (кроме нуля) и на любой многочлен вида ^ j . - « Таким образом, в нашей теории делимости любое рациональное число играет роль единицы. Естественно поэтому называть взаимно простыми два многочлена, не имеющих других общих делителей, кроме рациональных чисел. Далее, мы называем абсолютно простым (или неприводимым) многочлен Р(х), не имеющий других делителей!