Deux théoremes importants dans cette théorie vont nous servir :
– Un nombre réel est rationnel si et seulement si son développement en fraction
continue est fini.
– Un nombre irrationnel est quadratique, c’est à dire solution d’une équation
du second degré, si et seulement si son développement en fraction continue
est périodique à partir d’un certain rang.
Si le développement de xest périodique à partir du rang palors il existe un entier
ntel que l’égalité suivante soit vérifiée (on utilise cette notation pour symboliser
la périodicité) :
x= [a0, a1, . . . , ap−1, ap, ap+1, . . . , an, ap, ap+1, . . . ]=[a0, a1, . . . , ap−1, ap, ap+1, . . . , an]
En fait, on connait même un peu mieux le développement de √d:
– Si dest sans facteur carré alors son développement en fraction continue est
périodique à partir du rang 1 et est tel que √d= [a0, a1, a2, a3, . . . , a3, a2, a1,2a0].
Si x= [a0, a1, a2, . . . ], on appelle réduite d’indice pde xla fraction [a0, a1, a2, . . . , ap]
(c’est un rationnel !).
On a maintenant toutes les bases pour pouvoir énoncer le théorême fondamental
pour la résolution de l’équation de Pell-Fermat :
– Soit √d= [a0, a1, a2, a3, . . . , am]avec dsans facteur carré, alors :
– Si mest pair, le couple (x, y) = (pm−1, qm−1), où pm−1
qm−1est la réduite de
rang m−1de √d, est solution de l’équation de Pell-Fermat.
– Si mest impair, le couple (x, y) = (p2m−1, q2m−1), où p2m−1
q2m−1est la réduite
de rang 2m−1de √d, est solution de l’équation de Pell-Fermat.
1. Programmer un algorithme frac_continu_rat qui, étant donné un nombre ra-
tionnel, calcule son développement en fraction continue (fini !).
(Indication : utiliser l’algorithme d’Euclide)
2. Programmer un algorithme frac_continu_quad qui, étant donné un nombre
irrationnel quadratique, calcule son développement en fraction continue (pério-
dique de rang 1 !).
3. Programmer un algorithme reduite qui, étant donné un nombre réel xet un
entier p, calcule la réduite d’indice pde x.
4. Programmer un algorithme res_frac qui, étant donné un entier dsans facteur
carré, calcule une solution de l’équation de Pell-Fermat.
5. Tester cet algorithme sur des exemples et vérifier qu’on obtient bien des solu-
tions de l’équation de Pell-Fermat.
2