Неприводимость и разложение на неприводимые многочлены
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Докажите, что для любого простого существует ровно
неприводимых над
многочленов степени не выше
Всего имеется многочленов степени не выше
над
(для каждого из трёх коэффициентов по
вариантов). Давайте теперь
посчитаем количество приводимых. Каждый приводимый многочлен имеет вид либо
где
— ненулевой вычет, а
и
—
произвольные вычеты. Приводимых многочленов второй степени всего
(суммы случаев, когда корни разные и
одинаковые). Значит, количество неприводимых многочленов равно
Ошибка.
Попробуйте повторить позже
(a) Нетрудно заметить, что делится на
Теперь докажем, что
делится на
Пусть
делится на некоторое простое
то есть равно
в
Но тогда какой-то из многочленов
равен
в
а
значит,
делится на
то есть в рассматриваемой делимости на
можно делимое и делитель сократить. Так мы
сократим все простые числа, входящие в
то есть делимость доказана. Если два числа друг на друга делятся, то они
равны.
(b) Достаточно доказать, что мнонгочлен приводим над
тогда и только тогда, когда он приводим над
Понятно, что из
приводимости над
приводимость над
автоматически следует. Теперь докажем обратное. Пусть
где
и
—
многочлены с рациональными коэффициентами. Пусть
— НОК знаменателей
— НОК знаменателей
Тогда
Пусть
где
и
— целочисленные многочлены с
единичным содержанием. Ясно, что
делится на
Значит, можно сократить на
и получить приводимость над
Ошибка.
Попробуйте повторить позже
Критерий Эйзенштейна. Пусть все коэффициенты кроме старшего, делятся на простое число
и свободный член не
делится на
Тогда
неприводим над
Пойдём от противного, пусть приводим над
Рассмотрим эти многочлены в
По условию
в
будет
иметь вид
где
потому что остальные коэффициенты кратны
Но тогда каждый из многочленов
и
будут иметь такой
же вид. Значит, их свободные члены в
равны
но тогда в
они кратны
В этом случае свободный член
будет делиться на
Пришли к противоречию.
Ошибка.
Попробуйте повторить позже
На доске написан многочлен На каждом шаге многочлен
с доски заменяется на многочлен
Докажите, что
раскладывается в произведение
многочленов с целыми коэффициентами.
Подсказка 1.
Попробуйте найти что-то общее у всех многочленов Pᵢ − 1.
Подсказка 2.
Например, корень. Какой?
Подсказка 3.
Правильно! Каждый из этих многочленов имеет корень 2. Попробуйте доказать это по индукции.
Подсказка 4.
Теперь осталось доказать утверждение задачи по индукции. Для этого надо сделать аккуратно переход. Попробуйте использовать то, что Pᵢ − 1 делится на x − 2 и определение Pᵢ.
Сначала докажем, что для любого многочлен
делится на
Будем доказывать по индукции.
База .
Переход. Знаем, что и хотим
Это сразу следует из определения
:
Теперь по индукции докажем, что можно разложить в произведение
многочленов с целыми коэффициентами.
База . Многочлен
имеет многочлена в разложении.
Переход. Перепишем следующим образом (так можно в силу предположения):
где — многочлены с целыми коэффициентами. Тогда
Следовательно,
Используя предположение, получаем:
В итоге получили разложение на
многочлена, что и требовалось.
Ошибка.
Попробуйте повторить позже
(a) Пусть Тогда
является разложением над
(b) Пусть приводим над
Тогда есть разложение на два многочлена над
и степень одного из них равна 1, но линейный
многочлен над
имеет рациональный корень, а многочлен
очевидно, таких не имеет. Противоречие.
(a) да; (b) нет
Ошибка.
Попробуйте повторить позже
Докажите с помощью алгоритма Евклида, что НОД двух многочленов всегда существует, кроме случая, когда оба многочлена равны
Пусть даны многочлены и
Если многочлен
нулевой степени, то положим
кроме случая, когда
тогда положим
Пусть оба многочлена ненулевые (и пусть
), то давайте делать
следующую замену:
Закончим этот алгоритм, когда один из многочленов станет нулевой степени. Этот момент точно наступит, так как степень одного из многочленов при такой замене строго уменьшается. Теперь положим
где
— многочлены, которые получились на последней итерации алгоритма. Легко видеть, что условие из определения
НОДа выполняется.
Ошибка.
Попробуйте повторить позже
Теорема о линейном представлении НОДа для многочленов. Для любых многочленов и
существуют такие многочлены
и
что
Применим алгоритм Евклида к и
. В процессе получаем последовательность делений
Теперь обратной подстановкой выражаем каждый остаток через и
. Из первого шага:
Из второго:
и, подставляя выражение для получаем
Далее аналогично: если
то
где и
некоторые многочлены. По индукции получаем, что последний ненулевой остаток
Так как утверждение доказано.
Ошибка.
Попробуйте повторить позже
(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?
Будем полагать, что — неприводим над
(в противном случае вместо
можно рассмотреть его неприводимый множитель
Покажем, что можно считать, что — многочлен с рациональными коэффициентами. Действительно, пусть
—
многочлен минимальной степени с рациональными коэффициентами, такой, что
(такой многочлен существует, поскольку
Заметим, что любой многочлен делящийся на
делится и на
Для того, чтобы это доказать, разделим
на
с остатком:
Все участвующие в этом равенстве многочлены, очевидно, имеют рациональные коэффициенты. Так как
и
а потому
делится на
однако его степень меньше, чем степень многочлена
и, следовательно,
Многочлен не может делиться на
поскольку в ином случае
при этом многочлен
имеет рациональные
коэффициенты, поэтому и многочлен
По доказанному выше это означает, что
что невозможно, если
не
(из
соображения о том, что
Но тогда
а это не так, поскольку
Рассмотрим многочлен, равный частному и
Он имеет рациональные коэффициенты и делится на
(так как
—
неприводимый, при этом
не делит
но делит
Тогда частное многочленов
и
делится на
следовательно,
делится на
Таким образом, мы нашли многочлен
с рациональными коэффициентами, на квадрат которого делится
Таким
образом, можно изначально полагать, что
Итак, имеем равенство где
Приведем коэффициенты
и
к общим знаменателям
и
Тогда имеем равенство
где После этого из каждого многочлена
и
вынесем
и
Получим равенство
Поскольку и
константа, стоящая в последнем равенстве перед произведением этих многочленов, должна быть
целой. Тогда положим
и получим равенство где
Тогда можно полагать, что
Очевидно, что младший коэффициент взаимно прост с
Заметим, что
где
Докажем, что все его коэффициенты делятся на
Предположим, что это не так. Рассмотрим одночлен многочлена
минимальной
степени, который не делится на
и положим, что его степень равна
Тогда
так как
— многочлен
ненулевой степени. Коэффициент
при одночлене степени
не делится на
так как младший коэффициент
взаимно прост с
(остальные слагаемые делятся), но у многочлена
коэффициент при одночлене степени
делится —
противоречие.
Значит, и старший коэффициент делится на
Этот коэффициент равен
где
— старший коэффициент
Поскольку
по условию, то
делится на
Ошибка.
Попробуйте повторить позже
Даны многочлены Рассмотрим НОДы этих многочленов над
и над
Докажите, что эти НОДы отличаются домножением
на константу.
В
находится алгоритмом Евклида. Ясно, что этот же алгоритм подойдет и в
Но тогда
отличается
домножением на константу от
что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Разложите на неприводимые сомножители ненулевой степени с целыми коэффициентами.
Подсказка 1.
Вспомните все формулы сокращённого умножения, которые вы знаете и раскладывайте, пока раскладывается.
Подсказка 2.
У всех скобок второй степени можно посчитать дискриминант и понять разложимы ли они над Z[x].
Подсказка 3.
Есть ещё одна скобка, которая не второй степени и не разложилась. Чтобы доказать её неразложимость, достаточно предположить, что она раскладывается на две квадратных скобки. Попробуйте обозначить все коэффициенты квадратных скобок и приравнять коэффициенты.
По формуле разности квадратов
Преобразуем отдельно каждую скобку.
По формуле разности квадратов
Далее применим формулы сумму и разности кубов
Разложим теперь По формуле суммы кубов
Получаем, что
Очевидно, что и
неприводимы над
Квадратные трехчлены
и
тоже неприводимы над
так как
если бы они были приводимы, то имели бы корни, которых у них нет, так как их дискриминант равен -3. Аналогично,
—
неприводим.
Осталось проверить, что неприводим над
Понятно, что он не может раскладываться в виде
так как тогда бы у него был целый корень, однако все его корни комплексные. Тогда единственный возможный вариант разложения — это
Покажем, что и это невозможно. Для начала раскроем скобки и сгруппируем.
Тогда, так как полученный многочлен должен быть тождественно равен исходному, получаем систему уравнений в целых числах на коэффициенты:
Из последнего уравнения получаем так как
Тогда из второго получаем
или
Заметим, что оба
варианта невозможны, так как целых решений вместе с уравнением
быть не может. Тогда получаем, что
действительно неприводим.
Ошибка.
Попробуйте повторить позже
Даны взаимно простые многочлены и
с целыми коэффициентами, то есть
над
Докажите, что существует такая
константа
что для любого целого
выполнено
Подсказка 1.
Попробуйте вспомнить какое-нибудь уравнение, где участвует НОД многочленов и они сами. Возможно это поможет как-то оценить НОД значений в точке.
Подсказка 2.
Имеет место линейное представление НОДа. То есть существуют многочлены A(x) и B(x) с рациональными коэффициентами такие, что P(x) * A(x) + Q(x) * B(x) = 1. Как можно было бы оценить НОД (P(k), Q(k)), если бы многочлены A и B были бы с целыми коэффициентами?
Подсказка 3.
Правильно! Их НОД был бы не больше 1! Осталось только сделать коэффициенты многочленов A и B целыми.
Заметим, что из взаимной простоты многочленов в следует их взаимная простота в
(иначе они бы не были взаимно простыми в
).
Тогда понятно, что на самом деле можно решать задачу в
так как
Тогда, так как многочлены и
взаимно просты для некоторых многочленов
имеет место тождество
Так как коэффициенты многочленов
и
рациональны, можно умножить уравнение на
равное
наименьшему общему кратному всех знаменателей этих многочленов.
Тогда получаем новое тождество в котором многочлены
имеют целые
коэффициенты. Пусть
Тогда верно равенство
То есть уравнение
имеет решение
в целых числах. Но тогда
Тогда получаем, что
для любого целого
В
качестве требуемой константы
берем
Таким образом, её существование доказано.
Ошибка.
Попробуйте повторить позже
Докажите, что многочлен неприводим над
Используем критерий Эйзенштейна: Пусть все коэффициенты кроме старшего, делятся на простое число
и свободный
член не делится на
Тогда
неприводим над
(а значит и над
).
Для многочлена из нашей задачи — старший коэффициент,
и
— свободный член, который является
единственным коэффициентом, кроме старшего.
Ошибка.
Попробуйте повторить позже
(a) Рассмотрим все возможные ненулевые вычеты по модулю Пусть
— первообразный корень. Тогда эти вычеты имеют вид
Возведем их в
степень. Тогда получим набор
Заметим, что
делится на
и частное равно
Тогда легко видеть, что
Из этого получаем, что сравнение
имеет решения
для
Таким образом, все решения сравнения
являются решениями одного из сравнений вида
откуда
вытекает требуемое.
(b) Будем воспринимать данный набор чисел, как набор ненулевых остатков по модулю Так как число
—
простое, то существует первообразный корень по модулю
Пусть
— некоторый первообразный корень по модулю
Пусть
Заметим, что
— по малой теореме Ферма. Преобразуем это
сравнение:
Заметим, что так как
— первообразный корень. Это значит, что
Тогда разделим все числа на групп вида
где
некоторый ненулевой остаток по модулю
Проверим, что сумма этих чисел делится на
Теперь покажем, что все числа различны. Допустим, что два числа совпали внутри группы. Тогда имеем
Тогда получаем, что Будем считать, что
Тогда, так как
— простое, имеем
При этом
тогда
Так как
— простое, то
но это противоречит тому, что
первообразный корень.
Допустим, теперь, что числа из разных групп совпали. Это эквивалентно сравнению Но тогда мы получаем, что
то есть
— число из группы
однако мы предполагали, что числа из разных групп —
противоречие.
Итак, мы получили разбиение, требуемое условием задачи.
Да, можно
Ошибка.
Попробуйте повторить позже
Разложите на неприводимые над множители многочлен
По формуле сокращенного умножения Пусть
Докажем, что он неприводим.
Пусть Тогда получаем
Теперь снова сделаем замену Тогда в скобке имеем многочлен
Попробуем теперь
применить критерий Эйзенштейна. Заметим, что свободный член равен
— простому числу. Осталось доказать, что остальные
коэффициенты делятся на
Заметим, что как многочлен над
так как
для
делится на
а старший коэффициент и свободный член многочлена
равны
и
соответственно. Преобразуем это
равенство:
Тогда получаем, что над
Подставим
Получаем
Таким образом, все коэффициенты многочлена
кроме старшего, делятся на
Таким образом, для многочлена выполняется критерий Эйзенштейна, значит, он
неприводим. Тогда исходный многочлен
тоже неприводим, так как мы использовали линейную замену
Таким образом,
— искомое разложение на неприводимые.