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

des lignes géodésiques issues de ses différents points, le théorème leur est applicable pourvu que leur longueur soit suffisamment petite, et Ton obtiendra une nouvelle courbe coupée orthogonalement par les lignes géodésiques normales à la première; à partir des points de cette nouvelle courbe, on pourra encore porter sur les mêmes lignes géodésiques prolongées une longueur constante assez petite pour que le lieu des extrémités forme une troisième courbe coupant les mêmes lignes h angle droit; en continuant ainsi, on finira par porter sur chaque ligne une longueur aussi grande que Ton voudra, en démontrant que le lieu des extrémités coupe toujours à angle droit les lignes géodésiques sur lesquelles la longueur portée à partir de l'origine peut croître sans limite.

Les lignes géodésiques normales à une même courbe peuvent évidemment être remplacées par des lignes issues d'un même point, et la démonstration se fera absolument de la même manière.

Si Ton considère sur une surface une série de lignes géodésiques, et une seconde série de courbes coupant celles-ci à angle droit, les portions de deux lignes géodésiques quelconques comprises entre deux trajectoires orthogonales sont égales entre elles. Ce théorème est une conséquence évidente du précédent, dont il peut être considéré comme la réciproque.

713. On peut déduire du théorème précédent une conséquence importante relative à la forme de l'expression du carré de la distance de deux points infiniment voisins. Si les points d'une surface sont définis par deux coordonnées u et vy telles que les courbes qui correspondent à des valeurs constantes de e soient des lignes géodésiques, et que celles qui correspondent aux valeurs constantes de u coupent les premières à angle droit, le carré de la distance de deux points infiniment voisins aura ( 124) une expression de la forme

(i) ds* = \du'-hBdv*i

mais d'après le théorème précédent, deux trajectoires des lignes géodésiques interceptent sur ces diverses lignes des arcs de même longueur. Si donc on suppose dv = o9 c'est-à-dire si l'arc ds appartient à une des lignes géodésiques, la valeur de ds2 ne dépendra que de u et de du, et A est par conséquent fonction de la seule variable u. Soit u' une fonction de u telle que

(2) du, = dusfk\

si l'on substitue la variable u' à la variable u, ce qui ne change évidemment pas les deux systèmes de lignes correspondant aux valeurs constantes des coordonnées, l'expression (i) devient

(3) 4b* = tfu''-t-G<fr',

(î représentant ce que devient B lorsqu'on l'exprime en fonction de u' et de v. Si l'on

suppose dv = o, on a

ds = diï,

et l'on en conclut que u' est la longueur portée sur une ligne géodésique, à partir d'une trajectoire orthogonale déterminée que l'équation (2) laisse arbitraire, puisqu'elle permet d'ajouter une constante à cette coordonnée.

Courbure géodésique.

714. La courbure d'une ligne plane fait connaître la plus ou moins grande rapidité de l'écart entre cette courbe et sa tangente. Si en un point M la tangente est MT, et que M' soit un point infiniment voisin de M pris sur la courbe considérée,

et M'P la distance de ce point M' à la tangente, la courbure - est donnée par la

formule

1 aM'P