AB' — AB = AB

- étant la courbure géodésique, considérée comme positive, lorsque l'arc géodé-

sique qui touche AB en A est situé du côté de A'B'.

Réunissons, en effet, les deux points A et B par une ligne géodésique que l'on peut nommer la corde de l'arc AB, et par les deux extrémités élevons normale^ ment à cette corde les perpendiculaires infiniment petites AA,, BB, ; d'après ce qui a été dit (712), dans le cas où ABa une longueur finie, la différence A,B, — AB