Je finis donc mon raisonnement
On a vu qu'il existe au moins un nombre

tel que f est constante sur

Soit

le plus grand nombre vérifiant cette propriété (il existe sinon f serait constante).
En particulier il existe une suite

, qui tend vers

et vérifie
\neq f(x_1))
On fixe d'abord un tel

On a pour tout

:
=f(y_n^2-\sqrt{y_n^2-x^2}))
On vérifie facilement que
On obtient alors pour tout

:
=f(x_1))
Le raisonnement précédent étant valable pour tout

on obtient par passage à la limite :
Pour tout

:
=f(x_1))
Ceci implique que sur un intervalle du type

f est constante (et est égale à
)
).
Cela contredit la définition de

et termine la preuve (que seules les fonctions constantes sont solutions).