Mesures principales
La mesure principale d'un angle
est l'angle
tel que
avec
.
Comme il n'existe qu'un entier dans l'intervalle
, l'entier
est unique. Donc le réel
est unique.