Exercice 1 : La division euclidienne : un couple, et un seul
Diviser par au sens euclidien, c'est écrire avec . Le théorème de la division euclidienne dit deux choses : un tel couple EXISTE toujours, et il est UNIQUE. C'est cette unicité qui fait toute la puissance du chapitre.
Sur la figure, les multiples de découpent la droite des entiers en tranches. Le nombre tombe dans l'une d'elles, et le reste est simplement la distance au multiple situé à sa gauche.
- a) Effectuez la division euclidienne de par : donnez le quotient et le reste .
- b) Écrivez l'encadrement de par deux multiples consécutifs de , et dites où se lit le quotient.
- c) Effectuez la division euclidienne de par . Attention : la condition ne se négocie pas.
- d) Démontrez l'UNICITÉ du couple : supposez avec et , et concluez.
Voir la correction
Réponses
- a) et , car
- b) , et le quotient est le coefficient de gauche
- c) et , car
- d) avec , donc puis
a) On cherche le plus grand multiple de inférieur ou égal à . Comme et , c'est . Donc : le quotient vaut et le reste . Vérification obligatoire, et elle prend trois secondes : on recalcule , et l'on contrôle que . Un reste supérieur ou égal au diviseur signifie qu'on s'est arrêté trop tôt, et c'est l'erreur la plus fréquente quand on pose la division à la main.
b) L'encadrement s'écrit , c'est-à-dire . Le quotient est le coefficient du multiple de GAUCHE : c'est la définition même, et c'est ce que montre la figure. On peut aussi l'écrire , ce qui dit que le quotient euclidien est la partie entière du quotient décimal, ici . Cette lecture est la plus rapide à la calculatrice, mais elle cesse d'être vraie pour un dividende négatif, ce que montre la question suivante.
c) Il faut avec . Le réflexe faux est d'écrire : le reste vaudrait , ce qui est INTERDIT. On descend donc d'un cran, jusqu'au plus grand multiple de inférieur ou égal à , qui est . Alors , c'est-à-dire , avec et , et la condition est respectée. Le quotient n'est donc PAS la troncature de , mais son arrondi par défaut. L'erreur coûte toute la question, et elle se propage partout où l'on travaille sur les restes.
d) Supposons avec les deux restes dans . En soustrayant, . Le membre de gauche est un multiple de . Le membre de droite est une différence de deux nombres de , donc : c'est un multiple de dont la valeur absolue est strictement inférieure à , il ne peut être que . Donc , puis et, comme , . Le couple est bien unique. Retenez l'argument, il resservira : « un multiple de strictement plus petit que en valeur absolue est nul » est l'outil de démonstration numéro un de tout le chapitre.