A'B' — AB = AB

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

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 normalement à 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 AjB, — AB