Многочлены с целыми коэффициентами и теорема Безу
Ошибка.
Попробуйте повторить позже
Дан многочлен с целыми коэффициентами. Для некоторого натурального числа делятся на . Докажите, что значения многочлена во всех целых точках делятся на .
Источники:
Подсказка 1
Чтобы доказать, что у нас многочлен во всех точках кратен чему-то, бывает удобно представлять этот многочлен в виде, когда мы поделили его на какой-то другой с остатком, то есть представить P(x) = Q(x) * S(x) + R(x), и делили мы на многочлен на Q(x). Тогда если мы докажем, что во всех точках Q и R кратны чему-то, то докажем это и для P(x). Тогда, давайте сразу возьмём в качестве Q какой-то многочлен, который кратен 2^2^n. К примеру, x(x - 1)…(x - (2^n + 1)). Докажите, что такой многочлен действительно кратен 2^2^n, а после поймите какие условия тогда мы получаем на R(x).
Подсказка 2
Q(x) кратен, поскольку у нас произведениe k последовательных целых чисел кратно k!, и при этом у k! мы можем посчитать степень вхождения 2. В таком случае, на R(x) накладываются ровно такие же условия, как на P(x). А что значит, если многочлен, который принадлежит Z[x](поймите почему), и имеет степень меньшую, чем у Q, а также в хотя бы в deg(Q) подряд идущих целых точках кратен некоторому числу?
Подсказка 3
Это значит, что он кратен этому числу во всех целых точках, поскольку мы можем поделить на это целое число и индукцией показать, что если многочлен целочисленный в хотя бы t+1 подряд идущей целой точке, при том, что его степень не больше t, то он целочисленный во всех целых точках. Что тогда это нам даёт в рамках задачи?
Среди подряд идущих целых чисел , , …, есть хотя бы кратных двум, хотя бы кратных , и т.д. Значит, суммарная степень вхождения в их произведение не меньше
Поэтому все значения многочлена в целых точках кратны
Поделим на с остатком: . Поскольку старший член равен 1, , причем будет удовлетворять тем же условиям, которым удовлетворяет , и к тому же будет иметь степень не выше . Поделив его на , мы получим многочлен степени не выше , значения которого подряд идущих целых точках целые. Из этого следует, что целыми являются все его значения в целых точках (это доказывается по индукции с использованием разностного многочлена). Таким, образом, у многочлена все значения в целых точках кратны , а тогда это верно и для многочлена .
Ошибка.
Попробуйте повторить позже
Многочлен третьей степени с целыми коэффициентами таков, что существует бесконечное количество пар целых чисел таких, что Докажите, что имеет целый корень.
Пусть Если то
откуда получаем
Обозначим через Тогда Понятно, что при достаточно больших (по модулю) выражения и будут иметь один и тот же знак, а значит одинаковый знак имеют и числа Тогда откуда при достаточно больших выполнено
так как коэффициент при у равен (по модулю больше ). Поэтому может принимать лишь конечное число значений. Поскольку пар по условию бесконечно много, какое-то значение принимается бесконечное число раз. Но в этом случае в равенстве выражение будет по модулю сколь угодно большим, а все остальное фиксированным, поэтому, если то получим противоречие. Значит, что и требовалось.
Ошибка.
Попробуйте повторить позже
Многочлен имеет корни . Многочлен
Найдите
Подсказка 1
Искать значение функции с шестой степенью не очень хочется…а как связать Q(x) c P(x)(хотя бы в корнях)? Быть может, вместо суммы значений функции Q искать что-то другое?
Подсказка 2
Рассмотрите деление многочлена Q на P.
Подсказка 3
Чему равно значение многочлена Q в корнях многочлена P?
Подсказка 4
Заметим, что значение многочлена Q в корнях многочлена P равно значениям в этих же точках соответственно многочлена-остатка при делении Q на P.
Подсказка 5
Осталось лишь найти остаток при делении Q на P и понять, как удобно посчитать получившееся выражение в корнях. Корни найти проблематично, но воспользоваться их связью друг с другом точно стоит!
Пусть . Нетрудно видеть, что при верно , то есть достаточно найти число
Если поделить столбиком на , получим, что . Значит, нужная нам сумма равна
По теореме Виета сумма корней равна , сумма их попарных произведений равна . Подставляя это, получаем ответ .
Ошибка.
Попробуйте повторить позже
Для начала поделим многочлен на Тогда мы получим следующую запись:
где — неполное частное, — остаток, — константа. По теореме Безу, подставив в многочлен мы получим искомый остаток :
— искомый остаток.
Снова поделим многочлен на Тогда мы получим следующую запись:
где — неполное частное, — остаток, . Подставим в многочлен и . Получим:
При
При
Отсюда находим, что — искомый остаток.
Теперь для того, чтобы найти остаток от деления на заменим в начальном многочлене слагаемые на их остатки. Так как то Тогда, в начальном многочлене все мы можем заменить на
Так как степень делителя равна 2, а степень полученного равна 1, то так как — искомый остаток.
Ошибка.
Попробуйте повторить позже
Какой остаток дает при делении на
Подсказка
Если у вас возникли трудности с этой задачей, то вероятно вы не знакомы с теоремой Безу. Изучите еë и от задачи ничего не останется.
Обозначим многочлен через По теореме Безу остаток будет равен то есть
Ошибка.
Попробуйте повторить позже
Найдите все многочлены с целыми коэффициентами такие, что является простым числом при бесконечном количестве целых .
Источники:
Подсказка 1
Заметим, что P(P(x) + x) - P(x) делится на P(x) при всех натуральных x. Какой вывод тогда можно сделать о P(x)?
Подсказка 2
Конечно, тогда P(x) может в бесконечном числе точек быть равен 1 или -1 (что, нам, конечно, не подходит, поскольку тогда этот многочлен тождественно равен 1 или -1) или тождественно равен (аналогичным образом) P(P(x) + x) или -P(P(x) + x). Попробуем рассмотреть равенство с P(P(x) + x). Что можно сказать о степени P(x)?
Подсказка 3
Верно! Степень P(x) не превосходит 1. Тогда P(x) = c, где c — простое число всегда подходит. Подходит ли линейная функция?
Подсказка 4
Верно, не подходит! Ведь тогда a(a+1)x + b(a+1) = ax + b при всех действительных x, что невозможно при ненулевом a. Попробуем теперь рассмотреть случай равенства с -P(P(x)+x). Можно ли аналогичными выводами узнать, какова степень многочлена P(x)?
Подсказка 5
Верно! Аналогичными рассуждениями легко прийти к тому, что P(x) = ax + b при ненулевом a. Какие a и b подойдут?
Подсказка 6
Конечно! Расписав равенство P(x) = -P(P(x)+x) в явном виде, получим, что a = -2. А чему может быть равно b?
Заметим, что делится на при каждом натуральном При этом раз в бесконечном количестве натуральных точек — простое, то в бесконечном количестве натуральных точек или равен или равен или равен или Первые два случая нам не подходят.
Предположим, что тождественно равен Если степень многочлена больше то степень больше степени поэтому или В первом случае нам подходят все простые Во втором случае имеем откуда что невозможно при
Если же тождественно равен то достаточно рассмотреть случай ( Тогда откуда То есть Осталось лишь понять, что только при нечётных выражение является простым в бесконечном количестве целых точек.
для простых , для нечётных
Ошибка.
Попробуйте повторить позже
— кубический многочлен с рациональными коэффициентами. Его значение в точке составляет а значение его производной в этой же точке равно Найдите все коэффициенты многочлена.
Подсказка 1
Давайте просто представим кубический многочлен в общем виде и подставим √7 вместо x. Получим какое-то выражение, которое должно быть равно 8. Как здесь поможет то, что у нас коэффициенты - рациональные?
Подсказка 2
У нас некоторая часть выражения равна √7 * (что-то), где "что-то" - рациональное, а также все остальные числа рациональные в равенстве. А когда такое может выполняться вообще?)
Подсказка 3
Только когда это "что-то" равно нулю! Из этого получаем условия на коэффициенты. А теперь проделываем ту же операцию с производной и решаем систему
Пусть
Тогда
Это число может быть рациональным только если откуда
Далее,
Значит,
Отсюда по аналогичным соображениям
Объединив эту систему с ранее полученной, имеем
Ошибка.
Попробуйте повторить позже
Целые числа попарно различны. Докажите, что не существует многочлена со свойством:
Предположим, что такой полином существует. Поскольку попарно различны, существует пара чисел, модуль разности которых строго больше модуля разности любых других двух. Не умаляя общности, пусть это и Согласно теореме Безу, Так как из этого следует, что что противоречит выбору чисел и
Ошибка.
Попробуйте повторить позже
Найдите все натуральные для которых существует многочлен с целыми коэффициентами такой, что для всех натуральных делителей числа
Подсказка 1
Попробуем доказать, что n не может быть составным. Для этого можно пойти от противного. Можно ли выбрать какие-нибудь хорошие делители n и рассмотреть значения многочлена в них?
Подсказка 2
Верно! Пусть n = qd, где d — наименьший простой делитель n. Тогда p(q) = d. Еще мы знаем, что p(n) = 1. Какой вывод можно сделать?
Подсказка 3
Конечно! p(n) - p(1) делится на n - q. Может ли это быть верным?
Подсказка 4
Точно, не может! А можно ли построить пример для простых n или n = 1?
Сначала приведем пример такого многочлена для простых
Теперь предположим, что – составное число: где – наименьший простой делитель Так как содержит хотя бы один простой делитель то Предположим, что описанный в задаче многочлен существует. Тогда По теореме Безу, Другими словами,
Такое может случиться только если или но по определению и ни то, ни другое не выполнено – противоречие.
все простые и
Ошибка.
Попробуйте повторить позже
Пусть — многочлен с целыми коэффициентами. Известно, что уравнение не имеет решений в целых числах. Докажите, что уравнение тоже не имеет решений в целых числах.
Предположим противное – пусть существует такое целое что
Рассмотрим выражение Согласно теореме Безу, оно делится на
Значит и
делится на Так как уравнение не имеет решений в целых числах,
и а значит
С другой стороны, по теореме же Безу, значит
Такое возможно только если откуда либо
либо В первом случае и, так как получаем
что является решением уравнения что противоречит условию задачи. Теперь разберем второй случай. Ясно, что если
является решением уравнения то и тоже. Повторим рассуждение с самого начала, заменив в нем на
Получим, что Мы уже знаем, что один из способов раскрытия модуля приводит к
противорчию, поэтому выберем второй: Запишем рядом это уравнение и
уравнение выше
Мы получили, что – попарно различные числа, попарные разности которых совпадают. Такого, конечно, быть не может, по крайней мере потому, что разность между наименьшим и наибольшим числом строго больше, чем разность любых других двух чисел. Противоречие.
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что если множество простых делителей значений во всех целых точках конечно, что тождественно равен ненулевой константе.
Если у свободный коэффициент равен 0 , то и утверждение, очевидно, верное. В случае предположим противное, существует только конечное множество простых делителей чисел вида где — целое. Разложим на простые множители: ( могут равняться нулю). Рассмотрим последовательность и так далее до бесконечности. Ясно, что любого и не делится на поскольку его свободный член не делится на а все остальные делятся. Значит, степень вхождения в любое равна так как свободный член делится на На другие простые, по предположению, не делится. Это означает, что для любого
то есть принимает значение в бесконечном числе точек. Такое бывает только если равен константе что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Даны натуральные числа и такие, что Существует ли многочлен степени больше с коэффициентами из множества такой, что делится на
Легко видеть, что если то всякий многочлен с коэффициентами от 0 до является нулевым.
Пусть Представим в -ичной записи (иными словами, в системе счисления с основанием ): где Поскольку в этой записи
Покажем, что удовлетворяет условию. Действительно, по теореме Безу, для любого многочлена с целыми коэффициентами делится на Значит, делится на Но тогда и делится на
Существует при
Ошибка.
Попробуйте повторить позже
Обозначим через многочлен с целыми коэффициентами, для которого для некоторых натуральных и причём Докажите, что для некоторого
Представим исходный многочлен в виде
причем — натуральное число такое, что свободный коэффициент многочлена не равен Такое число существует, поскольку в противном случае многочлен
имеет вид а значит не имеет натурального корня что противоречит условию.
Пусть
По правилу знаков Декарта количество смен знаков в последовательности не меньше, чем количество положительных корней данного многочлена, то есть не меньше
Пусть в ряду произошла смена с положительного знака на отрицательный, тогда существует такое, что Тогда и искомый коэффициент найден.
В противном случае произошла ровна одна смена с отрицательного на положительный знак, следовательно Осталось заметить, что тогда
Ошибка.
Попробуйте повторить позже
Подсказка 1
Некоторые из пунктов решаются совсем просто. Стоит лишь вспомнить какие-то базовые свойства многочленов. Какие он может принимать значения, в каких точках определëн.
Подсказка 2
Давайте возьмëм выражение из любого пункта и приравняем к некоторому многочлену P(x). Попробуйте сделать какие-то тождественные преобразования, чтобы получить в левой и правой части многочлены. Что можно сказать про тождественно равные многочлены?
Если степень многочлена хотя бы , то при огромных положительных числах он будет принимать значения, большие по модулю, поскольку на положительных числах растёт линейно. Также ясно, что степень многочлена больше . То есть если такой многочлен существует, то он имеет вид . Но это выражение далеко не при всех неотрицательно, то есть функционального равенства с быть не может.
(b) Нет.
Предположим, что существует такой многочлен , что . Следовательно, . Ясно, что . В таком случае , а . То есть функционального равенства быть не может.
(c) Нет.
Предположим, что есть такой многочлен , тогда . Степень многочлена слева равна , а многочлена справа — . Отсюда получаем, что . Пусть . Из подстановки в равенство следует, что . Подстановка приведёт к равенствам , откуда . Но тогда , противоречие.
(d) Нет.
Это выражение не определено в , а любой многочлен в этой точке определён, значит функционального равенства с многочленом быть не может.
Во всех пунктах не существует
Ошибка.
Попробуйте повторить позже
Найдите остаток при делении многочлена на
Подсказка 1
Ясно, что этот остаток будет многочленом. Но каким? Какая у него может быть степень?
Подсказка 2
Степень остатка должна быть не больше степени делителя. То есть степень максимум 1. Значит, остаток имеет вид ax + b. Как это можно использовать?
Подсказка 3
Пусть H(x) - частное от деления, P(x) - изначальный многочлен, тогда получаем равенство P(x) = (x²-3x+2)H(x) + ax + b. Оно верно для всех x. Что можно с ним сделать, чтобы найти a и b?
Остатком будет многочлен степени или Запишем его в виде (если степень то обнулится). Тогда Подставим в это равенство и Получится система из уравнений и которая имеет решение и Следовательно, остаток имеет вид
Ошибка.
Попробуйте повторить позже
Найти все многочлены для которых верно
Подсказка 1
Если многочлены формально равны, то они имеют делятся на одни и те же одночлены. Подумайте, как это применить к задаче.
Подсказка 2
Давайте заметим, что многочлен слева делится на x, а, значит, и многочлен справа тоже делится. То есть P(x) делится на x. Попробуйте раскрутить задачу в этом направлении.
Левая часть делится на значит и правая делится. То есть делится на Правая часть делится на тогда и левая тоже делится, отсюда получаем, что многочлен имеет корень Следовательно, многочлен имеет корень Эти рассуждения позволяют записать в виде Само равенство превратится в Далее если проделать аналогичные манипуляции с делимостью на и то мы получим, что делится на Равенство же примет вид:
Покажем по индукции, что при после -го шага будет равенство тем более база уже доказана. Скобочки и друг на друга не делятся (поскольку мы не после шага). Следовательно, Если подставить это в равенство, получим переход.
Итак, на шаге мы получили равенство При оно верно, но необходимо, чтобы оно выполнялось и для других то есть на скобочку можно сократить. Значит, при всех (возможно кроме ). Получается, что многочлен может принимать одно и то же значение в бесконечном количестве точек, поскольку у него период Следовательно, — константа. Заметим, что подойдёт любая комплексная константа
Таким образом,
Ошибка.
Попробуйте повторить позже
Многочлены и с рациональными коэффициентами таковы, что в бесконечном множестве натуральных точек они оба принимают целые значения и при этом Докажите, что делится на как на многочлен.
Подсказка 1
Если многочлен P делится на Q в бесконечном количестве натуральных точек, есть смысл поделить P на Q с остатком.
Подсказка 2
Итак, вы поделили, получили равенство P(x) = H(x)Q(x) + R(x). Но дальше ничего не можете сделать, потому что мешают рациональные коэффициенты. На самом деле коэффициенты вообще не важны и их легко можно сделать целыми, умножив это равенство на некоторое число. Какое?
Подсказка 3
Обратите внимание на остаток R(x), что с ним происходит в точках, в которых P делится на Q?
Домножим каждый из многочленов и на НОК знаменателей их коэффициентов, от этого ничего не изменится. Теперь они целочисленные. Поделим многочлен на с остатком: . Из процесса деления ясно, что все коэффициенты и рациональные. Домножим равенство на НОК знаменателей коэффициентов и Получается, что при бесконечном количестве натуральных точек делится на Но следовательно при огромных натуральных числах многочлен по будет по абсолютному значению больше, чем Значит, делимость на в бесконечном количестве натуральных точек возможна лишь когда — тождественный ноль. Получили требуемое.
Ошибка.
Попробуйте повторить позже
Пусть — многочлен с целыми коэффициентами, причем для некоторого целого числа числа и делятся на Докажите, что тогда делится на для любого целого
Рассмотрим число при произвольном Среди чисел найдётся число, сравнимое с по модулю (пусть это ). Как известно, кратно Заметим, что и делится на Следовательно, также кратно трём, что и требовалось.
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами принимает значение при пяти различных целых значениях Докажите, что у него нет целых корней.
Предположим противное, пусть многочлен имеет целый корень а в точках и принимает значение Но тогда при всех имеем: кратно По условию все числа различны, то есть у пятёрки есть пять различных целых делителей, получили противоречие.
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами при некоторых целых принимает значения и Докажите, что существует не более одного целого при котором значение этого многочлена равно
Подсказка 1
Можно ли как-то оценить, насколько отличаются точки x₁, x₂ и x₃, в которых многочлен соответственно принимает значения 1, 2 и 3?
Подсказка 2
Верно! Поскольку наш многочлен целочисленный, то P(x₃) - P(x₂) = 1, поэтому 1 делится на x₃ - x₂. Аналогичное утверждение верно про x₂ и x₁. Выходит, что |x₃ - x₂| = |x₂ - x₁| = 1. Могут ли подмодульные выражения иметь разный знак?
Подсказка 3
Не могут, ведь тогда x₃ = x₁, что невозможно. Тогда получаем, что оба подмодульных выражения равны 1 или -1 (будем пока считать, что они равны 1). Предположим, что P(x₄) = 5. Как аналогичными рассуждениями связать точку x₄ с имеющимися точками?
Подсказка 4
Верно! Получим, что 2 делится на x₄ - x₃ и 3 делится на x₄ - x₂. Тогда 2 и 3 не меньше соответствующих выражений. А что получится, если x₄ - x₃ и x₄ - x₂ выразить через x₁?
Подсказка 5
Точно! Тогда получим, что 1 ≤ |x₄ - x₁ - 2| < |x₄ - x₁ - 1| ≤ 3. Как теперь применить делимость и выразить однозначно x₄ через x₁?
Пусть и Покажем, что точка выражается через и не более чем одним способом.
Многочлен целочисленный, поэтому кратно и кратно То есть Заметим, что если и противоположны, то но это невозможно. Следовательно, Пусть знак положительный (другой случай рассматривается аналогично).
Получается, что кратно и кратно Это позволяет построить следующую цепочку неравенств: То есть — это натуральное число, большее меньшее и кратное Значит, Этому равенству удовлетворяют два варианта: и
Осталось заметить, что во втором случае двойка должна делиться на Следовательно, единственный возможный вариант — Получили требуемое.