. Comme 
est orthogonal à 
, on en déduit que 
se trouve sur l'horizon céleste (par définition de 
). Ainsi, les points 
et 
sont sur l'horizon céleste. On a donc: 
.
Par définition . Comme est orthogonal à , on en déduit que se trouve sur l'horizon céleste (par définition de ). Ainsi, les points et sont sur l'horizon céleste. On a donc: .
On a 
.