Многочлены на Высшей пробе
Ошибка.
Попробуйте повторить позже
Найдите все действительные числа для которых существуют многочлены от одной переменной
и
такие что
равенство
выполняется при всех значениях , кроме конечного числа (есть лишь конечное множество значений
, для которых равенство не
выполняется).
Источники:
Сразу заметим, что при равенство из условия невозможно, так что далее мы везде считаем, что
даже когда не напоминаем об
этом явно.
Предположим, что такие многочлены и
нашлись. Тогда можно считать, что они взаимнопросты (иначе поделим оба на общий
множитель — новая пара тоже удовлетворяет условию), и у
старший коэффициент равен 1 (домножим
и
на константу , чтобы
старший коэффициент стал равен 1). Введем обозначение для разложения
на линейные множители (естественно, воспользовавшись
существованием такого разложения в комплексных числах):
Для комплексного числа множество чисел вида
где
, будем называть цепью числа
______________________________________________________________________________________________________________________________________________________
Ключевое утверждение:
Если — корень
то числа 0 и 1 принадлежат цепи
______________________________________________________________________________________________________________________________________________________
Доказательство.
Пусть — корень
тогда обозначим через
и
такие минимальное и максимальное значения
при которых
является корнем
Заметим, что
и
определены корректно: множество значений
не пусто (поскольку 0 подходит) и конечно,
поскольку у
конечное число корней (первое место, в котором важно, что
). Тогда пусть не оба числа 0 и 1 лежат в цепи
Тогда
одно из двух чисел
и
не является ни 0 ни 1 (второе место: нам важно, что
и
— два
разных числа). Рассмотрим эти два случая.
Пусть — не равно ни 0 ни 1. Посмотрим на равенство из условия
и разложим левую часть на простейшие дроби:
где степень меньше
при
причем
Поскольку — корень
в разложение
входит член со знаменателем
и ненулевым числителем. Но
— не корень
иначе
было бы корнем
что противоречило бы максимальности
. Тогда член со знаменателем
не входит в разложение
значит члену с таким знаменателем слева не с чем сократиться — но он не входит в правую
часть — противоречие.
_________________________________________________________________________________________________________________________________________________________________________________
Итак, мы доказали, что если у многочлена есть комплексные корни, то в цепь этого корня входят числа 0 и 1, то есть выполняется
равенство
для какого-то целого
. Если же у
нет комплексных корней, то он - ненулевая константа, то есть
и
— многочлены, тогда их разность не может равняться
Осталось показать, что все значения вида где
подходят. Для
достаточно взять функцию
и привести сумму к общему знаменателю, числитель взять в качестве а знаменатель —
Для
то же самое сделать с
суммой
где
Ошибка.
Попробуйте повторить позже
Дана пара взаимно-простых многочленов с действительными коэффициентами и
степеней
и
соответственно
(взаимно-простые означает, что не существует многочлена
не равного константе, на который делятся
и
Гриша
выбирает конечное множество действительных чисел
(помните, в множестве элементы не повторяются, размер множества
Гриша тоже выбирает сам), находит число различных кратных действительных корней у многочлена
(при
от 1 до
) и складывает полученные числа. Какую наибольшую сумму Гриша может получить в результате этого
процесса?
Источники:
Оценка.
_________________________________________________________________________________________________________________________________________________________
Лемма. В Гришиной сумме могут быть учтены те и только те числа , в которых производная функции
обращается в
ноль, причем каждое такое
может быть посчитано максимум для одного
.
_________________________________________________________________________________________________________________________________________________________________________________
Доказательство. Как известно, число является кратным корнем многочлена
если и только если
является корнем
многочлена
и его производной
. Пусть
— кратный корень
, имеем левую из систем:
Первая равносильность заслуживает пояснений: из уравнения если
что и
то невозможно поскольку
многочлены взаимно-просты. Если же
то деление на него является равносильным переходом, а
однозначно находится из
(*). Второй переход: просто поделили на
Осталось заметить, что
это в точности производная
______________________________________________________________________________________________________________________________________________________
Итак, мы получили что все числа, посчитанные в гришиной сумме, это корни многочлена который имеет
не более чем
степень (при взятии производной степень многочлена уменьшается на единицу, при перемножении многочленов -
складывается, при вычитании не увеличивается), покажем что
не может быть тождественно нулем (на самом деле покажем, что
степень ровно
). Пусть
и
— старшие (а значит, ненулевые) коэффициенты многочленов
и
соответственно.
Тогда коэффициент
при
есть
Таким образом, мы доказали оценку сверху:
сумма не может быть больше
______________________________________________________________________________________________________________________________________________________
Пример.
Возьмём и
такими, что все их корни вещественны, различны и все корни
лежат левее всех корней
Тогда есть
отрезков между соседними корнями
на каждом из этих отрезков функция
непрерывна (все корни знаменателя правее),
равна нулю в концах отрезка и не равна нулю в остальных точках, значит в какой-то точке производная принимает нулевое значение по
теореме Ролля — нашли
нулей производной. Теперь посмотрим на интервалы между соседними корнями
и также на открытый
луч от самого правого из них до плюс бесконечности. На каждом интервале функция непрерывна, не меняет знак (поскольку не принимает
нулевого значения — все корни числителя лежат левее), в концах интервалов
стремиться к бесконечности (поскольку
это корни числителя), при
аналогично
стремится к бесконечности, поскольку степень числителя больше
степени знаменателя. Значит, на каждом из промежутков модуль достигает минимума во внутренней точке, там производная
обращается в ноль (альтернативно можно воспользоваться теоремой Ролля для функции
) — нашли еще
нулей
производной.