AB

II. Un chemin autre que l'arc AB, tracé sur la sphère de A à B, contient certainement quelque point V étranger à cet arc, formant par suite avec A, B, le sommet d'un triangle sphérique déchevêtré AI' B où l'on a

AB < AI' + l'B (673, II).

Si maintenant on nomme £', L\, £', la longueur de ce chemin et celles des deux parties en lesquelles le point V le décompose, on aura

AI'^£'i, l'B ^£'2 (I);

d'où, en ajoutant membre à membre,

AI' + l'B ^ £', + £'2 S £',