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
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 :
et
en combinant ces deux équations on aboutit à
c'est à dire à
et donc à
supposons (par l'absurde) que
l'encadré bleu donne alors
et donc
ce qui est absurde.
On conclut alors dans ce cas que
.
à suivre