- Optimalité de la constante √5.
Prenons
avec
et
. Si
, alors, on souhaite avoir
. En arrangeant les termes et en élevant au carré, on trouve
.Si l'on considère
comme un polynôme en
, on a
, mais, comme
et
sont entiers, ce n'est pas possible. Idem pour
. Donc
.
,soit encore
, ce qui donne un nombre fini de solutions pour
. Comme
doit vérifier l'inégalité citée dans l'énoncé du théorème, cela donne un nombre fini de nombres rationnels solutions.
- Démonstration du théorème proprement dit.
Considérons une suite de Farey d'ordre N, avec
et
deux termes consécutifs tels que
. On peut vérifier que :
- soit
![{\displaystyle b'>{\frac {b{\sqrt {5}}+1}{2}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/7110b8570813b4ab44650babc8c72b2d66f7fc53)
- soit
![{\displaystyle b'<{\frac {b{\sqrt {5}}-1}{2}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/83e1be32cb4264defabefbabb7c89fef0913f709)
- Si
, on a
ou
. On peut montrer que
, d'où
.
- Mais d'un autre côté,
, ce qui termine l'ébauche de démonstration[3].
- Une autre approche consiste à montrer[4] que dans le développement en fraction continue d'un irrationnel, sur trois réduites consécutives, il en existe une qui vérifie l'inégalité annoncée.