On part de:
On multiplie par
des deux côtés:
Ce qui
donne:
On pose
On multiplie par
des deux côtés:
On soustrait les deux
expressions côté par côté:
Donc
, c'est-à-dire
, d'où
.
Un argument très court se déduit du fait suivant:
si 2 nombres réels sont différents, alors il en
existe au moins un 3ème entre les deux, différent des
deux autres. (ce troisième nombre peut être la moyenne
entre les deux). Or, on ne peut pas intercaler de nombre entre
et
; ils sont donc
égaux.