Многочлены
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Докажите, что если многочлен степени принимает целые значения в точках
…,
то он принимает целые значения во всех
квадратах целых чисел.
Подсказка 1
Мы знаем, что если многочлен степени ≤ n принимает целые значения в точках 0,…,n, то его значения во всех целых точках тоже будут целыми. Как свести нашу задачу к этой ситуации? Может, стоит рассмотреть новый многочлен, подставив что-нибудь в P?
Подсказка 2
Рассмотрите G(k):=P((k−n)²). Какая у него степень и что можно сказать о его целочисленности в точках 0,…,2n?
Рассмотрим многочлен от одной переменной
Поскольку степень
не превосходит
При
значения
пробегают квадраты целых чисел
а потому по условию
— целые числа.
Докажем стандартную лемму о целочисленности многочлена.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма. Пусть — многочлен степени
Если
— целые числа, то
для всех целых
Доказательство. Доопределим число сочетаний и для отрицательных чисел: пусть
при целых и
Это число при неотрицательном
— целое по комбинаторному определению числа сочетаний, а при
отрицательном
оно тоже целое, ведь
Тогда из теоремы Лагранжа об интерполяции
где крышечка означает отсутствие скобки. Из рассуждений выше понимаем, что каждое слагаемое — целое, а значит, в любой целой точке значение многочлена является целым.
_________________________________________________________________________________________________________________________________________________________________________________
Применяя лемму к (с
), получаем, что
для всех целых
В частности, для произвольного целого
имеем
Это и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Интерполяция по Ньютону. Докажите индукцией по что для попарно различных действительных чисел
…,
и любых действительных чисел
…,
существуют многочлен
такой, что для каждого
выполнено
База для очевидна, ведь можно взять
Докажем переход от
к
Требуется найти многочлен что для каждого
выполнено
По предположению индукции существует
многочлен
что для каждого
выполнено
Тогда возьмём
где
Тогда для каждого выполнено
ведь второе слагаемое в обнуляется. Проверим выполнение условия для
А значит, многочлен нам подходит, что и завершает переход индукции.
Ошибка.
Попробуйте повторить позже
(a) Заметим, что
где крышечка означает отсутствие скобки, подходит, ведь в значения числителя и знаменателя одинаковы и не равны 0, а в
остальных точках числитель обнуляется, а знаменатель нет.
(b) Возьмём
Он подходит, ведь в точке все слагаемые кроме
-ого обнуляются, а
-ое принимает значение
Его степень не выше
так как степень каждого слагаемого равна
(a) где крышечка означает отсутствие скобки.
Ошибка.
Попробуйте повторить позже
Докажите, что если многочлен в рациональных точках принимает рациональные значения, то и все его коэффициенты рациональные.
Пусть — многочлен из условия и его степень равна
Возьмём любую
рациональную точку и построим по ним
интерполяционный многочлен Лагранжа:
где крышечка означает отсутствие скобки. Так как все и
рациональны, то любой коэффицент
очевидно,
рационален.
Ошибка.
Попробуйте повторить позже
(a) Пусть — многочлен степени не выше
для которого
при
— другой многочлен, для которого
при
Тогда многочлен
является остатком от деления многочлена
на многочлен
(b) Пусть — натуральные числа. Верно ли, что обязательно существует квадратный трёхчлен с целыми коэффициентами,
который в некоторых целых точках принимает значения
(a) При любом разность этих многочленов обнуляется в
а значит, делится на
Пусть частное равно
тогда
а это мы и хотели доказать.
(b) Многочлен почти подходит, но нам нужен квадратный трёхчлен. Пользуясь идеей из пункта (a), получаем, что
многочлен
подходит, ведь коэффицент при сократится, а значения в этих точках не изменятся.
Ошибка.
Попробуйте повторить позже
Пусть
…,
— попарно различные числа, а
— многочлен степени меньше
Докажите, что дробь
можно представить в виде
где — некоторые числа.
Пусть для каждого
Запишем интерполяционный многочлен Лагранжа для
степени меньше
по точкам
…,
где крышечка означает отсутствие скобки. Тогда
Взяв в каждом слагаемом первую дробь в качестве получим требуемое представление.
Ошибка.
Попробуйте повторить позже
(a) Запишем интерполяционную формулу Лагранжа для многочлена в точках
и
и получим в точности выражение из
условия, а значит, это выражение равно
(b) Запишем интерполяционную формулу Лагранжа для многочлена в точках
и
Нетрудно увидеть из формулы, что выражение из условия является старшим коэффицентом этого многочлена. С другой стороны, он равен 1. Значит, выражение равно 1.
(c) Пусть а
— многочлен степени не выше 2, который в точках
принимает значения
соответственно. Запишем интерполяционную формулу Лагранжа для
Тогда нам требуется доказать, что старший коэффицент является целым.
Так как разность обнуляется в точках
и
то она делится на
Степень не больше 2, тогда
является остатком от деления
на
Но в процессе деления в столбик на
мы получаем в частном только целые коэффиценты при степенях, что следует из
приведенности
Теперь
и частное — многочлены с целыми коэффицентами, а значит, и
имеет целые
коэффиценты, что и доказывает требуемое.
Ошибка.
Попробуйте повторить позже
(a) Рассмотрим многочлен
У него старший коэффицент не является целым при В точке 0 он равен
а в точках 1, 2, …,
он обнуляется. Значит, он
нам подходит.
(b) Пусть для
Запишем интерполяционный многочлен Лагранжа для
степени
в точках 0, 1, …,
где крышечка означает отсутствие скобки. Тогда
— многочлен с целыми коэффицентами.
(c) Доопределим число сочетаний и для отрицательных чисел: пусть
при целых и
Это число при неотрицательном
— целое по комбинаторному определению числа сочетаний, а при
отрицательном
оно тоже целое, ведь
Из пункта (b):
Из рассуждений выше понимаем, что каждое слагаемое — целое, а значит, в любой целой точке значение многочлена является целым.
(a) Например,
Ошибка.
Попробуйте повторить позже
(a) Пусть
и
Тогда
Коэффицент при равен 0, а при
равен
Значит,
и
Докажем индукцией по что такой многочлен
существует и единственен с точностью до прибавления константы. База для
очевидна, докажем переход от
к
Так как
мы уже нашли, то пусть
По предположению индукции (так как степень не больше
) существует многочлен
что
Но тогда возьмём
и получим, что
Значит, такой многочлен существует. Теперь докажем его единcтвенность с точностью до прибавления константы.
Пусть
тогда
где Тогда
Пусть
Многочлен однозначно восстанавливается по
Но тогда по предположению индукции
однозначно
восстанавливается с точностью до прибавления константы, откуда и следует единcтвенность
с точностью до прибавления
константы.
(b) Условие равносильно тому, что и
Как мы поняли из пункта (a), многочлен удовлетворяющий второму условию, существует и единственен с точностью до
прибавления константы, тогда сдвинем его на константу так, что
Также мы ранее уже доказывали, что его степень равна
Ошибка.
Попробуйте повторить позже
Многочлен таков, что
Докажите, что
делится на
Подсказка 1.
Давайте обозначим кубический корень из двух через a. Что за многочлен, который делит все многочлены с корнем a?
Подсказка 2.
Правильно! Это минимальный многочлен для a. Пусть многочлен x³ − 2 не минимальный. Что тогда можно сказать?
Подсказка 3.
Ага! x³ − 2 делится на минимальный! А что следует из делимости многочлена x³ − 2 на многочлен с рациональными коэффициентами? Попробуйте найти с этим противоречие.
Рассмотрим минимальный многочлен для
(то есть ненулевой многочлен наименьшей степени такой,
что
). Известно, что любой многочлен из
с корнем
делится на
поэтому если
то
получим искомое. Пусть
Тогда
делится на
поэтому
разложим в
значит, одна из
скобок в этом разложении линейная, но линейный многочлен над
имеет рациональный корень, а у
таких нет.
Противоречие.
Ошибка.
Попробуйте повторить позже
Избавьтесь от иррациональности в знаменателе дроби где
является корнем многочлена
Подсказка 1.
Давайте обозначим через P(x) многочлен из условия, а через Q(x) = 2x³ + 5x² − 5. Что нужно сделать с этими многочленами, чтобы мы смогли избавиться от иррациональности в знаменателе?
Подсказка 2.
Правильно! Линейное представление НОДа! Что нужно, чтоб его получить?
Подсказка 3.
Ага! Применить алгоритм Евклида!
Обозначим через и через
многочлен из условия. Найдем линейное представление НОДа многочленов
и
то есть такие многочлены
и
что верно равенство:
Начнем применять алгоритм Евклида для многочленов и
Видно, что НОД этих многочленов равен 1. Теперь найдем линейное представление:
Если подставить в последнее равенство, то получим (нам известно, что
):
То есть мы избавились от иррациональности в знаменателе, что и требовалось!
Ошибка.
Попробуйте повторить позже
На доске написан многочлен На каждом шаге многочлен
с доски заменяется на многочлен
Докажите, что
раскладывается в произведение
многочленов с целыми коэффициентами.
Подсказка 1.
Попробуйте найти что-то общее у всех многочленов Pᵢ − 1.
Подсказка 2.
Например, корень. Какой?
Подсказка 3.
Правильно! Каждый из этих многочленов имеет корень 2. Попробуйте доказать это по индукции.
Подсказка 4.
Теперь осталось доказать утверждение задачи по индукции. Для этого надо сделать аккуратно переход. Попробуйте использовать то, что Pᵢ − 1 делится на x − 2 и определение Pᵢ.
Сначала докажем, что для любого многочлен
делится на
Будем доказывать по индукции.
База .
Переход. Знаем, что и хотим
Это сразу следует из определения
:
Теперь по индукции докажем, что можно разложить в произведение
многочленов с целыми коэффициентами.
База . Многочлен
имеет многочлена в разложении.
Переход. Перепишем следующим образом (так можно в силу предположения):
где — многочлены с целыми коэффициентами. Тогда
Следовательно,
Используя предположение, получаем:
В итоге получили разложение на
многочлена, что и требовалось.
Ошибка.
Попробуйте повторить позже
(a) Пусть Тогда
является разложением над
(b) Пусть приводим над
Тогда есть разложение на два многочлена над
и степень одного из них равна 1, но линейный
многочлен над
имеет рациональный корень, а многочлен
очевидно, таких не имеет. Противоречие.
(a) да; (b) нет
Ошибка.
Попробуйте повторить позже
Докажите с помощью алгоритма Евклида, что НОД двух многочленов всегда существует, кроме случая, когда оба многочлена равны
Пусть даны многочлены и
Если многочлен
нулевой степени, то положим
кроме случая, когда
тогда положим
Пусть оба многочлена ненулевые (и пусть
), то давайте делать
следующую замену:
Закончим этот алгоритм, когда один из многочленов станет нулевой степени. Этот момент точно наступит, так как степень одного из многочленов при такой замене строго уменьшается. Теперь положим
где
— многочлены, которые получились на последней итерации алгоритма. Легко видеть, что условие из определения
НОДа выполняется.
Ошибка.
Попробуйте повторить позже
Теорема о линейном представлении НОДа для многочленов. Для любых многочленов и
существуют такие многочлены
и
что
Применим алгоритм Евклида к и
. В процессе получаем последовательность делений
Теперь обратной подстановкой выражаем каждый остаток через и
. Из первого шага:
Из второго:
и, подставляя выражение для получаем
Далее аналогично: если
то
где и
некоторые многочлены. По индукции получаем, что последний ненулевой остаток
Так как утверждение доказано.
Ошибка.
Попробуйте повторить позже
(a) По теореме о линейном представлении НОДа, существуют такие многочлены и
что
Домножим последнее равенство на
Заметим, что в левой части каждое слагаемое делится на а значит, и правая часть делится на
что и требовалось.
(b) Если многочлен неприводим, то утверждение задачи очевидно. Существование такого разложения следует из того, что можно просто
разложить на неприводимые и из каждого многочлена вынести старший член за скобку и получить искомое разложение. Осталось доказать
единственность. Пусть есть два разложения нашего многочлена
Зафиксируем какое-нибудь и будем смотреть, делится ли
на
или нет. Если
делится на
то
так как иначе
приводим. Если же
не делится на
то
так как иначе,
был бы приводим. Поэтому для каждого
существует
такое, что
Ошибка.
Попробуйте повторить позже
(a) Докажите, что многочлен являющийся минимальным для своего корня
неприводим над
(b) Докажите, что любой многочлен с рациональными коэффициентами и корнем делится на минимальный многочлен
(c) Теорема (об избавлении от иррациональности в знаменателе). Пусть а
— минимальный многочлен
Многочлен
таков, что
Докажите, что в дроби
можно «избавиться» от иррациональности в
знаменателе.
(a) Пусть не так. Тогда существуют такие многочлены и
из
что
Тогда один из многочленов
и
имеет корень
и имеет степень меньше, чем
Противоречие с минимальностью
(b) Обозначим минимальный многочлен через Пусть существует многочлен
с корнем
который не делится на
Тогда при делении
на
будет остаток
где
— ненулевой многочлен из
Заметим, что
тоже имеет корень
но при этом его степень меньше, чем у
Противоречие с минимальностью.
(c) Из пункта (a) следует, что неприводим над
поэтому
По теореме о линейном представлении НОДа,
существуют многочлены
и
такие, что
После подстановки получаем
что и требовалось.
Ошибка.
Попробуйте повторить позже
В выражении раскрыли скобки и привели все подобные слагаемые. Пусть
равно сумме всех коэффициентов полученного
многочлена. Найдите коэффициент при
Пусть
Тогда но
это и есть сумма всех коэффициентов. Посчитаем коэффициент перед
равный
Из бинома
Ньютона
Ошибка.
Попробуйте повторить позже
Дед Мороз решил наказать олимпиадников, которые плохо вели себя в 2023 году, поэтому поставил им следующее условие:
Докажите, что на условиях хитрого Деда олимпиадникам подарка не видать.
Для начала заметим, что при построении нового многочлена свободный член не меняется, так что
Давайте докажем по индукции, что у всегда есть отрицательный корень.
База: при есть корень
Шаг: Пускай у есть отрицательный корень
Тогда
а
так что
по теореме о промежуточном значении у нового многочлена
есть корень между
и
Ошибка.
Попробуйте повторить позже
Дед Мороз на Новый год принёс в мешке два различных чудесных многочлена степени 2024, у которых равны значения при всех натуральных аргументах до 2024 включительно. А могут ли в точке 2024 быть равны ещё и значения производных от этих многочленов?
Обозначим эти чудесные многочлены как и
. Из условия следует, что разность этих многочленов
имеет
2024 корня, нетождественна равна нулю (потому что многочлены различные) и может иметь степень не выше 2024. Поэтому при каком-то
ненулевом числе
можно записать
В условии спрашивают, может ли быть Представим
в виде
и
посчитаем производную произведения
Получаем, что в точке 2023 производная не равна нулю: