http://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_la_bijection
En gros, on applique d'abord le Théorème des Valeurs Intermédiaires (le TVI) pour montrer qu'il existe au moins une solution
Puis si f est strictement monotone, alors la solution est unique. Ce dernier point est le théorème de la bijection.