Многочлены → .01 Многочлены с целыми коэффициентами и теорема Безу
Ошибка.
Попробуйте повторить позже
Дан многочлен с целыми коэффициентами. Для некоторого натурального
числа
делятся на
.
Докажите, что значения многочлена
во всех целых точках делятся на
.
Источники:
Среди подряд идущих целых чисел
,
, …,
есть хотя бы
кратных двум, хотя бы
кратных
, и т.д. Значит, суммарная степень вхождения
в их произведение не меньше
Поэтому все значения многочлена в целых точках кратны
Поделим на
с остатком:
. Поскольку старший член
равен 1,
, причем
будет удовлетворять тем же условиям, которым удовлетворяет
, и к тому же будет иметь степень не выше
. Поделив его на
, мы получим многочлен степени не выше
, значения которого
подряд идущих целых точках целые. Из этого
следует, что целыми являются все его значения в целых точках (это доказывается по индукции с использованием разностного
многочлена). Таким, образом, у многочлена
все значения в целых точках кратны
, а тогда это верно и для многочлена
.
Ошибка.
Попробуйте повторить позже
Многочлен третьей степени с целыми коэффициентами таков, что существует бесконечное количество пар целых чисел
таких,
что
Докажите, что
имеет целый корень.
Пусть Если
то
откуда получаем
Обозначим через
Тогда
Понятно, что при достаточно больших
(по модулю) выражения
и
будут иметь один и тот же знак, а значит одинаковый знак имеют и числа
Тогда
откуда при достаточно
больших
выполнено
так как коэффициент при у
равен
(по модулю больше
). Поэтому
может принимать лишь конечное число значений.
Поскольку пар
по условию бесконечно много, какое-то значение
принимается бесконечное число раз. Но в этом случае в равенстве
выражение
будет по модулю сколь угодно большим, а все остальное фиксированным, поэтому, если
то
получим противоречие. Значит,
что и требовалось.
Ошибка.
Попробуйте повторить позже
Многочлен имеет корни
. Многочлен
Найдите
Пусть . Нетрудно видеть, что при
верно
, то есть достаточно найти число
Если поделить столбиком на
, получим, что
. Значит, нужная нам сумма равна
По теореме Виета сумма корней равна , сумма их попарных произведений равна
. Подставляя это, получаем ответ
.
Ошибка.
Попробуйте повторить позже
Для начала поделим многочлен на
Тогда мы получим следующую запись:
где — неполное частное,
— остаток,
— константа. По теореме Безу, подставив в многочлен
мы получим
искомый остаток
:
— искомый остаток.
Снова поделим многочлен на
Тогда мы получим следующую запись:
где — неполное частное,
— остаток,
. Подставим в многочлен
и
. Получим:
При
При
Отсюда находим, что — искомый остаток.
Теперь для того, чтобы найти остаток от деления на
заменим в начальном многочлене слагаемые на их остатки. Так
как
то
Тогда, в начальном многочлене все
мы можем заменить на
Так как степень делителя равна 2, а степень полученного
равна 1, то так как
— искомый
остаток.
Ошибка.
Попробуйте повторить позже
Какой остаток дает при делении на
Обозначим многочлен через По теореме Безу остаток будет равен
то есть
Ошибка.
Попробуйте повторить позже
Найдите все многочлены с целыми коэффициентами такие, что
является простым числом при бесконечном количестве
целых
.
Источники:
Заметим, что делится на
при каждом натуральном
При этом раз в бесконечном количестве
натуральных точек
— простое, то
в бесконечном количестве натуральных точек или равен
или равен
или
равен
или
Первые два случая нам не подходят.
Предположим, что тождественно равен
Если степень многочлена
больше
то степень
больше
степени
поэтому
или
В первом случае нам подходят все простые
Во втором случае имеем
откуда
что невозможно при
Если же тождественно равен
то достаточно рассмотреть случай
(
Тогда
откуда
То есть
Осталось лишь понять, что только при нечётных
выражение
является простым в бесконечном количестве целых точек.
для простых
,
для нечётных
Ошибка.
Попробуйте повторить позже
— кубический многочлен с рациональными коэффициентами. Его значение в точке
составляет
а значение его производной в
этой же точке равно
Найдите все коэффициенты многочлена.
Пусть
Тогда
Это число может быть рациональным только если откуда
Далее,
Значит,
Отсюда по аналогичным соображениям
Объединив эту систему с ранее полученной, имеем
Ошибка.
Попробуйте повторить позже
Целые числа попарно различны. Докажите, что не существует многочлена
со свойством:
Предположим, что такой полином существует. Поскольку попарно различны, существует пара чисел, модуль разности
которых строго больше модуля разности любых других двух. Не умаляя общности, пусть это
и
Согласно теореме Безу,
Так как
из этого следует, что
что противоречит выбору чисел
и
Ошибка.
Попробуйте повторить позже
Найдите все натуральные для которых существует многочлен
с целыми коэффициентами такой, что
для всех
натуральных делителей
числа
Сначала приведем пример такого многочлена для простых
Теперь предположим, что – составное число:
где
– наименьший простой делитель
Так как
содержит хотя бы
один простой делитель
то
Предположим, что описанный в задаче многочлен
существует. Тогда
По теореме
Безу,
Другими словами,
Такое может случиться только если или
но по определению
и
ни то, ни другое не выполнено –
противоречие.
все простые и
Ошибка.
Попробуйте повторить позже
Пусть — многочлен с целыми коэффициентами. Известно, что уравнение
не имеет решений в целых числах. Докажите, что
уравнение
тоже не имеет решений в целых числах.
Предположим противное – пусть существует такое целое что
Рассмотрим выражение
Согласно теореме Безу, оно делится на
Значит и
делится на
Так как уравнение
не имеет решений в целых числах,
и
а значит
С другой стороны, по теореме же Безу, значит
Такое возможно только если откуда либо
либо
В первом случае
и, так как
получаем
что
является решением уравнения
что противоречит условию задачи. Теперь разберем второй случай. Ясно, что если
является решением уравнения
то и
тоже. Повторим рассуждение с самого начала, заменив в нем
на
Получим, что
Мы уже знаем, что один из способов раскрытия модуля приводит к
противорчию, поэтому выберем второй:
Запишем рядом это уравнение и
уравнение выше
Мы получили, что – попарно различные числа, попарные разности которых совпадают. Такого, конечно, быть не
может, по крайней мере потому, что разность между наименьшим и наибольшим числом строго больше, чем разность любых других двух
чисел. Противоречие.
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что если множество простых делителей значений
во всех целых точках конечно, что
тождественно равен ненулевой константе.
Если у свободный коэффициент равен 0 , то
и утверждение, очевидно, верное. В случае
предположим
противное, существует только конечное множество
простых делителей чисел вида
где
— целое.
Разложим
на простые множители:
(
могут равняться нулю). Рассмотрим последовательность
и так далее до бесконечности. Ясно, что любого
и
не
делится на
поскольку его свободный член не делится на
а все остальные делятся. Значит, степень вхождения
в любое
равна
так как свободный член делится на
На другие простые, по предположению,
не делится. Это означает, что для любого
то есть принимает значение
в бесконечном числе точек. Такое бывает только если
равен константе
что и требовалось
доказать.
Ошибка.
Попробуйте повторить позже
Даны натуральные числа и
такие, что
Существует ли многочлен
степени больше
с коэффициентами из множества
такой, что
делится на
Легко видеть, что если то всякий многочлен с коэффициентами от 0 до
является нулевым.
Пусть Представим
в
-ичной записи (иными словами, в системе счисления с основанием
):
где
Поскольку
в этой записи
Покажем, что удовлетворяет условию. Действительно, по теореме Безу, для любого многочлена
с целыми коэффициентами
делится на
Значит,
делится на
Но тогда и
делится на
Существует при
Ошибка.
Попробуйте повторить позже
Обозначим через многочлен с целыми коэффициентами, для которого
для некоторых
натуральных
и
причём
Докажите, что
для некоторого
Представим исходный многочлен в виде
причем — натуральное число такое, что свободный коэффициент многочлена
не равен
Такое число
существует,
поскольку в противном случае многочлен
имеет вид а значит не имеет натурального корня
что противоречит условию.
Пусть
По правилу знаков Декарта количество смен знаков в последовательности не меньше, чем количество положительных
корней данного многочлена, то есть не меньше
Пусть в ряду произошла смена с положительного знака на отрицательный, тогда существует такое, что
Тогда
и искомый коэффициент найден.
В противном случае произошла ровна одна смена с отрицательного на положительный знак, следовательно Осталось заметить,
что тогда
Ошибка.
Попробуйте повторить позже
Если степень многочлена хотя бы , то при огромных положительных числах он будет принимать значения, большие
по модулю,
поскольку на положительных числах
растёт линейно. Также ясно, что степень многочлена больше
. То есть если такой многочлен
существует, то он имеет вид
. Но это выражение далеко не при всех
неотрицательно, то есть функционального равенства с
быть не может.
(b) Нет.
Предположим, что существует такой многочлен , что
. Следовательно,
. Ясно, что
.
В таком случае
, а
. То есть функционального равенства быть не может.
(c) Нет.
Предположим, что есть такой многочлен , тогда
. Степень многочлена слева равна
, а многочлена
справа —
. Отсюда получаем, что
. Пусть
. Из подстановки
в равенство
следует, что
. Подстановка
приведёт к равенствам
, откуда
. Но тогда
,
противоречие.
(d) Нет.
Это выражение не определено в , а любой многочлен в этой точке определён, значит функционального равенства с многочленом
быть не может.
Во всех пунктах не существует
Ошибка.
Попробуйте повторить позже
Найдите остаток при делении многочлена на
Остатком будет многочлен степени или
Запишем его в виде
(если степень
то
обнулится). Тогда
Подставим в это равенство
и
Получится
система из уравнений
и
которая имеет решение
и
Следовательно, остаток имеет вид
Ошибка.
Попробуйте повторить позже
Найти все многочлены для которых верно
Левая часть делится на значит и правая делится. То есть
делится на
Правая часть делится на
тогда и левая тоже
делится, отсюда получаем, что многочлен
имеет корень
Следовательно, многочлен
имеет корень
Эти рассуждения
позволяют записать
в виде
Само равенство превратится в
Далее если проделать
аналогичные манипуляции с делимостью на
и
то мы получим, что
делится на
Равенство же примет
вид:
Покажем по индукции, что при после
-го шага будет равенство
тем более база уже
доказана. Скобочки
и
друг на друга не делятся (поскольку мы не после
шага). Следовательно,
Если подставить это в равенство, получим переход.
Итак, на шаге мы получили равенство
При
оно верно, но необходимо, чтобы оно
выполнялось и для других
то есть на скобочку
можно сократить. Значит,
при всех
(возможно
кроме
). Получается, что многочлен
может принимать одно и то же значение в бесконечном количестве точек,
поскольку у него период
Следовательно,
— константа. Заметим, что подойдёт любая комплексная константа
Таким образом,
Ошибка.
Попробуйте повторить позже
Многочлены и
с рациональными коэффициентами таковы, что в бесконечном множестве натуральных точек
они оба принимают
целые значения и при этом
Докажите, что
делится на
как на многочлен.
Домножим каждый из многочленов и
на НОК знаменателей их коэффициентов, от этого ничего не изменится. Теперь они
целочисленные. Поделим многочлен
на
с остатком:
. Из процесса деления ясно, что все
коэффициенты
и
рациональные. Домножим равенство на НОК знаменателей коэффициентов
и
Получается,
что при бесконечном количестве натуральных точек
делится на
Но
следовательно при огромных натуральных числах многочлен
по будет по абсолютному значению больше, чем
Значит,
делимость
на
в бесконечном количестве натуральных точек возможна лишь когда
— тождественный ноль. Получили
требуемое.
Ошибка.
Попробуйте повторить позже
Пусть — многочлен с целыми коэффициентами, причем для некоторого целого числа
числа
и
делятся
на
Докажите, что тогда
делится на
для любого целого
Рассмотрим число при произвольном
Среди чисел
найдётся число, сравнимое с
по модулю
(пусть это
).
Как известно,
кратно
Заметим, что
и
делится на
Следовательно,
также кратно трём, что и
требовалось.
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами принимает значение при пяти различных целых значениях
Докажите, что у него нет целых
корней.
Предположим противное, пусть многочлен имеет целый корень а в точках
и
принимает значение
Но тогда при
всех
имеем:
кратно
По условию все числа
различны, то есть у пятёрки есть пять различных
целых делителей, получили противоречие.
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами при некоторых целых
принимает значения
и
Докажите, что существует не более
одного целого
при котором значение этого многочлена равно
Пусть и
Покажем, что точка
выражается через
и
не более чем одним
способом.
Многочлен целочисленный, поэтому кратно
и
кратно
То есть
Заметим, что если
и
противоположны, то
но это невозможно. Следовательно,
Пусть знак положительный (другой случай рассматривается аналогично).
Получается, что кратно
и
кратно
Это позволяет
построить следующую цепочку неравенств:
То есть
— это натуральное число, большее
меньшее
и кратное
Значит,
Этому равенству удовлетворяют два варианта:
и
Осталось заметить, что во втором случае двойка должна делиться на Следовательно, единственный
возможный вариант —
Получили требуемое.