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.