функциональное_уравнение - Существует ли функция?

Вот условие задачи, предлагавшейся на олимпиаде.

Функция $%f(x)$% на промежутке $%[2,\infty)$% задана формулой $$ f(x)=\left(\frac{x+\sqrt{x^2-4}}2\right)^{\sqrt{2}}+\left(\frac{x-\sqrt{x^2-4}}2\right)^{\sqrt{2}}. $$ Доказать, что $%f(f(x))=x^2-2$% для всех $%x\ge2$%.

Решение. Положим $%t=(x+\sqrt{x^2-4})/2$%. Очевидно, что $%t\ge1$% при $%x\ge2$%, и $$ \frac1t=\frac2{x+\sqrt{x^2-4}}=\frac{2(x-\sqrt{x^2-4})}{(x+\sqrt{x^2-4})(x-\sqrt{x^2-4})}=\frac{x-\sqrt{x^2-4}}2. $$ При этом $%x=t+1/t$%, и $%f(t+1/t)=t^{\sqrt2}+1/t^{\sqrt2}$%. Это равенство справедливо при всех $%t\ge1$%, так как для любого $%x\ge2$% можно составить уравнение $%t+1/t=x$% и решить его относительно $%t$%, что приводит к тому выражению $%t$% через $%x$%, с которого начиналось рассуждение.

Отсюда $%f(f(x))$% равно $$ f\left(f\left(t+\frac1t\right)\right)=f\left(t^{\sqrt2}+\frac1{t^{\sqrt2}}\right)= (t^{\sqrt2})^{\sqrt2}+\frac1{(t^{\sqrt2})^{\sqrt2}}=t^2+\frac1{t^2}=\left(t+\frac1t\right)^2-2, $$ а это и есть $%x^2-2$%.

Добавление. Можно продолжить функцию на отрезок $%[0;2]$% следующим образом. Пусть $%x\in[0;2]$%. Положим $%t=\arccos\frac{x}2$%; тогда $%2\cos t=x$%. Определим функцию как $%f(x)=f(2\cos t)=2\cos(\sqrt2t)$%. Тогда $%f(f(x))=f(2\cos(\sqrt2t))=2\cos2t=4\cos^2t-2=x^2-2$%.

Графики обеих функций склеиваются в точке $%(2;2)$%, и получается непрерывная функция. Она продолжается по чётности на отрицательную полуось, что даёт функцию из $%\mathbb R$% в $%\mathbb R$%. Итоговая функция будет непрерывной, но она не дифференцируема в нуле. В точке $%x=2$% левая и правая производная равны 2, и там дифференцируемость имеет место.