Метод Кронекера
Ме́тод Кро́некера, метод разложения многочлена с рациональными коэффициентами на неприводимые множители над полем рациональных чисел; предложен в 1882 г. Л. Кронекером (Kronecker. 1882). Пусть – общий знаменатель всех коэффициентов многочлена . Тогда – многочлен с целыми коэффициентами; причём из любого разложения на неприводимые множители с рациональными коэффициентами можно получить разложение на неприводимые множители с целыми коэффициентами, множители которого отличаются от соответствующих множителей лишь постоянными множителями, и обратно.
Пусть имеет степень и – наибольшее натуральное число, для которого . Если – разложение на множители с целыми коэффициентами, где степень не больше степени , то степень не превосходит . Давая любые различных целых значений , , получают равенствагде и – целые числа. Таким образом, делит . Беря произвольные делители чисел , получаютИз этих равенств многочлен находится по интерполяционной формуле Лагранжа или проще – из уравнений для коэффициентов. Найденный многочлен надо испытать, проверив, делит ли он . Это построение многочлена и проверка проводятся для всевозможных наборов делителей чисел .
Далее этот же процесс применяется к и и т. д., пока не приходят к неразложимым множителям.
Метод Кронекера приводит к громоздким вычислениям. Для упрощения можно сначала понизить степень , выделив его рациональные корни (Курош. 1975. С. 355).
Пример. (это многочлен с целыми коэффициентами и без рациональных корней). Если , где степень многочлена не больше степени , то , т. е. . Пусть , , . Тогда ; ; . Делители этих чисел: , , . Всего получается комбинации. Две комбинации , отличающиеся лишь знаком, дают два многочлена . Поэтому можно проверять лишь . Остаются случая. Перебирая все эти случаи, можно найти лишь один многочлен 2-й степени, делящий . Это . Откуда . Оба сомножителя этого разложения неприводимы (как многочлены 2-й и 3-й степеней, не имеющие рациональных корней).