Soient
a et
b deux entiers naturels avec
b non nul.
Existence
La partie entière d'un réel
x est l'entier relatif
n tel que
n \leqslant x \lt n+1 . On note
n = \text E (x). Posons alors
q = \text E \left(\dfrac{a}{b}\right). On a
\dfrac{a}{b} \geqslant 0 donc
q = \text E \left(\dfrac{a}{b}\right) \geqslant 0. Par définition,
q \leqslant \dfrac{a}{b} \lt q+1 ou encore
qb \leqslant a \lt b \left(q+1\right) puisque
b est strictement positif.
Autrement dit, on a
b q-b q \leqslant a-b q \lt b q+b-b q soit enfin
0 \leqslant a-b q\lt b.
En posant
r=a-b q, on a, d'une part,
a=b q+r et, d'autre part,
0 \leqslant r \lt b. On a donc bien prouvé l'existence d'un couple
(q \: ; r ) vérifiant les conditions demandées.
Unicité
Supposons qu'il existe deux couples d'entiers naturels
(q \: ; r ) et
(q' \: ; r' ) vérifiant les deux conditions, c'est-à-dire
\left\{\begin{array}{l}a=q b+r \:\text{ avec } 0 \leqslant r \lt b \\ a=q^{\prime} b+r^{\prime} \:\text{ avec }0 \leqslant r^{\prime}\lt b\end{array}\right.. On a alors :
- q b+r=q b^{\prime}+r^{\prime}, c'est-à-dire b\left(q^{\prime}-q\right)=r-r^{\prime} et donc b |\left(r-r^{\prime}\right).
- 0 \leqslant r \lt b et, puisque 0 \leqslant r^{\prime} \lt b, on a -b \lt-r^{\prime} \leqslant 0.
Ainsi,
b |\left(r-r^{\prime}\right) avec
-b \lt r-r^{\prime} \lt b donc
r-r^{\prime}=0 et
r=r^{\prime}.
On a alors
q^{\prime}-q=0 donc
q^{\prime}=q. D'où l'unicité.