Многочлены
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Разложите в произведение неконстантных многочленов над многочлен
Подсказка 1
Нужно разложить многочлен третей степени. Какие степени могут быть у множителей?
Подсказка 2
Надо сделать произведение линейной и квадратных функций. Как их можно подобрать? Легче найти линейный множитель. Пусть он x - a, тогда при подстановке a в многочлен будет ноль. Переберите остатки и найдите a, затем, выполнив деление, найдите требуемое разложение.
Над
Ошибка.
Попробуйте повторить позже
Пусть (
— простое число). При этом для любого
выполнено
Докажите, что
делится на
Из условия следует, что многочлен имеет корни
Тогда по теореме Безу получаем, что
делится на
Так как над все многочлены вида
различны и неприводимы, то верно равенство
которое приводит к нужному результату.
Ошибка.
Попробуйте повторить позже
На доске написан многочлен
Двое по очереди ставят коэффициенты на пропущенные места. Первый хочет добиться того, чтобы многочлен имел единственный вещественный корень. Сможет ли второй ему помешать?
Подсказка
Поставьте за первого перед x тройку. Для всевозможных ответов второго придумайте свой ход, который позволит вам в явном виде найти все корни многочлена.
Приведём стратегию за первого.
Сначала перед поставим коэффициент
Если второй поставит некоторый коэффициент перед
то поставим
в качестве свободного члена. Получаем
многочлен
Понятно, что у этого многочлена единственный действительный корень
Если же второй выберет некоторое число в качестве свободного члена, то поставим число
перед
Получается
многочлен
Этот многочлен имеет единственный действительный корень, так как уравнение
имеет единственное решение
Нет, не сможет
Ошибка.
Попробуйте повторить позже
Докажите, что многочлен не имеет кратных корней.
Подсказка 1
В условии говорится про кратные корни. Как связаны корни производной и корни многочлена?
Подсказка 2
Кратный корень многочлена является корнем производной. Функция из условия какая-то странная, но может быть она хорошо связана со своей производной?
Пусть Если многочлен имеет кратный корень, то этот же корень имеет и его производная. Найдем
производную:
Допустим, что и
имеют общий корень
Тогда
является также является корнем уравнения
Тогда
откуда
Однако
не является решением ни одного из уравнений
и
Значит, у
нет кратных корней.
Ошибка.
Попробуйте повторить позже
Даны многочлен с целыми коэффициентами и натуральное число
Старший коэффициент и свободный член многочлена
взаимно просты с
остальные коэффициенты делятся на
Известно, что многочлен
делится на
для некоторого
многочлена
ненулевой степени. Докажите, что степень
делится на
Подсказка 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) Будем воспринимать данный набор чисел, как набор ненулевых остатков по модулю Так как число
—
простое, то существует первообразный корень по модулю
Пусть
— некоторый первообразный корень по модулю
Пусть
Заметим, что
— по малой теореме Ферма. Преобразуем это
сравнение:
Заметим, что так как
— первообразный корень. Это значит, что
Тогда разделим все числа на групп вида
где
некоторый ненулевой остаток по модулю
Проверим, что сумма этих чисел делится на
Теперь покажем, что все числа различны. Допустим, что два числа совпали внутри группы. Тогда имеем
Тогда получаем, что Будем считать, что
Тогда, так как
— простое, имеем
При этом
тогда
Так как
— простое, то
но это противоречит тому, что
первообразный корень.
Допустим, теперь, что числа из разных групп совпали. Это эквивалентно сравнению Но тогда мы получаем, что
то есть
— число из группы
однако мы предполагали, что числа из разных групп —
противоречие.
Итак, мы получили разбиение, требуемое условием задачи.
Да, можно
Ошибка.
Попробуйте повторить позже
Разложите на неприводимые над множители многочлен
По формуле сокращенного умножения Пусть
Докажем, что он неприводим.
Пусть Тогда получаем
Теперь снова сделаем замену Тогда в скобке имеем многочлен
Попробуем теперь
применить критерий Эйзенштейна. Заметим, что свободный член равен
— простому числу. Осталось доказать, что остальные
коэффициенты делятся на
Заметим, что как многочлен над
так как
для
делится на
а старший коэффициент и свободный член многочлена
равны
и
соответственно. Преобразуем это
равенство:
Тогда получаем, что над
Подставим
Получаем
Таким образом, все коэффициенты многочлена
кроме старшего, делятся на
Таким образом, для многочлена выполняется критерий Эйзенштейна, значит, он
неприводим. Тогда исходный многочлен
тоже неприводим, так как мы использовали линейную замену
Таким образом,
— искомое разложение на неприводимые.
Ошибка.
Попробуйте повторить позже
Подсказка 1
Некоторые из пунктов решаются совсем просто. Стоит лишь вспомнить какие-то базовые свойства многочленов. Какие он может принимать значения, в каких точках определëн.
Подсказка 2
Давайте возьмëм выражение из любого пункта и приравняем к некоторому многочлену P(x). Попробуйте сделать какие-то тождественные преобразования, чтобы получить в левой и правой части многочлены. Что можно сказать про тождественно равные многочлены?
Если степень многочлена хотя бы , то при огромных положительных числах он будет принимать значения, большие
по модулю,
поскольку на положительных числах
растёт линейно. Также ясно, что степень многочлена больше
. То есть если такой многочлен
существует, то он имеет вид
. Но это выражение далеко не при всех
неотрицательно, то есть функционального равенства с
быть не может.
(b) Нет.
Предположим, что существует такой многочлен , что
. Следовательно,
. Ясно, что
.
В таком случае
, а
. То есть функционального равенства быть не может.
(c) Нет.
Предположим, что есть такой многочлен , тогда
. Степень многочлена слева равна
, а многочлена
справа —
. Отсюда получаем, что
. Пусть
. Из подстановки
в равенство
следует, что
. Подстановка
приведёт к равенствам
, откуда
. Но тогда
,
противоречие.
(d) Нет.
Это выражение не определено в , а любой многочлен в этой точке определён, значит функционального равенства с многочленом
быть не может.
Во всех пунктах не существует
Ошибка.
Попробуйте повторить позже
Найдите остаток при делении многочлена на
Подсказка 1
Ясно, что этот остаток будет многочленом. Но каким? Какая у него может быть степень?
Подсказка 2
Степень остатка должна быть не больше степени делителя. То есть степень максимум 1. Значит, остаток имеет вид ax + b. Как это можно использовать?
Подсказка 3
Пусть H(x) - частное от деления, P(x) - изначальный многочлен, тогда получаем равенство P(x) = (x²-3x+2)H(x) + ax + b. Оно верно для всех x. Что можно с ним сделать, чтобы найти a и b?
Остатком будет многочлен степени или
Запишем его в виде
(если степень
то
обнулится). Тогда
Подставим в это равенство
и
Получится
система из уравнений
и
которая имеет решение
и
Следовательно, остаток имеет вид
Ошибка.
Попробуйте повторить позже
Найти все многочлены для которых верно
Подсказка 1
Если многочлены формально равны, то они имеют делятся на одни и те же одночлены. Подумайте, как это применить к задаче.
Подсказка 2
Давайте заметим, что многочлен слева делится на x, а, значит, и многочлен справа тоже делится. То есть P(x) делится на x. Попробуйте раскрутить задачу в этом направлении.
Левая часть делится на значит и правая делится. То есть
делится на
Правая часть делится на
тогда и левая тоже
делится, отсюда получаем, что многочлен
имеет корень
Следовательно, многочлен
имеет корень
Эти рассуждения
позволяют записать
в виде
Само равенство превратится в
Далее если проделать
аналогичные манипуляции с делимостью на
и
то мы получим, что
делится на
Равенство же примет
вид:
Покажем по индукции, что при после
-го шага будет равенство
тем более база уже
доказана. Скобочки
и
друг на друга не делятся (поскольку мы не после
шага). Следовательно,
Если подставить это в равенство, получим переход.
Итак, на шаге мы получили равенство
При
оно верно, но необходимо, чтобы оно
выполнялось и для других
то есть на скобочку
можно сократить. Значит,
при всех
(возможно
кроме
). Получается, что многочлен
может принимать одно и то же значение в бесконечном количестве точек,
поскольку у него период
Следовательно,
— константа. Заметим, что подойдёт любая комплексная константа
Таким образом,
Ошибка.
Попробуйте повторить позже
Многочлены
и
совпадают при всех значениях Найдите сумму чисел
Подсказка 1
Вас просят найти сумму каких-то коэффициентов многочлена. Попробуйте найти какую-то более простую сумму, например сумму всех коэффициентов.
Подсказка 2
Q(1) - это сумма всех коэффициентов. Какие ещё можно подставить числа в многочлен, чтобы потом посчитать нужную сумму?
Заметим, что а
Следовательно, сумма коэффициентов с чётными индексами равна
Но нам нужна сумма коэффициентов с чётными индексами
без
Нетрудно видеть,
Таким образом, нам нужно значение выражения
которое по условию равно
Ошибка.
Попробуйте повторить позже
Многочлены и
с рациональными коэффициентами таковы, что в бесконечном множестве натуральных точек
они оба принимают
целые значения и при этом
Докажите, что
делится на
как на многочлен.
Подсказка 1
Если многочлен P делится на Q в бесконечном количестве натуральных точек, есть смысл поделить P на Q с остатком.
Подсказка 2
Итак, вы поделили, получили равенство P(x) = H(x)Q(x) + R(x). Но дальше ничего не можете сделать, потому что мешают рациональные коэффициенты. На самом деле коэффициенты вообще не важны и их легко можно сделать целыми, умножив это равенство на некоторое число. Какое?
Подсказка 3
Обратите внимание на остаток R(x), что с ним происходит в точках, в которых P делится на Q?
Домножим каждый из многочленов и
на НОК знаменателей их коэффициентов, от этого ничего не изменится. Теперь они
целочисленные. Поделим многочлен
на
с остатком:
. Из процесса деления ясно, что все
коэффициенты
и
рациональные. Домножим равенство на НОК знаменателей коэффициентов
и
Получается,
что при бесконечном количестве натуральных точек
делится на
Но
следовательно при огромных натуральных числах многочлен
по будет по абсолютному значению больше, чем
Значит,
делимость
на
в бесконечном количестве натуральных точек возможна лишь когда
— тождественный ноль. Получили
требуемое.
Ошибка.
Попробуйте повторить позже
Пусть — многочлен с целыми коэффициентами, причем для некоторого целого числа
числа
и
делятся
на
Докажите, что тогда
делится на
для любого целого
Рассмотрим число при произвольном
Среди чисел
найдётся число, сравнимое с
по модулю
(пусть это
).
Как известно,
кратно
Заметим, что
и
делится на
Следовательно,
также кратно трём, что и
требовалось.
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами принимает значение при пяти различных целых значениях
Докажите, что у него нет целых
корней.
Предположим противное, пусть многочлен имеет целый корень а в точках
и
принимает значение
Но тогда при
всех
имеем:
кратно
По условию все числа
различны, то есть у пятёрки есть пять различных
целых делителей, получили противоречие.
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами при некоторых целых
принимает значения
и
Докажите, что существует не более
одного целого
при котором значение этого многочлена равно
Подсказка 1
Можно ли как-то оценить, насколько отличаются точки x₁, x₂ и x₃, в которых многочлен соответственно принимает значения 1, 2 и 3?
Подсказка 2
Верно! Поскольку наш многочлен целочисленный, то P(x₃) - P(x₂) = 1, поэтому 1 делится на x₃ - x₂. Аналогичное утверждение верно про x₂ и x₁. Выходит, что |x₃ - x₂| = |x₂ - x₁| = 1. Могут ли подмодульные выражения иметь разный знак?
Подсказка 3
Не могут, ведь тогда x₃ = x₁, что невозможно. Тогда получаем, что оба подмодульных выражения равны 1 или -1 (будем пока считать, что они равны 1). Предположим, что P(x₄) = 5. Как аналогичными рассуждениями связать точку x₄ с имеющимися точками?
Подсказка 4
Верно! Получим, что 2 делится на x₄ - x₃ и 3 делится на x₄ - x₂. Тогда 2 и 3 не меньше соответствующих выражений. А что получится, если x₄ - x₃ и x₄ - x₂ выразить через x₁?
Подсказка 5
Точно! Тогда получим, что 1 ≤ |x₄ - x₁ - 2| < |x₄ - x₁ - 1| ≤ 3. Как теперь применить делимость и выразить однозначно x₄ через x₁?
Пусть и
Покажем, что точка
выражается через
и
не более чем одним
способом.
Многочлен целочисленный, поэтому кратно
и
кратно
То есть
Заметим, что если
и
противоположны, то
но это невозможно. Следовательно,
Пусть знак положительный (другой случай рассматривается аналогично).
Получается, что кратно
и
кратно
Это позволяет
построить следующую цепочку неравенств:
То есть
— это натуральное число, большее
меньшее
и кратное
Значит,
Этому равенству удовлетворяют два варианта:
и
Осталось заметить, что во втором случае двойка должна делиться на Следовательно, единственный
возможный вариант —
Получили требуемое.