Soit , . On définit une suite de rationnels par récurrence :
,
Si existe et est non nul, soit le plus petit entier tel que . On pose ,
Si , on s’arrête. Dans ce cas, .
1
Montrer que la suite est toujours finie.
2
Montrer que si existe, alors .
3
Réciproquement, soit une décomposition : avec et . Montrer que pour tout , on a .