DIVISION EUCLIDIENNE NOVEMBRE 2011 BTS1 ET TS SPE
Il s'agit d'une branche très ancienne des mathématiques consacrée aux nombres.
1. DIVISION EUCLIDIENNE D'UN ENTIER NATUREL PAR UN
ENTIER NATUREL NON NUL.
. Soit a dans IN et b dans IN*.
Il existe un unique couple ( q ; r ) dans IN × IN tel que: a =bq + r
avec 0 ≤ r < b .
On dit que: a est le dividende
b le diviseur
q le quotient
r le reste
2 . Schéma : On pose en général la division ainsi:
| a | | b |
| r | | q |
3. EXEMPLE:
a = 17 b = 2 17 = 2 × 8 + 1
On a : q = 8 r =1
4. JUSTIFICATION:
a est dans IN et b dans IN*.
• Existence de q et r .
• • a = b
Alors a = 1 × b + 0 q = 1 et r = 0 0 ≤ r < b
• • a < b
On a seulement a = 0 × b + a q = 0 r =a
On a bien 0 ≤ a < b c-à-d 0 ≤ r < b
• • a > b
On peut sur la droite des réels lister dans l'ordre croissant
les multiples strictement positifs de b jusqu'à ( a + 1 )b.
1 b ; 2 b ; 3 b ; .... etc ... ; k b ; ( k + 1 ) b ; .... ; ( a + 1 ) b
où k dans IN compris entre 1 et a + 1.
Comme b est dans IN* on a b ≥ 1
et d'autre part : ( a + 1 ) b = a b + b
Donc a b + b > a
On a : b < a et a < ( a + 1 ) b
a est strictement compris est entre le premier terme b
et le dernier terme ( a + 1) b de cette liste.
a et donc compris entre deux termes consécutifs de cette liste.
Il existe un unique etier naturel q tel que q b ≤ a < ( q+ 1 ) b
L'amplitude de cet encadrement est strictement inférieur à b.
Posons r = a - qb
On a donc o ≤ r < b
D'où a = bq + r avec o ≤ r < b
Conclusion: L'existence de q et de r est avérée.
• Unicité.
Raisonnons par l'absurde.
Supposons a = b q +r =b q' + r' avec 0 ≤ r < b et 0 ≤ r' < b
avec q ≠ q' ou r ≠ r'
Alors b q - b q ' = r ' - r c-à-d b( q - q ' ) = r' - r
Donc b divise r' - r
Mais 0 ≤ r < b 0 ≤ r' < b
Donc l'écart entre r ' - r est strictement inférieur à b.
Donc b ne peut pas diviser r' - r à moins que
r' - r = 0 , auquel cas b( q - q ' ) = r' - r donne q = q' ( b étant non nul)
On a : r = r' et q = q'
Il y a une contradiction
Conclusion: L'unicité est prouvée.
5. DIVISION EUCLIDIENNE D'UN ENTIER RELATIF PAR UN
ENTIER RELATIF NON NUL.
Soit a et b dans l'ensemble des entiers relatifs avec b non nul.
Il existe un unique couple ( q , r ) d'entiers relatifs tels que
a = b × q + r avec 0 ≤ r < | b |
Dans le cas ou b est dans IN* on a :
a = b × q + r avec 0 ≤ r < b
Cela résulte de la division de | a | par | b |
------------------------------------------------------------------------------------------------