PC - PO < OC

ï87, GÉOMÉTRIE DANS l'kSPACE.

c'est-à-dire

PI -PO ou OKOC.

i" Les points C et E étant symétriques par rapport au plan du grand cercle PIP', les cordes OC et OE sont symétriques par rapport au même plan et, par suite, égales entre elles; donc les arcs de même rayon, OC et OE, qu'elles sous-tendent, sont égaux.

3'' Les triangles sphériques OKC, PKD donnent

OC<OK + KC, PD<PK + KD,

d'où, en ajoutant,