A.RS— PQ

dcx.t rfa, rfa, On a donc

— /l, /Ij — -r -y ,

O2 dûCi aoLi

mais

donc enfin

, (R9— QP)

p, (QP)(Q&)-

la courbure de Tare QP est égale à la différence des côtés opposés du rectangle PQRS, divisée par la surface du rectangle.

558. Cherchons ce que devient, dans le cas des courbes sphériques orthogo* nales, la relation trouvée (511) entre les dérivées des courbures de deux courbes qui se croisent en un même point. Les deux démonstrations que nous avons données (511) et (512) exigent l'une et l'autre de légères modifications, et d'abord il faudrait, bien entendu, pour la. première démonstration, substituer des coordonnées polaires aux coordonnées rectilignes; les modifications qu'il faut apporter à la seconde n'exigent au contraire que l'addition d'un terme dans la première des équations obtenues, sans qu'il y ait rien à changer ensuite dans les transformations ultérieures. C'est celle-là seulement que nous développerons.

Soit PQRS le rectangle infiniment petit formé par les courbes des deux systèmes

correspondant aux valeurs a,, a, -hrfa, du premier paramètre, et «a, aa-i-rfajdu second. Menons par les sommets P, Q, R, S, des arcs de grand cercle tangents aux côtés de ce rectangle; nous formerons un octogone sphérique, QOPIRO'SI', dont la

UVRE TRŒSIÈME. - APPUCATIONS GÉOMÉTRIQUES. 59i

surface est mesurée par Texcës de la somme des angles sur douze angles droits; or» en nommant €1,64+ de^ les angles de contingence des arcs PR, QS, et £2» ^2 + ^^2 ceux des arcs PQ, RS, dans le cas supposé sur la figure, où les courbures sont toutes positives, on a, en désignant les angles de Toctogone par les lettres placées à leur sommet,

0=TrH-ei, I=7rH-£i,

0' = 7r — e, — dtiy r = 7r — e, — rfe,,

et par conséquent la surface de l'octogone est mesurée par

— de — rfei,

Tunité de surface étant, comme on sait, le carré du rayon de la sphère pris par hypothèse pour unité de longueur. D'un autre côté, la différence entre l'octogone et le rectangle PQRS est tout au plus du troisième ordre (en réalité elle est du quatrième), et l'on peut la regarder comme égale au produit de ses deux dimensions PQ X PR : on a donc

(i) rf€H-rf£.=PQxPR;

mais on a

donc

~pr'