Divisione euclidea: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Correggo redirect da Per assurdo a Dimostrazione per assurdo tramite popup |
|||
Riga 40:
Per il [[principio del buon ordinamento]] esiste un intero non negativo ''r'' che è il minimo di ''S'', dunque per tale ''r'' esiste un numero intero ''q'' tale che
:<math>r=a-qb</math>
inoltre essendo ''r'' il minimo di ''S'' si deve avere ''r'' < | ''b'' |. Infatti [[Dimostrazione per assurdo|se così non fosse]] avremmo che
:<math>r'=r-|b| \geq 0</math>
e che
| |||