CHAPITRE m

Théorème d'Euler sur la courbure des sections normales. — Formule de M. O. Bonnet. — Théorèmes de M. J. Bertrand. — Introduction de la torsion géodésique. — Expression géométrique des six rotations qui figurent dans les formules données précédemment. - Relations entre les mêmes éléments géométriques dans le cas des coordonnées obliques. — Théorèmes de Joachimsthal relatifs aux lignes de courbure communes à deux surfaces. — Formule de M. Laguerre. Son application à la détermination du rayon de courbure d'une ligne tracée sur la surface aux points où elle est tangente à une ligne asymptotique. -Théorème de M. Beltrami. — Torsion d'une ligne asymptotique« — Formule de M. Bonnet relative au rayon de courbure d'une ligne asymptotiquc. — Application aux systèmes orthogonaux et isothermes.

505. Nous commencerons par Tétude des deuK formules qui donnent la courbure et la torsion

rosTîT I , f du dv \ /du dv\

, ^ dm I (du dv \ . f du dv\

(») rfF - , = *=°"" [^ Ts -^P' ds) ^ '""" (^ d^ -". ^' ds) ■

La première nous fait connaître la variation de la courbure normale pour toutes les courbes passant par un même point de la surface. Elle contient donc le célèbre théorème d'Euler relatif à la variation de la courbure des sections normales. Et, en effet, si Ton suppose que les lignes coordonnées soient les lignes de courbure de la surface, et si Ton introduit les simplifications qui résultent de cette hypothèse, les équations précédentes prendront la forme suivante :

C08TH I cos'oi sin*aj

dm I / I I \ .

(4) ___^^___js.nu,cosa,.

La première de ces formules donne immédiatement le théorème

COURBURE NORMALE ET TORSION GÉODÉSIQUE. SSg

d'Euler. La seconde, qui a été donnée pour la première fois par M. Bonnet (*), va nous permettre de faire connaître les lois remarquables que M. Bertrand a ajoutées à celles d'Euler (*).

Si l'on considère, sur une surface, un point fixe M et un point M' infiniment voisin, la direction de la normale en M' pourra être déterminée de la manière suivante : i" par l'angle que fait avec la normale en M la projection de la normale en M' sur le plan normal en M qui passe au point M'; a" par l'angle que fait la normale en M' avec sa projection sur ce plan normal.

Le premier de ces deux éléments est évidemment l'angle de contingence de la section normale en M dont le plan passe par M'. Lorsque le point M' tourne autour de M, la variation de cet angle est connue; elle sera donnée par le théorème d'Euler. Avant M. Bertrand, on n'avait pas songé à déterminer la grandeur du second angle et à chercher comment il varie quand le point M' se déplace autour de M; cependant, Pétude de cet élément est essentielle si l'on veut connaître complètement les propriétés du pinceau des normales infiniment voisines de la normale en M. 11 est aisé de reconnaître que cette étude peut se faire complètement au moyen de la formule de M. Bonnet.

Appliquons-la, en effet, aux sections planes normales passant par le point M. Pour ces sections, la torsion est nulle, et la formule (4) nous donnera par conséquent

(5) dm=l-^, — ^ j e/^sincucosfa).

Orny désigne, en général, l'angle du plan osculateur à la courbe avec la normale à la surface. Considérons, dans le cas qui nous occupe, un point M' voisin de M sur la section plane considérée; 77 sera l'angle de la normale en M' avec le plan de la section. Comme, au point M, cet angle est nul, dm sera, en négligeant les infiniment petits du second ordre, l'angle même considéré par

(•) O. Bonnet, Mémoire sur la théorie des sur/aces {Journal de l'École Polytechnique, XXXII' Cahier, p. i; 1848).

(•) J. Bertrand, Mémoire sur la théorie des sur/aces {Journal de Liouville, t. IX, !•• série, p. i33; 1844 )•

Sgo LIVRE V. — CHAP. III.

M. Bertrand qui, du reste, a établi directement la formule précédente.

Cette formule nous montre que dm sera nul pour les deux directions principales. En général, les valeurs de ûfm correspondantes à la même valeur de ds et à deux directions rectangulaires seront égales et de signes contraires.

506. On peut substituer à l'angle dm le moment des deux normales en M et en M'. Imaginons une force de longueur égale à Tunité dirigée suivant la normale en M'. Le moment OÏL- de cette force par rapport à la normale en M sera égal à ô<{/, o désignant la plus courte distance et if Tanglc des deux droites. Or, si l'on fait glisser celte force sur la normale en M' jusqu'à ce que son point d'application arrive en M', on pourra la décomposer en deux autres forces, dont une sera dirigée suivant la projection de la normale en M' sur le plan normal en M qui contient M', et dont l'autre sera perpendiculaire à ce plan. Le moment de la force sera égal à celui de cette seconde composante, qui est égale à dm^ et dont la distance à la normale en M est évidemment rf^, en négligeant dans les deux évaluations les infiniment petits du second ordre. On a donc

OÎL = 8<j; = 6?^ dm = ds^ ( £77 "~ « ) ^*" ^ ^®* ^'

Il est aisé d'ailleurs de vérifier que cette valeur de OIL ne change pas quand on passe à toute surface parallèle; car, en remplaçant sino), cosci) par leurs valeurs, on trouve

Oit = (K—^)pxqdudv\

et les quantités />! , q,K — R ne changent pas évidemment (n" 500) dans le passage à la surface parallèle.

Si l'on voulait connaître l'angle i( des normales en M et en M', on aurait évidemment

50T. La formule de M. Bonnet conduit à d'autres conséquences;

COURBURE NORMALE ET TORSION GÊODÉSIQUE. Sqi

en particulier, elle a donné lieu à Tinlroduction d^un nouvel élément relatif aux courbes tracées sur une surface.

La fonction -j- relative à un point d'une courbe (G) demeurant la même pour toutes les courbes tangentes à la courbe (C) en ce point, considérons, en particulier, la ligne géodésique tangente. Pour cette ligne on a, par définition,

TS

et la fonction précédente se réduit à la torsion. Ainsi

1 dja X ds

représente, en un point quelconque d'une courbe (C), la torsion de la ligne géodésique tangente. M. Bonnet lui a donné le nom de torsion géodésique. Cette définition est consacrée bien qu'elle ait l'inconvénient d'éveiller l'idée d'une analogie qui n'existe pas avec la courbure géodésique. La torsion géodésique ne se conserve pas quand on déforme une surface.

Quoi qu'il en soit, une fois que l'on a introduit cette nouvelle notion, il est très aisé de donner des expressions géométriques des six rotations /?, gr, r, ^i, ^i, Tj.

Désignons par — > — , — les courbures normale et géodésique et la torsion géodésique de l'arc Kdu et désignons de même par — y — > - les éléments analogues relatifs à l'arc Cdv.

Les formules précédemment établies nous donnent

— = /? sin m — q ces m,