Применение производной в многочленах
Ошибка.
Попробуйте повторить позже
Дед Мороз на Новый год принёс в мешке два различных чудесных многочлена степени 2024, у которых равны значения при всех натуральных аргументах до 2024 включительно. А могут ли в точке 2024 быть равны ещё и значения производных от этих многочленов?
Обозначим эти чудесные многочлены как и . Из условия следует, что разность этих многочленов имеет 2024 корня, нетождественна равна нулю (потому что многочлены различные) и может иметь степень не выше 2024. Поэтому при каком-то ненулевом числе можно записать
В условии спрашивают, может ли быть Представим в виде и посчитаем производную произведения
Получаем, что в точке 2023 производная не равна нулю:
Ошибка.
Попробуйте повторить позже
Существуют ли многочлены с вещественными коэффициентами и такие, что
Из исходного равенства заключаем, что кратно После взятия производной имеем
следовательно, кратно наконец
кратно так же из следует, что НОД Таким образом, многочлен кратно следовательно,
C другой стороны, из изначального равенства, имеем
что влечет противорчие.
Не существует
Ошибка.
Попробуйте повторить позже
Дан многочлен степени . Известно, что у производной многочлена ровно различных вещественных корней. Какое наибольшее число различных вещественных корней может быть у многочлена ?
Источники:
Подсказка 1
Нужно взять производную от P^2(x). Она равна 2P(x)P’(x). Что вы можете сказать про корни производной, зная корни многочлена?
Подсказка 2
Вспомните теорему Ролля. Она гласит, что между корнями многочлена есть корень производной. Поймите отсюда верхнюю оценку количества корней, а затем придумайте пример.
Производная многочлена равна
Видно, что 36 корней этого выражения являются корнями многочлена или его производной (могут быть одновременно корнями и многочлена, и производной).
При этом по теореме Ролля между каждыми двумя корнями многочлена находится корень производной, не являющийся при этом корнем многочлена. Поэтому если у многочлена хотя бы 19 корней, то у его производной хотя бы 18 корней, так что суммарно уже 37 различных корней, а это больше 36.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма (доказывать на олимпиаде не требовалось): Если число является корнем многочлена кратности то для производной число является корнем кратности
______________________________________________________________________________________________________________________________________________________
Пример на 18 корней строится так: рассмотрим многочлен
У него и у его производной 18 корней, но есть общий (только общий по лемме, оставшиеся 17 корней находятся между корнями по теореме Ролля). Тогда у 35 корней.
Но при достаточно маленьком (можно взять конкретное ) многочлен будет иметь так же 18 корней и такую же производную, но будет иметь уже 36 корней за счёт того, что перестанеть являться корнем .
Ошибка.
Попробуйте повторить позже
Многочлены и с вещественными коэффициентами таковы, что раскладываются на линейные множители. Оказалось, что множества корней многочленов и совпадают, а также совпадают множества корней многочленов и Докажите, что
Не умаляя общности, пусть Рассмотрим многочлен Заметим, что все корни многочленов и являются корнями многочлена Заметим, что в сумме у многочленов и ровно корней (с учетом кратности). При этом каждый из корней этих многочленов входит с кратностью на один меньше в производную Всего у производной не более корня, поэтому суммарно различных корней у и не меньше Значит, откуда
Ошибка.
Попробуйте повторить позже
Найдите все такие многочлены c вещественными коэффициентами, что
Подсказка 1
Поймите, что P(-4-x)^2=P(x)^2, но это ведь многочлены. Такое бывает не очень часто. Покажите из этого знания, что P(x)=P(-4-x)
Подсказка 2
Попробуйте рассмотреть следующую последовательность a_0=-2, a_{n+1} = -2+sqrt(3+a_n). Поймите, что все a_i являются корнями производной, чего быть не должно. Как тогда выглядит сама функция?
Заметим, что
откуда при всех Значит, один из множителей является тождественным нулем. В случае, если то подставив получим Теперь, подставив в исходное условие, получаем что невозможно. Значит,
Взяв производную от обеих частей, получаем Подставив получаем Продифференциировав исходное равенство, получим
Построим последовательность по правилу (то есть больший корень уравнения ). Заметим, что Тогда из того, что функция строго возрастающая, заключаем и так далее. То есть наша последовательность строго возрастающая (в частности — вещественный), а значит, все ее члены различны и для всех натуральных Теперь докажем, что для любого идукцией по База для была доказана ранее. Подставив в продифференциированное равенство, получим
откуда или В первом случае, подставив в исходное равенство, получим
то есть приходим к противоречию. Значит, — переход доказан. То есть все члены построенной последовательности являются корнями многочлена откуда То есть для некоторого вещественного Снова подставив в исходное равенство, получаем откуда
Ошибка.
Попробуйте повторить позже
Докажите, что многочлен не имеет кратных корней.
Подсказка 1
В условии говорится про кратные корни. Как связаны корни производной и корни многочлена?
Подсказка 2
Кратный корень многочлена является корнем производной. Функция из условия какая-то странная, но может быть она хорошо связана со своей производной?
Пусть Если многочлен имеет кратный корень, то этот же корень имеет и его производная. Найдем производную:
Допустим, что и имеют общий корень Тогда является также является корнем уравнения Тогда откуда Однако не является решением ни одного из уравнений и Значит, у нет кратных корней.
Ошибка.
Попробуйте повторить позже
Лемма Гензеля. Дан многочлен с целыми коэффициентами, — простое число. Пусть делится на а не делится на для некоторого целого Докажите, что для любого натурального найдётся такое, что делится на
Прежде чем доказывать лемму Гензеля сформулируем следующий вспомогательный результат.
Лемма. Пусть — многочлен степени Тогда
Док-во леммы. Доказательство достаточно провести для многочлена вида ввиду линейности. Для такого многочлена необходимое равенство приобретает вид
так что оно представляет из себя в точности формулу бинома Ньютона. Лемма доказана.
Также давайте докажем более строгое утверждение. Будем доказывать, что найдется такое что
Индукцией по
База. При удовлетворяющее всем условиям теоремы.
Переход индукции. Пусть теперь и для утверждение верно. Мы ищем элемент с условиями и Но для этого элемента будет тогда также выполнено Ввиду существования решения этого сравнения по модулю хотим, чтобы Поэтому будем искать в виде с некоторым целым числом В приведённой системе вычетов по модулю найдётся ровно элементов такого вида, причём соответствующие им значения составят полную систему вычетов по модулю Условие будет выполнено автоматически. Для проверки условия воспользуемся леммой и запишем
Таким образом, должно быть выполнено
Так как то обе части и модуль этого сравнения можно поделить на Получим
Поскольку
полученное сравнение относительно имеет решение. А следовательно нужное существует.
Ошибка.
Попробуйте повторить позже
Пусть а — это минимальный многочлен с целыми (рациональными) коэффициентами, у которого является корнем. Тогда является корнем первой кратности.
Предположим, что кратность корня хотя бы Рассмотрим производную многочлена Она также имеет корень и её коэффициенты являются вещественными. Степень производной меньше, чем степень Следовательно, не многочлен наименьшей степени с вещественными коэффициентами и корнем противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что у многочлена не более положительных корней.
Докажем индукцией по База при тривиальна. Теперь рассмотрим многочлен Предположим, что он имеет хотя бы положительный корень. Упорядочим эти корней по возрастанию: Теперь рассмотрим производную многочлена Заметим, что по теореме Ролля она имеет корень на отрезке при всех То есть у производной хотя бы положительных корней. Теперь посмотрим на производную в явном виде:
Нетрудно видеть, что все положительные корни являются корнями многочлена а он по предположению индукции имеет не более положительный корень, противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что при умножении многочлена на любой многочлен, отличный от нуля, получается многочлен, имеющий хотя бы ненулевых коэффициентов.
Докажем индукцией по База при очевидна.
Теперь докажем переход. Рассмотрим многочлен Без ограничения общности можно считать, что свободный член многочлена отличен от (умножение на не меняет числа ненулевых коэффициентов). Тогда у многочлена свободный член также отличен от нуля и у производной на один ненулевой коэффициент меньше, чем у Но То есть получается домножением многочлена на ненулевой (как легко проверить) многочлен По предположению индукции у многочлена не менее ненулевых коэффициентов, следовательно, у многочлена не менее ненулевых коэффициентов.
Ошибка.
Попробуйте повторить позже
Существуют ли такие многочлены и с вещественными коэффициентами, что
Пусть такие многочлены существуют. Приравнивая степени многочленов слева и справа, понимаем, что для некоторого натурального Возьмём производную от левой и правой частей равенства:
Нетрудно понять, что НОД НОД Следовательно, НОД Из первоначального равенства следует, что делится на а значит НОД Таким образом, делится на Осталось заметить, что это невозможно, поскольку то есть мы пришли к противоречию.
Не существуют
Ошибка.
Попробуйте повторить позже
Существует ли многочлен с вещественными коэффициентами, значения которого во всех натуральных числах — степени двойки?
Предположим, что существует. Ясно, что начиная с некоторого натурального многочлен будет либо строго возрастать, либо строго убывать (пусть возрастать). Получается, что с некоторого момента многочлен на натуральных числах будет расти не медленнее, чем показательная функция но такого быть не может. Функция рано или поздно перерастёт любой многочлен.
Не существует
Ошибка.
Попробуйте повторить позже
Дана пара взаимно-простых многочленов с действительными коэффициентами и степеней и соответственно (взаимно-простые означает, что не существует многочлена не равного константе, на который делятся и Гриша выбирает конечное множество действительных чисел (помните, в множестве элементы не повторяются, размер множества Гриша тоже выбирает сам), находит число различных кратных действительных корней у многочлена (при от 1 до ) и складывает полученные числа. Какую наибольшую сумму Гриша может получить в результате этого процесса?
Источники:
Подсказка 1
Как нам определить является ли какое-то число кратным корнем? Очень просто - надо проверить, что оно зануляет многочлен и его производную(для общего развития - подумайте какое условие нужно записать, чтобы найти корень кратности k, где k - константа). Запишите проверку на кратность корня и подумайте как компактнее записать эти два условия.
Подсказка 2
Верно, компактнее можно записать эти условия так: Q(a) != 0(почему?) и (P(x)/Q(x))’(a) = 0, где а - наш кратный корень. Как тогда оценить количество кратных корней, если все искомые кратные корни - это корни многочлена производной дроби выше?
Подсказка 3
Количество корней не больше степени многочлена, а значит, осталось найти степень и построить пример. Со степенью легко, а из каких соображений строить пример? Нам нужно, чтобы у производной было много корней. Какая теорема помогает нам искать корни производной на промежутке(нам же нужно как то полу конструктивно найти много корней производной)? Если вы поймете, что это за теорема, то подогнать данное в задаче под условие этой теоремы будет не так уж трудно.
Подсказка 4
Будем подгонять ситуацию под условие теоремы Ролля. Нам нужна непрерывность и дифференциируемость на интервале и равные значения в концах. Давайте, чтобы одни корни многочлена не залезали на другие, скажем, что у P(x) все корни действительные и различные и их столько же, какая степень, при этом, все они лежат слева от корней многочлена Q(x) на которые накладываются те же условия. Тогда остается взять за интервалы - интервалы между корнями, проверить, что все требуемые условия для теоремы Ролля выполняются, а также как-то подогнать под условие теоремы Ролля интервалы с концами в корнях Q(x), подумать про их количество и каким, может быть не интервалом, но другим промежутком, можно заменить недостающий интервал, если такой есть(спойлер - есть).
Оценка.
_________________________________________________________________________________________________________________________________________________________
Лемма. В Гришиной сумме могут быть учтены те и только те числа , в которых производная функции обращается в ноль, причем каждое такое может быть посчитано максимум для одного .
_________________________________________________________________________________________________________________________________________________________________________________
Доказательство. Как известно, число является кратным корнем многочлена если и только если является корнем многочлена и его производной . Пусть — кратный корень , имеем левую из систем:
Первая равносильность заслуживает пояснений: из уравнения если что и то невозможно поскольку многочлены взаимно-просты. Если же то деление на него является равносильным переходом, а однозначно находится из (*). Второй переход: просто поделили на Осталось заметить, что это в точности производная
______________________________________________________________________________________________________________________________________________________
Итак, мы получили что все числа, посчитанные в гришиной сумме, это корни многочлена который имеет не более чем степень (при взятии производной степень многочлена уменьшается на единицу, при перемножении многочленов - складывается, при вычитании не увеличивается), покажем что не может быть тождественно нулем (на самом деле покажем, что степень ровно ). Пусть и — старшие (а значит, ненулевые) коэффициенты многочленов и соответственно. Тогда коэффициент при есть Таким образом, мы доказали оценку сверху: сумма не может быть больше
______________________________________________________________________________________________________________________________________________________
Пример.
Возьмём и такими, что все их корни вещественны, различны и все корни лежат левее всех корней Тогда есть отрезков между соседними корнями на каждом из этих отрезков функция непрерывна (все корни знаменателя правее), равна нулю в концах отрезка и не равна нулю в остальных точках, значит в какой-то точке производная принимает нулевое значение по теореме Ролля — нашли нулей производной. Теперь посмотрим на интервалы между соседними корнями и также на открытый луч от самого правого из них до плюс бесконечности. На каждом интервале функция непрерывна, не меняет знак (поскольку не принимает нулевого значения — все корни числителя лежат левее), в концах интервалов стремиться к бесконечности (поскольку это корни числителя), при аналогично стремится к бесконечности, поскольку степень числителя больше степени знаменателя. Значит, на каждом из промежутков модуль достигает минимума во внутренней точке, там производная обращается в ноль (альтернативно можно воспользоваться теоремой Ролля для функции ) — нашли еще нулей производной.
Ошибка.
Попробуйте повторить позже
Исходно на доске написаны многочлены и Если на доске написаны многочлены и разрешается дописать на неё многочлены и где — произвольная (не обязательно целая) константа. Может ли на доске после нескольких операций появиться многочлен вида (при натуральном )?
Подсказка
Понять, какие многочлены получатся очень тяжело, но легче посмотреть на их производные. Поймите, что будет общего у всех производных полученных функций.
Рассмотрим производные изначальных многочленов: Обе производные имеют нули в
Теперь докажем следующую лемму:
_________________________________________________________________________________________________________________________________________________________________________________
Лемма. Имеется множество функций, каждая из которых имеет ноль производной в заданной точке. Тогда, любая новая функция, полученная способом, описанным в задаче, из функций множества, тоже будет иметь корень производной в этой точке.
Доказательство леммы. Пусть новая функция была получена из функций и по одному из способов, упомянутых в условии. По условию леммы имеется такое фиксированное что
1) Значит, — ноль функции
2) Значит, — ноль функции
3) Значит, — ноль функции
4) Значит, — ноль функции
______________________________________________________________________________________________________________________________________________________
Лемма доказана. Вернемся к исходной задаче. По лемме мы получаем, что каждая новая функция на доске будет иметь ноль производной в точке Но рассмотрим функцию, которую мы хотим получить: Заметим, что у ее производной не имеется нуля в точке Значит, по лемме мы не можем получить такую функцию.
Нет, не может
Ошибка.
Попробуйте повторить позже
Пусть и — натуральные числа, Докажите, что
Источники:
Рассмотрим многочлены Заметим, что Число является корнем многочлена кратности поэтому оно будет корнем многочлена кратности кратности корнем кратности Очевидно, что интересующая нас сумма равна