Преобразуем: . Сделаем замену: (полином имеет значение в любой точке), тогда: . Отсюда: , поскольку . Пусть обозначает примененную раз композицию функции с самой собой. Аналогичным образом связана функция с функцией . Продолжая вышеуказанные подстановки, приходим к равенству . Теперь: , поскольку (здесь ). Но , значит, , но старший коэффициент положителен, откуда . Пусть старший коэффициент равен . Предположим, что . Посчитаем старший коэффициент слева: , где — степень многочлена . Старший коэффициент справа равен старшему коэффициенту и равен . Приравниваем: (поскольку ). В частности, .
Заметим, что старший коэффициент равен (в этом несложно убедиться). Тогда , но такого натурального нет. Стало быть, , то есть константа. Пусть : .
Преобразуем:
. Сделаем замену:
(полином имеет значение в любой точке), тогда:
. Отсюда:
, поскольку
. Пусть
обозначает примененную
раз композицию функции
с самой собой. Аналогичным образом связана функция
с функцией
. Продолжая вышеуказанные подстановки, приходим к равенству
. Теперь:
, поскольку
(здесь
). Но
, значит,
, но старший коэффициент
положителен, откуда
. Пусть старший коэффициент
равен
. Предположим, что
. Посчитаем старший коэффициент слева:
, где
— степень многочлена
. Старший коэффициент справа равен старшему коэффициенту
и равен
. Приравниваем:
(поскольку
). В частности,
.
Заметим, что старший коэффициент
равен
(в этом несложно убедиться). Тогда
, но такого натурального
нет. Стало быть,
, то есть
константа. Пусть
:
.