Многочлены
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Исходно на доске написаны многочлены и
Если на доске написаны многочлены
и
разрешается дописать на неё многочлены
и
где
— произвольная (не обязательно
целая) константа. Может ли на доске после нескольких операций появиться многочлен вида
(при натуральном
)?
Подсказка
Понять, какие многочлены получатся очень тяжело, но легче посмотреть на их производные. Поймите, что будет общего у всех производных полученных функций.
Рассмотрим производные изначальных многочленов: Обе производные имеют нули в
Теперь докажем следующую лемму:
_________________________________________________________________________________________________________________________________________________________________________________
Лемма. Имеется множество функций, каждая из которых имеет ноль производной в заданной точке. Тогда, любая новая функция, полученная способом, описанным в задаче, из функций множества, тоже будет иметь корень производной в этой точке.
Доказательство леммы. Пусть новая функция была получена из функций
и
по одному из способов, упомянутых в условии. По
условию леммы имеется такое фиксированное
что
1) Значит,
— ноль функции
2) Значит,
— ноль функции
3) Значит,
— ноль функции
4) Значит,
— ноль функции
______________________________________________________________________________________________________________________________________________________
Лемма доказана. Вернемся к исходной задаче. По лемме мы получаем, что каждая новая функция на доске будет иметь ноль
производной в точке Но рассмотрим функцию, которую мы хотим получить:
Заметим, что у ее производной не
имеется нуля в точке
Значит, по лемме мы не можем получить такую функцию.
Нет, не может
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами таков, что
и НОД всех чисел вида
(при целых
) равен
Докажите, что существует бесконечно много натуральных
таких, что НОД всех чисел вида
(при целых
равен
Пусть Возьмем простое
большее
и большее модуля старшего коэффициента многочлена. Докажем, что
подходит.
Очевидно, что
является общим делителем всех чисел вида
Докажем, что большего общего делителя у них нет. Пусть
некоторое
делит
при всех целых
Рассмотрим два случая.
У
есть простой делитель
Тогда для всех целых
имеем:
и
Числа
и
взаимно просты, поэтому для любого целого
найдутся целые
и
такие, что
Тогда
т. е. НОД всех чисел
(при целых
) не меньше
Противоречие.
Рассмотрим многочлен
над полем
(т. е. рассмотрим его коэффициенты по модулю
). Он
имеет
корней в поле
а его степень не превосходит
поэтому все его коэффициенты нули. Значит все коэффициенты
(как многочлена с целыми коэффициентами) кратны
Применяя аналогичное рассуждение к многочлену
получаем что все коэффициенты
(как многочлена с целыми коэффициентами) кратны
Легко
проверить, что это не так для коэффициента при
Противоречие.
Ошибка.
Попробуйте повторить позже
Учитель написал на доске многочлены с целыми коэффициентами:
и дал задание найти целое значение , такое, что
делится (нацело) на
Петя Васечкин взялся за дело и, взяв для начала , получил
. «Не делится», подумал Петя, и решил подставить
. Получилось
. «А ноль делить нельзя», — подумал Петя. Он попробовал взять
, но там получались
большие числа и Петя запутался в вычислениях.
Напоследок он решил попробовать взять и получил
. «Да таких значений
просто не существует!» —
воскликнул Петя. Прав ли он?
Источники:
Подсказка 1
Обратите внимание на то, какие числа подставил мальчик в многочлен: -1, 0 и 1 (двойка нам не дает никаких значений). Если посмотреть отдельно на все значения Р(х) и Q(x), то что вы можете сказать о их делимости на 3?
Подсказка 2
Именно, значения Р не делятся на 3, а значения Q делятся на 3. Доказав, пользуясь теоремой Безу, что ни одно значение Р не кратно 3, мы решим задачу (почему?)
Заметим, что Петя подставил в многочлены все остатки по модулю . При этом многочлен
никогда не бывает кратен
, какой бы
остаток мы не подставили. В это же время многочлен
при любом остатке равен числу, кратному трём. Отсюда следует, что не найдётся
такое целое значение
, что
, поскольку это значило бы делимость
, которая не выполняется. Значит, Петя
прав.
да
Ошибка.
Попробуйте повторить позже
Найдите и
такие, что многочлен
делится нацело на
.
Источники:
Подсказка 1
Что мы иногда делаем, когда хотим доказать, что какое-то число делится на a? Рассматриваем числа по модулю a! Давайте сделаем такой же трюк, только с многочленами.
Подсказка 2
Начнём с малого. Очевидно, что x² - x + 1 ≡ 0, значит, x² ≡ x - 1. Самостоятельно посмотрите на степени x вплоть до x⁶.
Подсказка 3
Получаем, что x³ ≡ -1, x⁴ ≡ -x, x⁵ ≡ -x + 1, x⁶ ≡ 1. Какой вывод из этого можно сделать?
Подсказка 4
Верно! Остатки степеней х по модулю x² - x + 1 зацикливаются с циклом длины 6. Как же теперь посчитать остатки для x²⁰¹³ и x⁹⁹?
Подсказка 5
С этой задачей вы точно справитесь! Докажите, что x²⁰¹³ ≡ -1 ≡ x⁹⁹. Вернёмся к тому, что от нас требуют.
Подсказка 6
Получаем, что многочлен ax + (b-2) должен делиться на многочлен x² - x + 1 при всех вещественных х. Кажется, если ax + (b-2) — невырожденное линейное уравнение, возникает много проблем. Докажите это сами, а с вырожденностью делать то особо нечего... Успехов!
Везде ниже будем вести рассуждения по модулю многочлена
Аналогично далее находим
Таким образом, цикл повторяется каждые 6 шагов.
Значит, надо только лишь найти остатки и
по модулю
:
Следовательно,
Теперь подставим эти значения в многочлен :
Для того чтобы делился на
, необходимо, чтобы остаток
был нулевым для всех
, а отсюда сразу
же:
Ошибка.
Попробуйте повторить позже
Положительные числа таковы, что
и
Докажите, что какие-либо
два из чисел
отличаются больше, чем на
Перемножив равенство
и неравенство
получим неравенство
Возведем теперь в квадрат равенство
Получим
Вычитая из неравенства равенство
получаем
или
Предположим теперь, что любые два числа отличаются не больше, чем на Тогда квадрат их разности не больше
и из
получаем неравенство
Но, если вычесть из квадрата равенства равенство
получится равенство
что противоречит Значит, найдутся два числа, отличающиеся больше, чем на
Ошибка.
Попробуйте повторить позже
Каждые два из действительных чисел отличаются не менее чем на
Оказалось, что для некоторого
действительного
выполнены равенства
и
Докажите, что
Без ограничения общности можно считать, что По условию,
при всех
Значит,
при всех
Возведём каждое из полученных неравенств в квадрат и сложим их все. Получим
то есть
С другой стороны, по условию имеем
Складывая и
получаем
откуда или
Ошибка.
Попробуйте повторить позже
При каких значениях параметров множество решений уравнения
состоит в точности из чисел и
Подсказка 1
Из условия мы сразу же узнаем, что числа 1 и -1 – решения уравнения. Воспользуемся этим фактом самым очевидным образом – подставим 1 и -1 в уравнение вместо переменной.
Подсказка 2
Из полученной системы находим значение b и то, каким образом выражается c через a. Мы нашли условия, при которых 1 и -1 – это решения, теперь нужно проверить, чтобы не было других решений.
Подсказка 3
Мы выяснили, что 1 и -1 являются решениями уже хотя бы по одному разу, значит, можно вынести x² - 1 из нашего уравнения, и останется только какой-то кубический многочлен. Вам нужно только найти такие a, при которых его корни это 1 или -1.
Подставим оба решения в уравнение
Далее вынесем из многочлена, получим
Вторая скобка представляет собой кубический многочлен, поэтому у неё всегда есть корень, разберём случаи
- Этот корень
, тогда
, при вынесении
получим
— вещественных корней у второй скобки нет.
- Если же
, то
, здесь есть корень
, поэтому случай нам не подходит.
при
Ошибка.
Попробуйте повторить позже
Многочлен с действительными коэффициентами таков, что уравнение
имеет бесконечно много решений в целых числах и
Докажите, что у графика
есть центр симметрии.
Рассмотрим многочлен Заметим, что знак коэффициента этого многочлена при
совпадает со знаком
ой производной
при
При четном
этот коэффициент равен
а при нечетном
— нулю. Для достаточно
больших
знак
совпадает со знаком старшего коэффициента многочлена
Следовательно, при достаточно больших по модулю
все коэффициенты
при нечетных степенях равны
а при четных одного знака. Поэтому
не имеет корней при
достаточно больших по модулю
Если
то
является корнем многочлена
при
Откуда сумма
ограничена по модулю, так как равна
Поэтому одно из значений
принимается
бесконечное количество раз, то есть соответствующий многочлен
имеет бесконечно много корней, а значит, является
тождественным нулём. Откуда следует, что
то есть многочлен
симметричен относительно точки
Ошибка.
Попробуйте повторить позже
Выражение возвели в натуральную степень, раскрыли скобки и привели подобные слагаемые. Докажите, что хотя бы
один коэффициент полученного выражения будет отрицательным.
Источники:
Подсказка 1
Пусть мы возвели многочлен в степень n. Наверное, один коэффициент-то мы точно сможем найти, например, свободный) Чему он равен?
Подсказка 2
Да, например, можно подставить x = 0 и получить как раз свободный коэф, он будет равен 2^n. А можем ли мы получить еще какую-то информацию, но уже про все коэффициенты многочлена?
Подсказка 3
Можно попробовать получить чему равна сумма всех коэффициенты....а как?
Подсказка 4
Да, можно просто подставить в многочлен x = 1! Тогда получим что сумма коэффициентов = (1^4+1^3-3*1^2+1+2)^n = 2^n! А может ли быть такое, что сумма всех коэффициентов = свободному, если все коэффициенты неотрицательны?)
Пусть мы возводим в степень Сумму коэффициентов многочлена после раскрытия скобок можно посчитать, если вместо
подставить
единицу. Естественно она же равна значению того же многочлена в точке
до раскрытия скобок:
Свободный член тоже можно посчитать, для этого надо подставить Получится
Тогда сумма всех коэффициентов, кроме свободного члена, равна нулю. При этом старший коэффициент (он отличен от свободного члена из-за количества коэффициентов) равен единице, поэтому должен найтись и отрицательный коэффициент (иначе нулевая сумма коэффициентов окажется не меньше единицы, чего быть не может).
Ошибка.
Попробуйте повторить позже
Докажите, что для любого нечетного простого найдется неприводимый над
многочлен степени
Источники:
Подсказка 1
Пусть дан произвольный многочлен степени 2 в Z_p. В каком случае он имеет корень?
Подсказка 2
Если изначальный вопрос кажется лишком сложным, то рассмотрите частный случай, когда многочлен имеет вид x^2-b.
Подсказка 3
Тогда и только тогда, когда b (или дискриминант исходного уравнения) является квадратичным невычетом по модулю p. Осталось вспомнить почему существует квадратичный невычет по каждому простому модулю
Рассмотрим уравнение в
. Его разрешимость эквивалентна тому, что
является квадратичным вычетом. Как известно,
существует всего
квадратичных вычетов, и столько же невычетов. Тогда в качестве
берем любой невычет и получаем
неприводимый многочлен.
Ошибка.
Попробуйте повторить позже
На графике многочлена с целыми коэффициентами отмечены две точки с целыми координатами. Докажите, что если расстояние между ними — целое число, то соединяющий их отрезок параллелен оси абсцисс.
Источники:
Подсказка 1
Есть две точки, которые лежат на графике, значит их координаты - это, скажем, А(а, Q(a)), B(b, Q(b)). Запишите теперь уравнение полученной прямой через коэффициент угла наклона (нам наверняка хочется, чтобы он был равен нулю).
Подсказка 2
Отлично, теперь запишите расстояние между этими двумя точками через эти заданные координаты (помним, это расстояние целое). Замечаем, что там есть выражение Q(a) - Q(b), подставим его из первого выражения, и теперь уже точно знаем, что коэффициент угла наклона равен 0 (осталось это доказать) :)
Пусть этот многочлен , а на оси абсцисс отмечены
, тогда их координаты
.
Используем теорему Безу
Запишем квадрат расстояния между точками
Тогда является точным квадратом, что возможно только при
, что и означает
.
Ошибка.
Попробуйте повторить позже
Уравнение
с целыми ненулевыми коэффициентами имеет
различных целых корней. Докажите, что если любые два корня взаимно
просты, то и числа
и
взаимно просты.
Источники:
По теореме Виета равен модулю суммы всевозможных произведений
чисел из наборов
а
равен модулю
произведения всех корней. Покажем, что
не делится на
Для этого заметим, что
По условию все корни взаимно просты,
отсюда и следует, что
не делится ни на один из корней, но тогда он не имеет общих множителей с
что и
требовалось.
Ошибка.
Попробуйте повторить позже
Все коэффициенты многочлена — целые числа. Известно, что
и что
при некотором натуральном
. Найдите
Источники:
Подсказка 1
Когда в задании фигурирует многочлен с целыми коэф-ами, а тем более два его значения, то Вам должна вспоминаться теорема Безу, которую и следует тут применить.
Подсказка 2
Р(n)-Р(1) делится на n-1, в то же время оно равно -1. Теперь остается вспомнить, что n - это натуральное число :)
Воспользуемся теоремой Безу
Откуда , поскольку
, то
Ошибка.
Попробуйте повторить позже
Многочлен имеет три различных действительных корня, а многочлен
где
действительных корней не имеет. Докажите, что
Источники:
По условию следовательно,
где
Пусть — дискриминанта квадратного трехчлена
при
Тогда
Перемножив
полученные неравенства
получаем
Ошибка.
Попробуйте повторить позже
Докажите, что для всех натуральных следующее утверждение. Если
— многочлен с целыми коэффициентами, для
которого
то выполнено
Сначала покажем, что Действительно, по теореме Безу число
кратно
и не превосходит
по
модулю, значит равно
Следовательно
где — многочлен с целыми коэффициентами. Заключаем неравенство
для
Заметим, что для верно неравенство
Действительно, после раскрытия скобок и приведения
подобных слагаемых имеем
Множество не пусто при
следовательно
то есть
т.к.
имеет целые коэффициент.
Наконец
где — многочлен с целыми коэффициентами. Для завершения доказательства остается показать, что
При
рассмотрении
или
имеем
Осталось заметить, что при следовательно
Ошибка.
Попробуйте повторить позже
Многочлен степени
имеет
различных действительных корней. Какое наибольшее число его коэффициентов может равняться
нулю?
Пусть причем при
имеем
Так как у
нет кратных корней, то у производной их тоже нет
(она имеет корень на каждом из
интервалов между каждыми двумя последовательными корнями). Аналогично
не имеет
кратных корней при
Тогда если коэффициенты при
и
равны 0 при некотором
имеем
для ненулевого
Тогда
— кратный корень некоторой производной, что влечет противоречие. Значит, коэффициенты при двух
последовательных степенях
не могут быть нулями. Предположим, что
Тогда нулевых коэффициентов не более
При
не более
нулевых коэффициентов. Рассмотрим многочлен
четной степени. Видно,
что при раскрытии скобок остаются только четные коэффициенты, а потому все коэффициенты при нечетных степенях
нулевые, поэтому всего их
. Если же
нечетно, то положим
поэтому всего их
Ошибка.
Попробуйте повторить позже
Известно, что свободный член многочлена
с целыми коэффициентами по модулю меньше 100, а
Найдите
Источники:
Подсказка 1
Есть смысл рассматривать не многочлен P(x), а многочлен P(x) - 2016, ведь у него мы знаем два корня.
Подсказка 2
Понятно, что мы можем записать многочлен P(x) - 2016, как (x - 20)(x - 16)Q(x). Попробуйте выразить P(0).
Из условия следует, что
где — некоторый целочисленный многочлен.
Как известно, свободный член многочлена равен его значению в нуле. Тогда
Из условия
получаем, что а свободный член равен
Ошибка.
Попробуйте повторить позже
Пусть и
— натуральные числа,
Докажите, что
Источники:
Рассмотрим многочлены Заметим, что
Число
является корнем
многочлена
кратности
поэтому оно будет корнем многочлена
кратности
кратности
корнем
кратности
Очевидно, что интересующая нас сумма равна