Une caractérisation des nombres rationnels

Sens direct
Soit un nombre $\frac{p}{q}\in \mathbb{Q}$.
On peut trouver les différentes décimales par récurrence de la manière suivante :

• $p=a_0q+r_{0}$ avec $0\leqslant r_{0}<q$
• $10 \; r_{0}=a_{1}q+r_{1}$ avec $0\leqslant r_{1}<q$
• ...
• $10 \; r_{i}=a_{i+1}q+r_{i+1}$ avec $0\leqslant r_{i+1}<q$

On note que $0 \leqslant r_{k}<q$ conduit à $0 \leqslant \frac{10\,r_{k}}{q}<10$. Cette récurrence (qui n’est autre que la division "à la main" que l’on apprend dans les petites classes mais je ne sais pas la dessiner ici) conduit à la décomposition de $\frac{p}{q}=a_{0},a_{1}a_{2}....a_{i}$...
$r_{i}$ ne peut prendre au maximum que $q$ valeurs différentes donc $\exists l \mid r_l=r_0$ d’où $a_{l+1}=a_{1}$
On remarque que $\forall j>0$, $a_{{i+j}}$ ne dépend que de $r_{i}$ il vient donc que $a_{i+l}=a_{i}, \; \forall i\in \mathbb{N}$
On montre ainsi que la série des décimale est périodique de période $l\leqslant q$.

Sens réciproque
Soit $x\in \mathbb{D}$ on peut donc écrire en base 10 : $x=a_0,a_{1}a_{2}...a_{i}...$ avec $a_{0}\in \mathbb{Z}$ et $a_{i} \in\mathbb{Z}/10\mathbb{Z}, i>1$
Supposons que la suite des décimales $a_{i}$ soit périodique de période $l$ ($l>0$) c’est à dire que $\forall i, a_{i+l}=a_{i}$.
L’astuce classique consiste calculer :
$$10^{l}x-x=(10^l-1)x=a_{0}a_{1}...a_{l}$$ On note que $l>0\rightarrow 10^l-1 \neq 0$ Il vient donc que $x=\frac{a_{0}a_{1}...a_{l}}{10^{l}-1}$ est bien un nombre rationnel.