PC - PO < OC

PI -PO ou OKOC.

a* Les poiDlB C el E iUnI symétriques par rapport an pUo du gn-:

cercle PIP", les cordes OC et OE sont symétriques par rapport au nur-

plan el, par suite, égales entre elles; donc les arcs de même rayoo, «

et OE, qu'elles sous-tcndent, sont égaux.

3' Les triangles sphériques OKC, PKD donnent

OC<0K + KC, PD<PK-f-KD, rl'où, en ajoutant,