
Commençons par remarquer que les deux fonctions

sont bien des solutions.
De l'équation fonctionnelle :
on voit bien que

s'annule (au moins une fois) sur

, il suffit en effet de prendre
)
ou
et ainsi l'ensemble
=0\right\}})
est non vide et en plus on a
et donc

est réduit à un singleton. On distingue
deux cas :

(c'est à dire que

ne s'annule qu'en

).

En prenant dans l'encadré bleu successivement
)
et
)
on a :
)^2+xf(-f(x))=0})
et
en combinant ces deux équations on aboutit à
c'est à dire à
)^2-x^2\right)^2=0})
et donc à
supposons (par l'absurde) que
l'encadré bleu donne alors
^2)=x^2-y^2})
et donc
^2})
ce qui est absurde.
On conclut alors dans ce cas que

.

à suivre