A propos de la division euclidienne.
Soient a et b dans l'ensemble Z. Alors il existe un unique couple (q,r) € Z x N tels que:
a= bq+r avec 0< (ou égal) r < norme de b.
Preuve:
Supposons b> 0 et A {kb-a; k € Z }intervalle N
A est une partie de N non vide donc elle a un plus petit élément. Il existe (k0 +1) € N tel que (1+k0)b-a soit ce plus petit élément.
Soit q=K0 r=a-bk0
b-r = (1+k0) b-a > 0 par définition de k0+1 donc b>r.
Si r < ou égal à 0 alors k0b-a € A or (k0 +1)b-a est le plus petit élément de A d'où une contradiction.
Donc r>O
Supposons b<0 alors -b>0 et il existe q et r tels que a =q(-b)+r donc
a = (-q)b +r
Reste à montrer l'unicité si a = bq +r= bq'+r' avec r compris entre 0 et la norme de b et r' compris en 0 et la norme de b.
Alors b(q-q') = r-r'
si q=q' alors r=r'
Si q différent de q' la norme de r-r' = la norme de b fois la norme de q-q' supérieur ou égal à la norme de b
Or 0 < ou égal r < ou égal à la norme de b
- la norme de b < -r'< ou égal à 0
- la norme de b < r-r' < norme de b
norme de r-r' < norme de b donc absurde
q=q' et r=r'
Voila c'est mon cours mais on n'a pas eu d'explications, du coup je comprends aps très bien.
Si tu pouvais m'aider ce serait bien.
