K4-KM<0M
résultat absurde, puisque OM est, par hypothèse, la ligne la plus courte que Ton puisse tracer sur la surface entre les points 0 et M.
712. La démonstration précédente suppose que les lignes géodésiques considérées soient les plus courtes que Ton puisse tracer entre leurs points extrêmes; elle ne s'étend pas par conséquent à toutes les lignes dont le plan osculateur est en chaque point normal à la surface. Le théorème est cependant exact pour de telles lignes. Nous le démontrerons en établissant d'abord un théorème plus général : si par les points d'une courbe quelconque tracée sur une surface, on élève des lignes géodésiques perpendiculaires a cette courbe, et que sur chacune d'elles on porte une longueur fixe quelconque, le lieu des extrémités de ces longueurs coupe perpendiculairement toutes les lignes géodésiques. Soient AM, A'M' deux lignes géodésiques égales, qui soient l'une et Tautre les plus courtes que l'on puisse mener entre leurs extrémités. Supposons que les angles en A et en A' soient droits, il faut prouver qu'il en est de même des angles en M et en M'.
Joignons le point M au point A' par une ligne géodésique : l'angle MAA' étant droit, la ligne A A' est tangente à la courbe lieu des extrémités des longueurs égales à MA, portées sur les lignes géodésiques issues du point M; si donc AA' est infiniment petit du premier ordre, la différence MA' — MA est du second ordre, et a cause de l'égalilé supposée entre AM et A'M', A'M et A'M' ont la même différence infiniment petite du second ordre; si donc on porte sur les lignes géodésiques issues de A' des longueurs égales k A'M', le lieu de leurs extrémités qui, d'après le théorème précédent, est normal à A'M', sera tangent à M'M, qui par conséquent coupe A'M' sous un angle droit.
Cette démonstration suppose, comme la précédente, que les lignes géodésiques considérées soient les plus courtes entre leurs deux extrémités; mais en réunissant les deux théorèmes on démontre aisément qu'il est permis de supprimer cette condition. Si en effet on porte normalement à une courbe une longueur constante sur
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 à 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 l'on considère sur une surface une série de lignes géodésiques, et une seconde série de courbes coupant celles-ci a 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 v^ telles que les courbes qui correspondent à des valeurs constantes de r 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
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 fl&'=o, c'est-à-dire si l'arc ds appartient a une des lignes géodésiques, la valeur de d$^ 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 Ton substitue la variable a' à 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) ds* = du'^-hGdv\
G représentaiil ce que devient B lorsqu'on Texprime en fonction de u' el de v. Si Ton
suppose dv=o, on a
ds = du\
et Ton en conclut que u' est la longueur portée sur une ligne géodésiqiie, a partir d'une trajectoire orthogonale déterminée que l'équation (2) laisse arbitraire, puisqu'elle permet d'ajouter une constante a cette coordonnée.
Courbure géodésùjue.
714. La courbure d'une ligne plaffie fait connaître la plus ou moins grande rapidité de l'écart enlre 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
I aM'P
