Многочлены с целыми коэффициентами и теорема Безу
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Даны натуральные числа и
такие, что
Существует ли многочлен
степени больше
с коэффициентами из множества
такой, что
делится на
Подсказка 1:
Как известно, для целочисленного многочлена P выражение P(a) − P(b) кратно a − b. Если подобрать такой многочлен P, что P(b) = a − b, задача будет решена.
Подсказка 2:
Как насчёт того, чтобы рассмотреть a − b в системе счисления с основанием b?
Легко видеть, что если то всякий многочлен с коэффициентами от 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₁?
Пусть и
Покажем, что точка
выражается через
и
не более чем одним
способом.
Многочлен целочисленный, поэтому кратно
и
кратно
То есть
Заметим, что если
и
противоположны, то
но это невозможно. Следовательно,
Пусть знак положительный (другой случай рассматривается аналогично).
Получается, что кратно
и
кратно
Это позволяет
построить следующую цепочку неравенств:
То есть
— это натуральное число, большее
меньшее
и кратное
Значит,
Этому равенству удовлетворяют два варианта:
и
Осталось заметить, что во втором случае двойка должна делиться на Следовательно, единственный
возможный вариант —
Получили требуемое.
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами удовлетворяет условию
. Найти наименьшее возможное при этих
условиях значение
.
Источники:
Подсказка 1
Давайте рассмотрим многочлен Q(x) такой, что Q(x) = P(x) – 2023. Следовательно, положительное число P(0) равно Q(0) + 2023. В виде произведения каких чисел можно представить Q(0)?
Подсказка 2
Q(17)=Q(23)=0, значит, числа 17 и 23 являются корнями многочлена Q(x), тогда по теореме Безу его можно разложить как (x-17)(x-23)R(x), где R(x) – многочлен с целыми коэффициентами. Мы знаем, что P(0) > 0, тогда что можно сказать про R(0)?
Подсказка 3
Подставим: P(0) = 17*23*R(0) + 2023. Значит, R(0) будет больше -2023/(17*23). Но R(x) – многочлен с целыми коэффициентами, значит, R(0) – это целое число. Какое минимальное значение может принимать R(0) и какое минимальное значение в таком случае будет иметь P(0)?
Пусть тогда
следовательно, по теореме Безу,
делится на
и на
Таким
образом, имеет место представление
— некоторый многочлен с целыми коэффициентами. Тогда
Поскольку получаем
Например, это минимум реализуется при
Замечание. На самом деле в качестве можно взять любой многочлен с целыми коэффициентами, такой что
Ошибка.
Попробуйте повторить позже
Назовём многочлен бицелозначим, если числа
и
целые при любом целом
Пусть
— бицелозначный
многочлен степени
и пусть
— произведение всех составных чисел, не превосходящих
(произведение пустого множества
сомножителей считаем равным 1). Докажите, что старший коэффициент многочлена
— целый.
Многочлен называется целозначным, если
— целое число при любом целом
Нам надо доказать, что, если
многочлены
и
целозначны, причём степень
равна
то старший коэффициент многочлена
—
целый.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма. Пусть — целозначный многочлен степени
Тогда все коэффициенты многочлена
целые.
Доказательство. Рассмотрим многочлен
Его степень не больше и его значения совпадают с соответствующими значениями
в точках
Это означает,
что многочлен
имеет степень не выше
а также обнуляется в
точке. Поэтому он нулевой, то есть
(Формула выше — это частный случай интерполяционной формулы Лагранжа.)
Осталось заметить, что в формуле выше в -м слагаемом знаменатель равен
это число делит
поскольку
Значит, при умножении каждого слагаемого на получается многочлен с целыми коэффициентами.
_________________________________________________________________________________________________________________________________________________________________________________
Перейдём к решению задачи. Индукция по База при
тривиальна. Для перехода индукции рассмотрим бицелозначный
многочлен
степени
пусть его старший коэффициент равен
Если не является простым числом, то
Заметим, что многочлен также бицелозначный, имеет степень
и старший коэффициент
По
предположению индукции, число
является целым, что и требовалось доказать.
Пусть теперь — простое число; тогда
и то же рассуждение даёт, что число является целым. Предположим, что
— нецелое число; тогда знаменатель числа
(в
несократимой записи) делится на простое число
Заметим, что сумма всех коэффициентов многочлена — это целое число
Поскольку знаменатель числа
делится на
среди коэффициентов многочлена
найдётся ещё один, у которого знаменатель делится на
пусть это коэффициент
при
Заметим, что
так как число
целое.
Но тогда у целозначного многочлена коэффициент при
равен
и также имеет знаменатель, кратный
Поскольку
— простое число, отсюда вытекает, что коэффициент при
у многочлена
нецелый, что противоречит
лемме.
Ошибка.
Попробуйте повторить позже
Дан многочлен степени с целыми коэффициентами и со старшим коэффициентом
Какое наибольшее число корней он может иметь
на интервале
Источники:
Подсказка 1
Давайте проверим, а могут ли все 2022 корня быть на интервале от 0 до 1?
Подсказка 2
Верно, не могут! Так как, по теореме Виета произведение всех корней равно свободному члену(ведь старший коэффициент равен 0), тогда следующее предположение это 2021 корень! Для этого, давайте рассмотрим какой-то вспомогательный многочлен такой же степени, что и у исходного и также, будем считать, что 0 не является корнем.
Подсказка 3
Пусть P(x) - исходный многочлен, тогда рассмотрим Q(x) = xⁿ * P(1/x). Заметим, что коэффициенты этого многочлена - это в точности коэффициенты P(x), но записанные в обратном порядке. Тогда какую связь можно заметить между корнями многочленов P(x) и Q(x)?
Подсказка 4
Верно, каждому корню P(x) на интервале от 0 до 1 соответствует ровно один корень Q(x) на луче от 1 до бесконечности! Попробуем подобрать Q(x) такой, что все его корни больше 1 и их ровно 2021(помните, что это многочлен с целыми коэффициентами)
Подсказка 5
Да, достаточно взять любой многочлен вида: 1 + x*(x-k)*(x-2k)*...*(x-k*(n-1)), где в качестве k достаточно взять любое натуральное число большее 1. То есть, мы нашли многочлен с целыми коэффициентами у которого 2021 корень, каждый из которых больше единицы. Тогда, если по многочлену Q восстановить P, то мы как раз получим многочлен, у которого 2021 корень на интервале от 0 до 1!
Если многочлен имеет
корней на интервале
то значение их произведения, по теореме Виета равное свободному члену,
также будет лежать на интервале
что противоречит условию, что все коэффициенты многочлена
— целые. Таким образом,
многочлен
имеет не более
корней на интервале
Покажем теперь, как построить многочлен, удовлетворяющий условию задачи и имеющий ровно корень на интервале
Будем считать, что
Рассмотрим многочлен
Это многочлен степени
с целыми коэффициентами и
свободным членом, равным 1 (его коэффициенты — это коэффициенты многочлена
выстроенные в обратном порядке). Каждому корню
многочлена
лежащему на интервале
соответствует корень
многочлена
лежащий на луче
Верно и
обратное: каждому корню многочлена
, лежащему на луче
соответствует корень многочлена
который лежит на интервале
Рассмотрим многочлен
Поскольку
в рассмотренных точках многочлен
принимает значения чередующихся знаков, поэтому он имеет
корень на луче
Эти корни расположены на интервалах
Следовательно, соответствующий
построенному многочлену
многочлен
имеет ровно
корень на интервале
Ошибка.
Попробуйте повторить позже
Пусть где
— натуральное число. Известно, что числа
— целые, при этом
при всех
и
Докажите, что число
делится на квадрат некоторого
натурального числа, большего
Подсказка 1:
Понятно, что константа здесь взята с неба (так как коэффициенты могут быть любыми числами). Поэтому опираться на 2022 не нужно. Будем доказывать задачу в общем виде, то есть, что P(x) делится на квадрат некоторого целого числа при любом целом x (c ограничением > 1 разберёмся позже).
Подсказка 2:
То есть хотим доказать, что P(x) = Н(х)Q(x)², где Q(x), H(x) ∈ ℤ[x]. Подумаем, какая степень может быть у Q(x)?
Подсказка 3:
В теории, конечно, любая, только вот как доказывать? Доказывать делимость на квадратный трёхчлен уже не самая простая задача, а что говорить про большие степени? Поэтому стоит начать с многочлена Q(x), равного линейной функции, а если не сработает, то придётся страдать...
Подсказка 4:
Хотим доказать, что P(x) делиться на многочлен (x − с)², где с ∈ ℤ. Сейчас Вам предстоит запомнить идею. То, что мы хотим доказать, равносильно тому, что P(x + c) делится на x² (осознайте самостоятельно, чтоб получить удовольствие от задачи). А делимость на x² гораздо более простой в доказательстве факт, чем делимость на другую квадратичную функцию. Как же его доказать?
Подсказка 5:
Введём обозначения для красоты и удобства. Пусть t = x − c, а также R(t) = P(t + c). Хотим доказать, что P(t + с) делится на t², то есть, что R(t) делится на t². Что это значит?
Подсказка 6:
Что у R(t) должны быть нулевыми свободный коэффициент и коэффициент при t. Начнём со свободного. Как изящно получить свободный коэффициент с помощью R(t)?
Подсказка 7:
Подставить 0! R(0) — и есть свободный коэффициент. То есть хотим доказать, что aₙcⁿ + aₙ₋₁cⁿ⁻¹ + ... + a₁c + a₀ = 0, однако по условию мы знаем, что aₙ + aₙ₋₁ + ... + a₁ + a₀ = 0. На какие мысли о "с" это наталкивает?
Подсказка 8:
Разумеется, что нужно взять с = 1, тогда мы сразу докажем, что свободный коэффициент нулевой. Остаётся разобраться с коэффициентом перед t. Его уже простой подстановкой не узнать, придётся считать честно...
Подсказка 9:
Но и это не беда! R(t) = aₙ(t + 1)ⁿ + aₙ₋₁(t + 1)ⁿ⁻¹ + ... + a₁(t+1) + a₀ = 0. Вспомним про бином Ньютона и поймём, что коэффициент при t это naₙ + (n − 1)aₙ₋₁ + ... + a₁. Хотим доказать, что это выражение равно 0. Пока что непонятно, как это делать, но ведь мы ещё никак не воспользовались условием про симметричность коэффициентов...
Подсказка 10:
naₙ + (n − 1)aₙ₋₁ + ... + a₁ = 0 равносильно тому, что aₙ₋₁ + 2aₙ₋₂ ... + (n − 1)a₁ + na₀ (в силу симметрии). Очень уж красиво дополняют друг друга эти выражения, которые численно равны. Причём мы хотим, чтоб они численно были равны 0. Может быть, их тогда стоит сложить?... А изначальное ограничение на 1 разрешится само собой) Дальше мы замолкаем. Успехов!
Достаточно доказать утверждение: многочлен делится на
Действительно, после деления (например, столбиком), в частном
получится многочлен
с целыми коэффициентами, и тогда равенство многочленов
влечет равенство
из которого следует утверждение задачи, поскольку
— целое число.
Для доказательства утверждения сделаем замену положим
и
докажем, что
делится на
т.е. что последние два коэффициента многочлена
равны
Свободный член многочлена равен
Поскольку в многочлене
коэффициент при
равен
коэффициент при
многочлена
равен
Из условий
следует, что удвоенный коэффициент при
равен
Тем самым, задача
решена.
Ошибка.
Попробуйте повторить позже
Все значения унитарного (то есть с коэффициентом при старшей степени) целочисленного многочлена в целых точках — точные
квадраты. Докажите, что сам многочлен представим как квадрат некоторого многочлена.
Подсказка 1
Воспользуемся методом, который часто используется при решении функциональных уравнений. Пусть дано некоторое уравнение относительно f(x). Если мы предполагаем, что единственным решением является данная (конкретная) функция g(x), то полезно сделать замену f(x)=g(x)+h(x), для некоторой функции h(x). Таким образом, вместо того, чтобы доказывать, что f(x)=g(x), что бывает достаточно сложно для произвольной данной функции g(x), мы хотим показать, что h(x)=0, это часто бывает проще. Как этим принципом можно воспользоваться в рамках нашей задачи?
Подсказка 2
Пусть P(x) — исходный многочлен. Мы хотим показать, что P(x)=Q²(x) для некоторого многочлена Q(x). Давайте положим P(x)=Q²(x)+H(x) для некоторых многочленов Q(x) и H(x). Ясно, что такая пара многочленов (Q, H) задается не единственным образом, и даже если P(x) действительно является квадратом некоторого многочлена, то существуют пары многочленов (Q, H), такие что P(x)=Q²(x)+H(x), где H(x)≠0. Какие дополнительные условия можно наложить на Q(x) так, в случае, если P(x) являлся квадратом, то равенство P(x)=Q²(x)+H(x) было бы возможно только при H(x)=0?
Подсказка 3
Мы хотим, чтобы Q²(x) как можно сильнее совпадал с P(x), это можно обеспечить, если у нас получится сохранить равенство коэффициентов. Равенство скольки первых коэффициентов Q²(x) и P(x) мы можем гарантированно обеспечить?
Подсказка 4
Пусть 2n — степень многочлена P(x). Несложно показать, что мы можем обеспечить равенство первых n коэффициентов Q²(x) и P(x). Что можно сказать о степени многочлена H(x) в этом случае?
Подсказка 5
Степень H(x) не превосходит n-1, причем все коэффициенты Q(x) являются рациональными в силу целочисленности коэффициентов P(x), следовательно, то же верно для многочлена H(x). Предположим, что степень H(x) выше 0.
Нам известно, что Q²(x)+H(x)=P(x)=m², при некотором целом m для каждого целого значения x. Как можно оценить m через значения многочлена при достаточно больших n?
Подсказка 6
Посчитаем НОК всех знаменателей Q и H и домножим на его квадрат. Равенство будет иметь тот же вид, только Q и H будут целочисленными. При достаточно больших целых x многочлен H(x) будет либо принимать огромные по модулю положительные, либо отрицательные значения (не умаляя общности, пусть положительные), поскольку его степень больше 0. В таком случае при бесконечном количестве огромных целых x многочлен H принимает положительные значения, то есть m²>Q²(x). Отсюда следует, что в силу целочисленности многочлена Q справедливо неравенство m²≥(Q(x)+ 1)². Что это говорит о значениях P(x) и Q(x) при достаточно больших x?
Подсказка 7
При достаточно больших x верно, что H(x)=m²-Q²(x)≥(Q (x)+ 1)²-Q²(x)=2Q(x)+1. Возможно ли это?
Подсказка 8
Нет, поскольку степень многочлена H(x) меньше 2Q(x)+1. Тем самым мы показали, что степень многочлена H(x) равна 0. Таким образом, он равен константе. Осталось показать, что тогда он равен 0.
Пусть многочлен во всех целых точках равен точному квадрату. Подберём такие
многочлены
и
что
и
имеет коэффициенты
при
(это будет
означать, что
).
Пусть тогда коэффициент
при
равен
то есть необходимо взять
Пусть теперь мы смогли подобрать коэффициенты Это означает, что мы уже получили нужные коэффициенты
перед
у многочлена
Ясно, что одночлен
можно получить так:
где первый множитель из первой скобки, а второй — из второй. Следовательно, коэффициент при у многочлена
равен
где
Таким образом, можно взять
Значит, такой
многочлен
получится подобрать, равно как и многочлен
Из условия следует, что уравнение имеет бесконечно много целочисленных решений. Из приведённого выше подсчёта
ясно, что коэффициенты
и
рациональные. Посчитаем НОК всех знаменателей
и
и домножим на его квадрат. Равенство
будет иметь тот же вид, только
и
будут целочисленными. При огромных целых
многочлен
будет либо
принимать огромные по модулю положительные, либо отрицательные значения (не умаляя общности, пусть положительные). В
таком случае при бесконечном количестве огромных целых
многочлен
принимает положительные значения, то есть
Отсюда следует, что в силу целочисленности многочлена
справедливо неравенство
Таким
образом,
при бесконечном количестве целых Но такого не может быть, поскольку
Пришли к
противоречию.
Значит, многочлен не может принимать огромные положительные или отрицательные значения в бесконечном количестве точек.
Отсюда получаем, что
равен константе. Предположим, что константа ненулевая (пусть, не умаляя общности, она положительна). В
таком случае равенство
имеет бесконечно много решений, но ясно, что любое натуральное число представляется в виде
разности квадратов конечным числом способов. Следовательно,
— тождественный
откуда
что и
требовалось.
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами принимает значение при пяти различных целых значениях
Докажите, что у него нет целых
корней.
Предположим обратное. Пусть а
где
Тогда мы знаем, что если
многочлен
с целыми коэффициентами, то для любых различных целых
и
верно, что
Тогда получаем, что
и т.д. То есть
Но все числа справа различны, а у
есть только
целых делителя. Противоречие, значит целых корней у данного многочлена нет.
Ошибка.
Попробуйте повторить позже
Незнайка решал уравнение, в левой части которого стоял многочлен третьей степени с целыми коэффициентами, а в правой — 0. Он нашёл
корень . Знайка, заглянув к нему в тетрадь, увидел только первые два слагаемых многочлена:
и сразу сказал, что ответ
неверен. Обоснуйте ответ Знайки.
Пусть у нас было уравнение . Мы знаем, что
корень. Подставим его. Тогда
. Справа
целое число, а левое нет. Нашли противоречие.
Ошибка.
Попробуйте повторить позже
Дан многочлен с целыми коэффициентами. Если в него вместо неизвестного подставить 2 или 3, то получаются числа, кратные 6. Докажите, что если вместо неизвестного в него подставить 5, то также получится число, кратное 6.
Заметим, что так как коэффициенты целые, то . Значит
, поэтому
. Аналогично,
.
Ошибка.
Попробуйте повторить позже
Петя написал в своей тетради многочлен с целыми коэффициентами и предложил Васе угадать его степень. Вася задал Пете два
вопроса: «Чему равно значение многочлена при
?» и «Чему равен остаток от деления многочлена на
, где
– его
степень?». Получив ответы
и
соответственно, Вася уверенно назвал степень многочлена. Как он это сделал? Какова степень
многочлена?
Источники:
Подсказка 1
Из первого условия получаем, что P(-3) = 1. Но как можно использовать второе условие? Попробуйте записать его с помощью теоремы Безу и подставить в полученное уравнение такое значение x, чтобы P(x) был равен какому-то конкретному значению.
Подсказка 2
Отлично! Мы получили, что P(x) = (x-n)Q(x) + 6. А это значит, что P(n) = 6. Тогда мы знаем, что P(-3) = 1, а P(n) = 6. Попробуйте воспользоваться теоремой Безу для целочисленных многочленов.
Первое условие можно написать в виде , для второго получим
для некоторого многочлена
.
Подставляя
, имеем
. Воспользуемся теоремой Безу
Поскольку , то
(иначе
отрицательно), откуда
Ошибка.
Попробуйте повторить позже
Многочлен с целыми коэффициентами при
принимает значение
, а при
его значение равно
. Известно, что
уравнение
имеет целое решение. Найти это решение.
Источники:
Подсказка 1
Итак, по условию мы имеем, что P(2) = 3, P(4) = 1 и наш многочлен с целыми коэффициентами. А также при каком-то целом n получаем: P(n) = n-1. Тогда удобно применить теорему Безу для целочисленных многочленов. Что мы можем после этого сказать про n?
Подсказка 2
Отлично! Мы получили, что n-2 делится на n-4 и n-4 делится на n-2. Постойте, но когда такое возможно, что и x кратно y, и y кратно x?
Заметим, что делится на
, что возможно только при
. При этом по аналогичным соображениям
делится на
. При
выполнены неравенства
, поэтому
. Далее
несложным перебором получаем, что делимость возможна только при
. Вспомнив первое условие, понимаем, что возможен только
один вариант
.
Ошибка.
Попробуйте повторить позже
Дан многочлен
Можно ли, переставив коэффициенты, получить многочлен
такой что для всех натуральных чисел разность
не кратна
Подсказка 1
Вспомним свойство о том, F(b) - F(a) делится на b - a для многочленов с целыми коэффициентами. Как можно его применить?
Подсказка 2
Заметим, что F(1) = G(1). А, что если подставить 101 в многочлены?
Подсказка 3
Верно! Получится, что F(101) - F(1) делится на 100 и G(101) - G(1) делится на 100. Что получится, если теперь рассмотреть разность этих выражений?
Предположим противное и пусть такой многочлен существует. Будем пользоваться следующей известной леммой: если
—
многочлен с целыми коэффициентами, то для любых целых
и
число
делится на
Тогда числа
и
делятся на
а тогда на
делится и их разность:
Осталось заметить, что то есть
делится на
Противоречие.
Нельзя