Au moment du coucher et du lever . Ainsi les trois relations deviennent:
Ainsi on a .
Sous réserve de la non annulation des dénominateurs, on peut diviser la première relation par la troisième pour obtenir : .
Ainsi on a avec .