L'équation fondamentale du dioptre sphérique s'écrit : et on sait également que et .

Les angles et sont égaux et ont même tangente, d'où :