Многочлены → .09 Интерполяция
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
На плоскости отмечены точек, их абсциссы различны, каждая из точек окрашена либо в красный, либо в синий цвет. Скажем, что
многочлен
разделяет эти точек, если либо выше графика
нет красных точек, а ниже — нет синих, либо наоборот; на самом
графике могут лежать точки обоих цветов. Докажите, что всегда можно построить разделяющий многочлен не выше
-й
степени.
Подсказка 1
Точки, лежащие на графике многочлена, не мешают разделению, вне зависимости от того, какой цвет и где он находится.
Подсказка 2
Значениями в скольких точках задаётся многочлен степени 2018?
Подсказка 3
Возьмите любые 2019 точек и постройте P(x) степени ≤ 2018, проходящий через них. Остаётся одна точка — что с ней делать?
Выберем любые точек и построим интерполяционный многочлен
степени не выше
проходящий через
них.
Так как проходит через
точек, то для них условие разделения выполнено автоматически (они лежат на
графике).
Рассмотрим последнюю, -ю точку. Её цвет определит, как именно многочлен
будет разделять точки:
- если точка красная, то договоримся, что красные должны лежать не выше графика
а синие — не ниже;
- если точка синяя, то наоборот: синие не выше, а красные не ниже.
Таким образом, построенный многочлен степени
разделяет все
точек.
Ошибка.
Попробуйте повторить позже
Пусть — попарно различные числа,
— какие-то числа. Докажите, что следующая система линейных уравнений имеет ровно одно
решение (в переменных
Подсказка 1.
Левые части в системе уж слишком похожи. Что же они напоминают?
Подсказка 2.
Эта система равносильна существованию такого многочлена степени не выше n, что его значение в каждом x равно соответствующему y. Знаем ли мы, как восстановить многочлен степени не выше n по n+1 точке?
Подсказка 3.
Вспомните интерполяционный многочлен Лагранжа. Как доказать, что он единственный?
Подсказка 4.
Рассмотрите разность двух потенциально подходящих многочленов.
Положим
и рассмотрим многочлен
Для получаем, что при подстановке
в него все слагаемые, кроме одного, обнулятся, а оставшееся слагаемое будет равно
Тогда в качестве
возьмём коэффициент при
Переход между системой и многочленом равносилен, а значит, требуется доказать, что такой многочлен степени не выше единственен.
Это так, ведь если существуют два таких многочлена степени не выше
то их разность имеет хотя бы
корень и степень не выше
чего быть не может.
Ошибка.
Попробуйте повторить позже
Докажите, что для любых различных ,
,
,
верно
Пункт a, подсказка 1.
Пытаясь подступиться к задаче, понимаем, что тождество очевидно при d=a, d=b и d=c. На какую мысль это наталкивает?
Пункт a, подсказка 2.
Если рассмотреть левую часть как уравнение относительно d, то оно квадратное, но имеет три различных точки, в которых принимается одно значение.
Пункт b, подсказка 1.
Попытаемся сделать что-то похожее, найдя такое же уравнение, как в пункте a, но кубическое.
Пункт b, подсказка 2.
Проведите аналогичные рассуждения и получите требуемое, рассмотрев значение в какой-то точке.
(a) Рассмотрим многочлен
Его степень не выше 2, а принимает значение 1 он в трёх различных точках
и
Тогда он тождественно равен 1. При
получаем требуемое.
(b) Рассмотрим многочлен
Его степень не выше 3, а принимает значение он в четырёх различных точках
и
Тогда он тождественно равен
При
получаем требуемое.
Ошибка.
Попробуйте повторить позже
Докажите тождество
Подсказка 1.
Домножим всё на знаменатель, чтобы слева получился многочлен степени n, а справа константа. Как можно доказать такое тождество?
Подсказка 2.
Можно попытаться найти n+1 точку, в которых выполняется равенство.
Подсказка 3.
Хочется их выбрать так, чтобы большинство слагаемых обнулялось.
Рассмотрим многочлен
где крышечка означает отсутствие скобки. При в точке
этот многочлен принимает значение
потому что все
слагаемые, кроме одного, обнуляются, а в последнем сокращается знаменатель из числа сочетаний.
Многочлен степени не выше принимает одинаковое значение в
различной точке, а значит, он тождественно равен
Деля
полученное равенство на
…
получаем требуемое тождество.
Ошибка.
Попробуйте повторить позже
Многочлен степени
таков, что
для всех
от
до
Найдите
Подсказка 1
Попробуйте «убрать» знаменатель k+1 умножением на (x+1) и вычесть 1, чтобы получить многочлен, обращающийся в 0 при x=0,1,…,n.
Подсказка 2
Пусть Q(x):=(x+1)P(x)−1. Нам известны его степень и его корни. Как он выглядит?
Подсказка 3
Q(x)=c·∏(x−j), j от 0 до n. Как найти константу c? Может, стоит подсчитать значение многочлена в какой-то точке, отличной от его корней?
Подсказка 4
Подставьте x=−1: Q(−1)=−1, а справа c·(−1)ⁿ⁺¹(n+1)!. Многочлен Q найден, а значит, и P тоже.
Рассмотрим многочлен
По условию для имеем
поэтому
Следовательно, делится на
и, так как
существует число
такое, что
Найдём константу Подставим
а, с другой стороны,
Отсюда
Следовательно,
Подставим теперь Получаем
Заметим, что
Следовательно
Ошибка.
Попробуйте повторить позже
Докажите, что если многочлен степени принимает целые значения в точках
…,
то он принимает целые значения во всех
квадратах целых чисел.
Подсказка 1
Мы знаем, что если многочлен степени ≤ n принимает целые значения в точках 0,…,n, то его значения во всех целых точках тоже будут целыми. Как свести нашу задачу к этой ситуации? Может, стоит рассмотреть новый многочлен, подставив что-нибудь в P?
Подсказка 2
Рассмотрите G(k):=P((k−n)²). Какая у него степень и что можно сказать о его целочисленности в точках 0,…,2n?
Рассмотрим многочлен от одной переменной
Поскольку степень
не превосходит
При
значения
пробегают квадраты целых чисел
а потому по условию
— целые числа.
Докажем стандартную лемму о целочисленности многочлена.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма. Пусть — многочлен степени
Если
— целые числа, то
для всех целых
Доказательство. Доопределим число сочетаний и для отрицательных чисел: пусть
при целых и
Это число при неотрицательном
— целое по комбинаторному определению числа сочетаний, а при
отрицательном
оно тоже целое, ведь
Тогда из теоремы Лагранжа об интерполяции
где крышечка означает отсутствие скобки. Из рассуждений выше понимаем, что каждое слагаемое — целое, а значит, в любой целой точке значение многочлена является целым.
_________________________________________________________________________________________________________________________________________________________________________________
Применяя лемму к (с
), получаем, что
для всех целых
В частности, для произвольного целого
имеем
Это и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Интерполяция по Ньютону. Докажите индукцией по что для попарно различных действительных чисел
…,
и любых действительных чисел
…,
существуют многочлен
такой, что для каждого
выполнено
База для очевидна, ведь можно взять
Докажем переход от
к
Требуется найти многочлен что для каждого
выполнено
По предположению индукции существует
многочлен
что для каждого
выполнено
Тогда возьмём
где
Тогда для каждого выполнено
ведь второе слагаемое в обнуляется. Проверим выполнение условия для
А значит, многочлен нам подходит, что и завершает переход индукции.
Ошибка.
Попробуйте повторить позже
(a) Заметим, что
где крышечка означает отсутствие скобки, подходит, ведь в значения числителя и знаменателя одинаковы и не равны 0, а в
остальных точках числитель обнуляется, а знаменатель нет.
(b) Возьмём
Он подходит, ведь в точке все слагаемые кроме
-ого обнуляются, а
-ое принимает значение
Его степень не выше
так как степень каждого слагаемого равна
(a) где крышечка означает отсутствие скобки.
Ошибка.
Попробуйте повторить позже
Докажите, что если многочлен в рациональных точках принимает рациональные значения, то и все его коэффициенты рациональные.
Пусть — многочлен из условия и его степень равна
Возьмём любую
рациональную точку и построим по ним
интерполяционный многочлен Лагранжа:
где крышечка означает отсутствие скобки. Так как все и
рациональны, то любой коэффицент
очевидно,
рационален.
Ошибка.
Попробуйте повторить позже
(a) Пусть — многочлен степени не выше
для которого
при
— другой многочлен, для которого
при
Тогда многочлен
является остатком от деления многочлена
на многочлен
(b) Пусть — натуральные числа. Верно ли, что обязательно существует квадратный трёхчлен с целыми коэффициентами,
который в некоторых целых точках принимает значения
(a) При любом разность этих многочленов обнуляется в
а значит, делится на
Пусть частное равно
тогда
а это мы и хотели доказать.
(b) Многочлен почти подходит, но нам нужен квадратный трёхчлен. Пользуясь идеей из пункта (a), получаем, что
многочлен
подходит, ведь коэффицент при сократится, а значения в этих точках не изменятся.
Ошибка.
Попробуйте повторить позже
Пусть
…,
— попарно различные числа, а
— многочлен степени меньше
Докажите, что дробь
можно представить в виде
где — некоторые числа.
Пусть для каждого
Запишем интерполяционный многочлен Лагранжа для
степени меньше
по точкам
…,
где крышечка означает отсутствие скобки. Тогда
Взяв в каждом слагаемом первую дробь в качестве получим требуемое представление.
Ошибка.
Попробуйте повторить позже
(a) Запишем интерполяционную формулу Лагранжа для многочлена в точках
и
и получим в точности выражение из
условия, а значит, это выражение равно
(b) Запишем интерполяционную формулу Лагранжа для многочлена в точках
и
Нетрудно увидеть из формулы, что выражение из условия является старшим коэффицентом этого многочлена. С другой стороны, он равен 1. Значит, выражение равно 1.
(c) Пусть а
— многочлен степени не выше 2, который в точках
принимает значения
соответственно. Запишем интерполяционную формулу Лагранжа для
Тогда нам требуется доказать, что старший коэффицент является целым.
Так как разность обнуляется в точках
и
то она делится на
Степень не больше 2, тогда
является остатком от деления
на
Но в процессе деления в столбик на
мы получаем в частном только целые коэффиценты при степенях, что следует из
приведенности
Теперь
и частное — многочлены с целыми коэффицентами, а значит, и
имеет целые
коэффиценты, что и доказывает требуемое.
Ошибка.
Попробуйте повторить позже
(a) Рассмотрим многочлен
У него старший коэффицент не является целым при В точке 0 он равен
а в точках 1, 2, …,
он обнуляется. Значит, он
нам подходит.
(b) Пусть для
Запишем интерполяционный многочлен Лагранжа для
степени
в точках 0, 1, …,
где крышечка означает отсутствие скобки. Тогда
— многочлен с целыми коэффицентами.
(c) Доопределим число сочетаний и для отрицательных чисел: пусть
при целых и
Это число при неотрицательном
— целое по комбинаторному определению числа сочетаний, а при
отрицательном
оно тоже целое, ведь
Из пункта (b):
Из рассуждений выше понимаем, что каждое слагаемое — целое, а значит, в любой целой точке значение многочлена является целым.
(a) Например,
Ошибка.
Попробуйте повторить позже
(a) Пусть
и
Тогда
Коэффицент при равен 0, а при
равен
Значит,
и
Докажем индукцией по что такой многочлен
существует и единственен с точностью до прибавления константы. База для
очевидна, докажем переход от
к
Так как
мы уже нашли, то пусть
По предположению индукции (так как степень не больше
) существует многочлен
что
Но тогда возьмём
и получим, что
Значит, такой многочлен существует. Теперь докажем его единcтвенность с точностью до прибавления константы.
Пусть
тогда
где Тогда
Пусть
Многочлен однозначно восстанавливается по
Но тогда по предположению индукции
однозначно
восстанавливается с точностью до прибавления константы, откуда и следует единcтвенность
с точностью до прибавления
константы.
(b) Условие равносильно тому, что и
Как мы поняли из пункта (a), многочлен удовлетворяющий второму условию, существует и единственен с точностью до
прибавления константы, тогда сдвинем его на константу так, что
Также мы ранее уже доказывали, что его степень равна
Ошибка.
Попробуйте повторить позже
Пусть — приведённый многочлен степени
Ильнур посчитал его значения в
различных целых точках. Докажите, что одно
из полученных Ильнуром чисел по модулю хотя бы
Подсказка 1
Вспомните интерполяционную формулу Лагранжа: P(x)=∑ P(xᵢ)·ℓᵢ(x), где ℓᵢ(x)=∏ (x−xⱼ)/(xᵢ−xⱼ) по всем j≠i. Посмотрите именно на старшие коэффициенты этих ℓᵢ(x).
Подсказка 2
У приведённого P старший коэффициент равен 1. В сумме он получается как ∑ P(xᵢ)/(∏(xᵢ−xⱼ) по всем j≠i). Значит, эта сумма равна 1. Какие оценки можно применить, если мы хотим оценить max|P(xᵢ)|?
Подсказка 3
Пусть S:=∑ 1/(∏|xᵢ−xⱼ| по всем j≠i). Тогда maxᵢ|P(xᵢ)| ≥ 1/S.
Подсказка 4
Чтобы оценить S, вспомните, что все xᵢ целые. Что тогда можно сказать про их разности?
Подсказка 5
Упорядочив xᵢ по возрастанию, получим, что |xᵢ−xⱼ| ≥ |i−j|. Тогда каждое слагаемое в S можно оценить сверху.
Подсказка 6
Тогда ∏|xᵢ−xⱼ| по всем j≠i не меньше, чем i!·(n−i)!; теперь в оценке далее можно собрать биномиальный коэффициент.
Рассмотрим интерполяционную формулу Лагранжа для на узлах
Сравним коэффициенты при в обеих частях. Поскольку
приведённый, коэффициент при
слева равен
У базисного
многочлена
старший коэффициент равен
Следовательно,
(1) |
Переходя к модулям и применяя неравенство треугольника, получаем
Обозначим
Тогда
(2) |
Оценим сверху, используя лишь то, что
— попарно различные целые. Без ограничения общности упорядочим их по возрастанию:
Тогда для любого фиксированного
и каждого
выполнено неравенство
поскольку между и
лежит не менее
целых точек и шаг по целым не меньше
Следовательно,
Тем самым
Подставляя это в неравенство для максимума, получаем желаемую оценку
Ошибка.
Попробуйте повторить позже
Найдите в замкнутом виде значение выражения
Подсказка 1
Обратите внимание, в знаменателе стоят разности вида 2ᵏ − 2ʲ, это очень похоже на базисы интерполяционной формулы Лагранжа.
Подсказка 2
Подумайте чему равен коэффициент при старшей степени в интерполяционном многочлене, если мы знаем его значения в точках xᵢ = 2ⁱ?
Подсказка 3
Попробуйте построить многочлен P(x), который в точке x = 2ᵏ принимает значение (2ᵏ − 3¹)(2ᵏ − 3²)…(2ᵏ − 3¹⁰⁰⁰). Тогда сумма в условии как раз равна старшему коэффициенту интерполяционного многочлена по этим данным.
Подсказка 4
Попробуйте догадаться, какой именно многочлен, степени 999 подойдёт для всех точек сразу. Если бы степень равнялась 1000, подошел бы (x − 3¹)(x − 3²)…(x − 3¹⁰⁰⁰)?
Определим точек на координатной плоскости следующим образом:
Тогда по теореме об интерполяционном многочлене Лагранжа требуемое выражение — старший коэффициент многочлена степени не
выше график которого проходит через все точки
Как известно, существует лишь один такой многочлен. Значит, осталась его
угадать и посчитать старший коэффициент. Заметим, что многочлен
подходит. Его коэффициент при старшей степени равен