Пусть
а) Докажите, что если при всех
то
при всех
б) Докажите, что из того, что при всех
не следует, что
при всех
в) Пусть
Докажите, что если
при всех
то
где
при всех
а) В этой задаче, абсолютно очевидной с точки зрения «высшей» математики (рассмотрите интерполяционный многочлен Лагранжа), потребовались некоторые ухищрения для поиска ее решения, не требующего введения новых понятий. Запишем многочлен в виде
Очевидно, что достаточно доказать рациональность всех коэффициентов ci, Подставляя в выписанное разложение последовательно числа
получим систему равенств
то из условия рациональности значений для
следует рациональность коэффициентов ck (ср. далее с решением пункта в)).
б) Пример:
в) Заметим прежде всего, что многочлены обладают следующими свойствами:
Последнее свойство достаточно проверить для Оно очевидно, поскольку
Далее, для того, чтобы доказать совпадение многочленов степени n, достаточно показать, что совпадают их значения в точке. Поэтому достаточно доказать, что существуют такие
что
при
Рассуждение поведем по индукции. База очевидна, поскольку Предположим, что числа
являются целыми. Подставив
в равенство
и воспользовавшись отмеченными свойствами многочленов
получим, что
откуда и следует целочисленность коэффициента bk.

