X. — zz — p Sin 1j — g cos

On a dans le triangle CEO, sin / sin CE O zz: sin 7 sin vp , d'où. Ton tirera en vertu de l'équation (6)5 sin/sin CEOsinEOii~:J:isin /(cos asinCp-jcos [3 cos Cp). Or CEO — lEO—X, donc a.CEOzz: — 5X. Ainsi la différentielle de (2) donne 9 X sin /sin EO sin CEO -|- 9/ cos /sin EO cos CEO =1:

dl sin / cos E O, d'où Ton tire -;;^ d X sin / (cos a sin cp -\- cos 8 cos cp) zi:

d/(sin/cosEO — cos/sinEO cosCEO) zz: - — • {cosEO — cos /[cos/ cos E O -|sin /sin EO COS CEO] } zz:-^ — (cosEO — cos/cos7) (2)::z:9/(cosa coscp — cospsincp) (4). Si l'on substitue (7) è/zz — «9/ (cos a sin Cp -|- cos [3 cos Cp) , la dernière équation deviendra ^:: 8X sin /zz: a3^ (cos p sin (p — cos a cos (p). Mais cos (p est négatif, et X décroît par la rotation, parce que C décrit l'arc Ce- il faut donc prendre le signe — ; ce qui donnera