OC :0D

830. Si le point C décrit le cercle AB en partant du point I, l'ut i' grand cercle OC, d'abord égal i 01, croît, devient égal à OPI', pnist»crolt jusqu'à la valeur primitive 01. Parmi les chemins qui cundaiseot i-^ point 0 au cercle ÂB, le plus court est donc le plus petit, d, des deui arcs normaux qu'on peut mener du point 0 au carcle AB. Aussi, doniKt-on k la longueur de cet arc 01 le nom de dittance spliérique du poini O au cercle AB.

Les réciproques des proposilions précédentes sont vraies |7).

Le iicu géoméiri'iue des points de la sphère équiiUsianti de deux poi-^ ■ de celle surface est le grand cercle perpcndicuJm're sur le milieu de l'en lie grand cercle qui unit les deux pninls ( 49 ).

Deux triantes sphériques rectangies sont égaux ou tpi^iriqBi:< : \' hriqu'ils ont l'hypoténuse égale et un an^e oblique égal ; a* lors'jiiit ont l'hypoténuse égale et an côté égol(^).

Varc de grand cercle bissecleiir de l'angle de deux grandi eerrùrt r r Je lieu des points de la sphère équidistfintt des deux cdtés de cet angle {t^

Les raisonnemeals sont les mêmes qu'en Géométrie plane.