une justification approximative
On a f([0;1])=[a;b]
Posons que f
-1(a)=A. Si A n'a pas un nombre pair d'éléments c'est fini.
Il est facile de voir que l'on doit alors avoir f(0)=f(1) sinon en passant par une de ses valeurs on a un nombre impair de fois cette valeur.
Ensuite on considère deux valeurs consécutives x_0 et x_1 solutions de f(x)=f(0).
Puis on recommence le même raisonnement sur [x_0;x_1] comme f ne prend qu'un nombre fini de fois la valeur f(0) on ne peut pas continuer indéfiniment.
Il y a donc un intervalle [u;v]

[0;1] tel que f(u)=f(v) et f(x)

f(u)

x dans [u;v] (ou f(x)

f(u)

x dans [u;v] )
Il me semble que la conclusion est proche...