LIVRE TROISIÈME. - APPLICATIONS GÉOMÉTRIQUES

aussi un paramètre arbitraire, et chaque point de la sphère pouvant être défini par les valeurs des paramètres correspondants aux courbes qui s'y croisent, ceux-ci forment un système de coordonnées curvilignes dont l'emploi peut être utile dans certains cas.

Nous allons étudier la loi de variation des courbures géodésiques de deux systèmes de courbes se coupant ortliogonalement sur la sphère. Nommons a, le paramètre dont la valeur caractérise les courbes du premier système, et «2 celui qui correspond au second système.

Soient AA', BB' deux courbes infiniment voisines du premier système, correspondantauxvaleursa,,a,+c?«, duparamètrea, qui figure dans leur équation générale, et ce, DD' deux courbes infiniment voisines du second système, correspondant aux valeurs «2, «2 -+- ^«^2 de leur paramètre, et formant avec les deux premiers un rectangle infiniment petit PRQS; le côté PR, distance de deux points

infiniment voisins qui correspondent à une même valeur de a, est évidemment proportionnel 2ida.i, et le côté PQ à dc/.^. Posons donc, en désignant par A, et K des fonctions de a, et de «2» que nous regarderons comme connues.

Il 2 /'i

Le calcul de /i, et de Aj dans chaque cas particulier se fera d'ailleurs facilement, car en considérant les variables a, et «2 comme formant un système de coordonnées, la distance de deux points infiniment voisins quelconques tels que P et S, qui correspondent aux coordonnées a,, a.^, a, +c^a, , 7.^ -+-^«2» est évidemment

dy.', doc]

et il suffira par conséquent de calculer cette distance, comme il a été dit (123), pour connaître A, et Ao que nous regardons tous deux comme essentiellement positifs.

La courbure ' de la ligne PQ est égale à l'angle de contingence formé par les arcs

de grand cercle tangents en P et Q, divisé par la longueur ds. de cet arc PQ. Or on a,

d'après la notation adoptée,

, dotx

ds2 = -j— ■ h,

Si dofic on nomme î l'angle; de contingence, la courbure - est donnée par la formule

Pj dx> '

il 1 este à calculer s. : or cet angle est formé par les arcs de grand cercle normaux respectivement menés en P et Q aux courbes AA' et BB' que PQ coupe toutes deux à angle droit. Soit PI le premier de ces arcs, et I le point où il coupe la courbe BB', la distance QI est infiniment petite du second ordre, et l'on peut, dans le calcul de l'angle s, remplacer le grand cercle normal en Q par le grand cercle normal en I, qui forme avec lui un angle infiniment petit du second ordre; s est, d'après cela, le complément de l'angle sous lequel le grand cercle PI coupe la courbe BB': or on sait (553) que si en chaque point d'une courbe sphérique on élève un arc de grand cercle normal, et que l'on porte sur lui une longueur constante /, le lieu des extrémités coupe à angle droit tous ces grands cercles normaux à la courbe donnée; on en conclut que si la longueur / portée sur chaque grand cercle varie d'un pointa l'autre, un élément c? a de la courbe obtenue, dont les extrémités correspondent aux longueurs /et / + dl, portées sur deux grands cercles voisins, formera,

avec les grands cercles, un angle dont le cosinus est -r- : dans le cas de deux courbes infiniment voisines qui nous occupe ici, l'élément d(j peut être remplacé par l'élément correspondant ds de la courbe AA' qui n'en diffère que d'un infiniment petit du second ordre, et l'angle infiniment petit s, que l'on peut rem-

dl placer par le cosinus de son complément, a pour expression -r- : /est ici la dis-

tance Pi égale, nous l'avons dit, à -j^, et dl est l'accroissement correspondant a un changement infiniment petit de a-^; on a donc

d I = — ^ — ^ (/ x-2 = da, d

doi, dy.i

Le dénominateur ds^ du quotient -i- est d'ailleurs l'arc infiniment petit de AA', correspondant a l'accroissement <:/«2 du paramètre, et l'on a