A,A'=AA'.(A'AA,), B,B' = BB,.{B'BB

on peut regarder AA' et BB, comme égaux, les angles A'AA,, B'BB, sont égaux

aux angles formés parla corde AB avec les tangentes aux deux extrémités de l'arc,

leur somme est (715) l'angle de contingence de AB que nous désignerons par s,

on a donc

A,A'-l-B,B' = e.AA',

et, en nommant - la courbure géodésique tb > on en déduit enfin