LIVRE VII. — LES CORPS RONDS

droites OM et PP' qui sont à angle droit sur MT. Donc, si l'angle SMT est droit, MS est dans le planMPP' qui, par suite, coïncide avec le plan O.MS. Inversement, si les plans OMS, MPP' coïncident, la droite MS contenue dans le plan MPP' est à angle droit sur la perpendiculaire MT à ce plan.

COBOLLAIBES.

818. Par un point 0 de la sphère, on peut mener un grand cercle perpendiculaire à un cercle donné AB et Von ne peut en mener quun: c'est le grand cercle OPI'P'I qui passe par le point 0 et par les pôles P et P' du cercle AB [fi^. 444)-

Il y aurait toutefois indétermination si le point 0 coïncidait avec l'un des pôles P et P'.

En laissant de côté ce cas singulier, on voit que, du point 0, on peut mener deux «/•« de grand cercle, 01 et OPl', normaux à un cercle donné AB.

THÉORÈME

819. Si, d'un point 0 d'une sphère, on mène, sur un cercle AB, le plus petit, 01, des deux arcs de grand cercle normaux et plusieurs arcs de grand cercle obliques OC, OD, OE [Jig. 444) ♦

l" L'arc perpendiculaire 01 est moindre cpie tout arc obVupie OC ;

a" Deux arcs obliques, OC et OE, dont les pieds C et ^sont équidistants du pied 1 de l'arc normal, sont égaux ;

3° De deux arcs obliques, OC et OD, ou OE et OD, celui dont le pied s'écarte le plus du pied I de l'arc normal est le plus long.

En effet, le cercle AB divise la sphère en deux calottes dont l'une contient le point 0; soit P le pôle de AB qui est situé dans cette Ciiloite: menons les arcs de grand cercle PC, PD, et désignons par K l'interseclion des arcs OD et PC.

1" Dans le triangle sphérique POC, on a