Неприводимость и разложение на неприводимые многочлены
Ошибка.
Попробуйте повторить позже
Докажите, что для любого простого существует ровно
неприводимых над
многочленов степени не выше
Всего имеется многочленов степени не выше
над
(для каждого из трёх коэффициентов по
вариантов). Давайте теперь
посчитаем количество приводимых. Каждый приводимый многочлен имеет вид либо
где
— ненулевой вычет, а
и
—
произвольные вычеты. Приводимых многочленов второй степени всего
(суммы случаев, когда корни разные и
одинаковые). Значит, количество неприводимых многочленов равно
Ошибка.
Попробуйте повторить позже
(a) Нетрудно заметить, что делится на
Теперь докажем, что
делится на
Пусть
делится на некоторое простое
то есть равно
в
Но тогда какой-то из многочленов
равен
в
а
значит,
делится на
то есть в рассматриваемой делимости на
можно делимое и делитель сократить. Так мы
сократим все простые числа, входящие в
то есть делимость доказана. Если два числа друг на друга делятся, то они
равны.
(b) Достаточно доказать, что мнонгочлен приводим над
тогда и только тогда, когда он приводим над
Понятно, что из
приводимости над
приводимость над
автоматически следует. Теперь докажем обратное. Пусть
где
и
—
многочлены с рациональными коэффициентами. Пусть
— НОК знаменателей
— НОК знаменателей
Тогда
Пусть
где
и
— целочисленные многочлены с
единичным содержанием. Ясно, что
делится на
Значит, можно сократить на
и получить приводимость над
Ошибка.
Попробуйте повторить позже
Критерий Эйзенштейна. Пусть все коэффициенты кроме старшего, делятся на простое число
и свободный член не
делится на
Тогда
неприводим над
Пойдём от противного, пусть приводим над
Рассмотрим эти многочлены в
По условию
в
будет
иметь вид
где
потому что остальные коэффициенты кратны
Но тогда каждый из многочленов
и
будут иметь такой
же вид. Значит, их свободные члены в
равны
но тогда в
они кратны
В этом случае свободный член
будет делиться на
Пришли к противоречию.
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами неприводим над
Докажите, что у многочлена нет кратных действительных
корней.
Предположим, что существует неприводимый над многочлен
имеющий кратный корень. Тогда у многочлена
тоже есть этот корень, где
— производная
Пусть
Тогда
и
так как у и
есть общий корень. Но тогда
приводим, так как делится на многочлен меньшей ненулевой степени с
рациональными коэффициентами.
Ошибка.
Попробуйте повторить позже
Многочлен седьмой степени с целыми коэффициентами в семи целых точках равен Докажите, что его нельзя представить в виде
произведения двух непостоянных многочленов с целыми коэффициентами.
Предположим противное. Пусть – наш многочлен, и
где
и
По принципу
Дирихле, степень одного из
и
не превосходит
Пусть, не умаляя общности,
Так как
и
принимают целые значения
в целых точках, их значения в выделенных семи точках
равны
по модулю. По принципу же Дирихле, одно из значений
многочлен
принимает хотя бы в
точках. Не умаляя общности, пусть это
Тогда многочлен
имеет степень не больше
и
хотя бы
различных корня – противоречие.
Ошибка.
Попробуйте повторить позже
Докажите для различных целых неприводимость многочлена
Поскольку приводимость над равносильна приводимости над
достаточно доказывать неприводимость многочлена над
Обозначим его символом
и предположим, что
где
и
Отметим, что в точках
наш многочлен принимает значение
Тогда в точках
и
и
принимают значения по модулю равные
причем, поскольку их произведение отрицательно, они различны по знаку. Рассмотрим
Степень этого
многочлена не превосходит
но в ста точках
он принимает значение
Такое возможно только если
тождественно равен
то есть
Но тогда
имеет отрицательный
старший коэффициент, однако очевидно, что
имеет положительный старший коэффициент –
противоречие.
Ошибка.
Попробуйте повторить позже
Разложите в произведение неконстантных многочленов над многочлен
Подсказка 1
Нужно разложить многочлен третей степени. Какие степени могут быть у множителей?
Подсказка 2
Надо сделать произведение линейной и квадратных функций. Как их можно подобрать? Легче найти линейный множитель. Пусть он x - a, тогда при подстановке a в многочлен будет ноль. Переберите остатки и найдите a, затем, выполнив деление, найдите требуемое разложение.
Над
Ошибка.
Попробуйте повторить позже
Пусть (
— простое число). При этом для любого
выполнено
Докажите, что
делится на
Из условия следует, что многочлен имеет корни
Тогда по теореме Безу получаем, что
делится на
Так как над все многочлены вида
различны и неприводимы, то верно равенство
которое приводит к нужному результату.
Ошибка.
Попробуйте повторить позже
Даны многочлен с целыми коэффициентами и натуральное число
Старший коэффициент и свободный член многочлена
взаимно просты с
остальные коэффициенты делятся на
Известно, что многочлен
делится на
для некоторого
многочлена
ненулевой степени. Докажите, что степень
делится на
Подсказка 1
Во-первых, Q всегда можно заменить на его неприводимый множитель, если сам Q не является неприводимым. А можно ли свести задачу к случаю, когда Q рационален?
Подсказка 2
Можно! Для этого достаточно показать, что если Q₁ — минимальный многочлен с рациональными коэффициентами, делящийся на Q, то P(x) делится на квадрат многочлена Q₁. Как это сделать?
Подсказка 3
Верно! Для начала нужно показать, что если многочлен с рациональными коэффициентами делится на Q, то он делится и на Q₁ (это легко сделать простым делением с остатком). А что будет, если теперь рассмотреть частное P и Q₁?
Подсказка 4
Точно! Если Q² не делит Q₁, то это будет означать, что многочлен с рациональными коэффициентами, равный частному P и Q₁, делится на Q! А это уже означает, что он делится на Q₁, и мы докажем заявленное утверждение. А как показать, что Q₁ не делится на квадрат Q?
Подсказка 5
Конечно! В противном случае производная многочлена Q₁, имеющая рациональные коэффициенты, делится на Q, следовательно, делится и на Q₁, а это невозможно, ведь Q₁ непостоянный! Итак, можно считать, что Q имеет рациональные коэффициенты. А можно ли теперь вообще считать, что Q имеет целые коэффициенты?
Подсказка 6
Можно! Для этого нужно просто аккуратно вынести знаменатели из равенства P(x) = Q²(x)R(x), чтобы получить произведение многочленов с целыми коэффициентами, а потом вынести содержание. Полученная константа перед произведением, очевидно, целая. Понятно, что для решения задачи достаточно доказать, что производная P делится на n. А как можно удобно представить производную P?
Подсказка 7
Верно! Легко заметить, что P' = QS, где Q и S — многочлены с целыми коэффициентами. Можно ли теперь, используя знания о многочлене P, доказать, что все коэффициенты S делятся на n?
Будем полагать, что — неприводим над
(в противном случае вместо
можно рассмотреть его неприводимый множитель
Покажем, что можно считать, что — многочлен с рациональными коэффициентами. Действительно, пусть
—
многочлен минимальной степени с рациональными коэффициентами, такой, что
(такой многочлен существует, поскольку
Заметим, что любой многочлен делящийся на
делится и на
Для того, чтобы это доказать, разделим
на
с остатком:
Все участвующие в этом равенстве многочлены, очевидно, имеют рациональные коэффициенты. Так как
и
а потому
делится на
однако его степень меньше, чем степень многочлена
и, следовательно,
Многочлен не может делиться на
поскольку в ином случае
при этом многочлен
имеет рациональные
коэффициенты, поэтому и многочлен
По доказанному выше это означает, что
что невозможно, если
не
(из
соображения о том, что
Но тогда
а это не так, поскольку
Рассмотрим многочлен, равный частному и
Он имеет рациональные коэффициенты и делится на
(так как
—
неприводимый, при этом
не делит
но делит
Тогда частное многочленов
и
делится на
следовательно,
делится на
Таким образом, мы нашли многочлен
с рациональными коэффициентами, на квадрат которого делится
Таким
образом, можно изначально полагать, что
Итак, имеем равенство где
Приведем коэффициенты
и
к общим знаменателям
и
Тогда имеем равенство
где После этого из каждого многочлена
и
вынесем
и
Получим равенство
Поскольку и
константа, стоящая в последнем равенстве перед произведением этих многочленов, должна быть
целой. Тогда положим
и получим равенство где
Тогда можно полагать, что
Очевидно, что младший коэффициент взаимно прост с
Заметим, что
где
Докажем, что все его коэффициенты делятся на
Предположим, что это не так. Рассмотрим одночлен многочлена
минимальной
степени, который не делится на
и положим, что его степень равна
Тогда
так как
— многочлен
ненулевой степени. Коэффициент
при одночлене степени
не делится на
так как младший коэффициент
взаимно прост с
(остальные слагаемые делятся), но у многочлена
коэффициент при одночлене степени
делится —
противоречие.
Значит, и старший коэффициент делится на
Этот коэффициент равен
где
— старший коэффициент
Поскольку
по условию, то
делится на
Ошибка.
Попробуйте повторить позже
Даны многочлены Рассмотрим НОДы этих многочленов над
и над
Докажите, что эти НОДы отличаются домножением
на константу.
В
находится алгоритмом Евклида. Ясно, что этот же алгоритм подойдет и в
Но тогда
отличается
домножением на константу от
что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Разложите на неприводимые сомножители ненулевой степени с целыми коэффициентами.
По формуле разности квадратов
Преобразуем отдельно каждую скобку.
По формуле разности квадратов
Далее применим формулы сумму и разности кубов
Разложим теперь По формуле суммы кубов
Получаем, что
Очевидно, что и
неприводимы над
Квадратные трехчлены
и
тоже неприводимы над
так как
если бы они были приводимы, то имели бы корни, которых у них нет, так как их дискриминант равен -3. Аналогично,
—
неприводим.
Осталось проверить, что неприводим над
Понятно, что он не может раскладываться в виде
так как тогда бы у него был целый корень, однако все его корни комплексные. Тогда единственный возможный вариант разложения — это
Покажем, что и это невозможно. Для начала раскроем скобки и сгруппируем.
Тогда, так как полученный многочлен должен быть тождественно равен исходному, получаем систему уравнений в целых числах на коэффициенты:
Из последнего уравнения получаем так как
Тогда из второго получаем
или
Заметим, что оба
варианта невозможны, так как целых решений вместе с уравнением
быть не может. Тогда получаем, что
действительно неприводим.
Ошибка.
Попробуйте повторить позже
Даны взаимно простые многочлены и
с целыми коэффициентами, то есть
над
Докажите, что существует такая
константа
что для любого целого
выполнено
Заметим, что из взаимной простоты многочленов в следует их взаимная простота в
(иначе они бы не были взаимно простыми в
).
Тогда понятно, что на самом деле можно решать задачу в
так как
Тогда, так как многочлены и
взаимно просты для некоторых многочленов
имеет место тождество
Так как коэффициенты многочленов
и
рациональны, можно умножить уравнение на
равное
наименьшему общему кратному всех знаменателей этих многочленов.
Тогда получаем новое тождество в котором многочлены
имеют целые
коэффициенты. Пусть
Тогда верно равенство
То есть уравнение
имеет решение
в целых числах. Но тогда
Тогда получаем, что
для любого целого
В
качестве требуемой константы
берем
Таким образом, её существование доказано.
Ошибка.
Попробуйте повторить позже
Докажите, что многочлен неприводим над
Используем критерий Эйзенштейна: Пусть все коэффициенты кроме старшего, делятся на простое число
и свободный
член не делится на
Тогда
неприводим над
(а значит и над
).
Для многочлена из нашей задачи — старший коэффициент,
и
— свободный член, который является
единственным коэффициентом, кроме старшего.
Ошибка.
Попробуйте повторить позже
(a) Рассмотрим все возможные ненулевые вычеты по модулю Пусть
— первообразный корень. Тогда эти вычеты имеют вид
Возведем их в
степень. Тогда получим набор
Заметим, что
делится на
и частное равно
Тогда легко видеть, что
Из этого получаем, что сравнение
имеет решения
для
Таким образом, все решения сравнения
являются решениями одного из сравнений вида
откуда
вытекает требуемое.
(b) Будем воспринимать данный набор чисел, как набор ненулевых остатков по модулю Так как число
—
простое, то существует первообразный корень по модулю
Пусть
— некоторый первообразный корень по модулю
Пусть
Заметим, что
— по малой теореме Ферма. Преобразуем это
сравнение:
Заметим, что так как
— первообразный корень. Это значит, что
Тогда разделим все числа на групп вида
где
некоторый ненулевой остаток по модулю
Проверим, что сумма этих чисел делится на
Теперь покажем, что все числа различны. Допустим, что два числа совпали внутри группы. Тогда имеем
Тогда получаем, что Будем считать, что
Тогда, так как
— простое, имеем
При этом
тогда
Так как
— простое, то
но это противоречит тому, что
первообразный корень.
Допустим, теперь, что числа из разных групп совпали. Это эквивалентно сравнению Но тогда мы получаем, что
то есть
— число из группы
однако мы предполагали, что числа из разных групп —
противоречие.
Итак, мы получили разбиение, требуемое условием задачи.
Да, можно
Ошибка.
Попробуйте повторить позже
Разложите на неприводимые над множители многочлен
По формуле сокращенного умножения Пусть
Докажем, что он неприводим.
Пусть Тогда получаем
Теперь снова сделаем замену Тогда в скобке имеем многочлен
Попробуем теперь
применить критерий Эйзенштейна. Заметим, что свободный член равен
— простому числу. Осталось доказать, что остальные
коэффициенты делятся на
Заметим, что как многочлен над
так как
для
делится на
а старший коэффициент и свободный член многочлена
равны
и
соответственно. Преобразуем это
равенство:
Тогда получаем, что над
Подставим
Получаем
Таким образом, все коэффициенты многочлена
кроме старшего, делятся на
Таким образом, для многочлена выполняется критерий Эйзенштейна, значит, он
неприводим. Тогда исходный многочлен
тоже неприводим, так как мы использовали линейную замену
Таким образом,
— искомое разложение на неприводимые.
Ошибка.
Попробуйте повторить позже
Даны натуральные числа и
Найдите
Пусть Будем делить делить первый многочлен на второй столбиком. После подбора первого одночлена в частном мы сможем
записать:
После подбора второго:
Возникает желание доказать по индукции, что при любом после
- го шага будет равенство
База уже доказана. Если предположить, что при
утверждение верно, то ясно что следующим одночленом в частном будет
Далее нетрудно посчитать
остаток и выписать нужное равенство при
Ограничение введено неслучайно, ведь после
- го шага мы получим в остатке
То есть ненулевая
константа
делит нужный нам НОД. Следовательно, многочлены взаимно просты.
Ошибка.
Попробуйте повторить позже
Докажите, что число не является корнем никакого многочлена с целыми коэффициентами степени меньше
Докажем, что любой целочисленный многочлен с корнем делится на
Предположим противное, пусть есть целочисленный
многочлен
который зануляется при
и не делится на
Заметим, что по критерию Эйзенштейна многочлен неприводим над
Следовательно,
Тогда по
теореме о линейном представлении существуют такие многочлены
и
что
Подставим в равенство
и получим равенство
противоречие. Значит,
делится на
то есть его степень не меньше
что и
требовалось.
Ошибка.
Попробуйте повторить позже
Пусть — различные целые числа. Докажите, что многочлен
неприводим над
Предположим, что он представим виде произведения двух целочисленных многочленов и
ненулевой степени. Получается, что
Если произведение двух целых чисел равно
то одно из них равно
а другое —
Заметим, что
Если нечётно, то по принципу Дирихле степень одного из многочленов строго меньше
Пусть это многочлен
Он в
точках
принимает значения
Следовательно, хотя бы в
из них он принимает одно и то же значение. По нашему предположению
значит у
нулевая степень, пришли к противоречию.
При чётном такой же принцип Дирихле работает во всех случаях кроме следующего:
в одной половине
точек
равен
а
—
в другой — наоборот (можно поменять знаки, но для определённости рассмотрим этот случай). Заметим,
что в этом случае многочлены
и
имеют одинаковый набор корней. Следовательно, они могут отличаться лишь
домножением на константу. Учитывая, что многочлен
унитарный и все коэффициенты
и
целые, понимаем, что
Если рассмотреть другую половину ашек, то мы получим, что Таким образом,
пришли к противоречию.
Ошибка.
Попробуйте повторить позже
Докажите, что если — простое число, то многочлен
неприводим.
Подставим вместо
Понятно, что неприводимость полученного многочлена равносильна неприводимости изначального. Раскроем в
выражении
скобки и приведём подобные. С помощью формулы бинома Ньютона нетрудно
убедиться, что коэффициент при
будет равен
С помощью последовательного применения
тождества
к цешке
получим, что
Итак, коэффициент при равен
Осталось заметить, что старший член не делится на
младший делится на
но не
делится на
Остальные делятся на
потому что все цешки целые, их числитель делится на
а знаменатель — нет. Получили
неприводимость по критерию Эйзенштейна.
Ошибка.
Попробуйте повторить позже
(Лемма Гензеля). Пусть многочлен с целыми коэффициентами. Тогда для любого простого
натурального
и целых
верно следующее сравнение:
Пусть у нас есть многочлен Давайте теперь просто запишем наше сравнение:
Раскроем скобки справа и первые два слагаемых в биноме Ньютона слева:
Видно, что правая часть полностью сокращается после этого вместе с двумя первыми слагаемыми в биноме, и теперь слева остаются
слагаемые, которые как раз содержат минимум во второй степени.