EG-F.) = F??-E

U1^(EG-F^)=.f15-G?.

\ dç ^ 'du d^

Telles sont les deux équations de condition cherchées*. Nous allons les écrire de manière qu^elles ne contiennent que des invariants des paramètres u et v des deux familles de lignes

asjmptotiques. Si Ton conserve H pour représenter y'EG — F^, on a

^ ' -^ H2 dp H2 dï* "" H^ dp H*d^ 'W ~d^ '^ 'W 'dU,' et de là on déduit, par un calcul facile,

D'autre part, on a aussi

Ces relations permettent de donner à la seconde équation (38) la forme définitive

qui ne contient plus que des invariants. Par raison de symétrie, la première des équations (38) prendra la forme analogue

(4o; ^(U, Ap) — 2 A2PA(zi, p) = 0(p,log/c)e(p, II),

Si maintenant, pour revenir à nos notations habituelles, nous désignons par u et ç^ des coordonnées curvilignes quelconques et par a et p les paramètres des deux familles de lignes asymptotiques de la surface, nous voyons que ces paramètres a et (3 devront satisfaire aux deux équations simultanées du second ordre

f A(a, A?)-^-2A2pA(a, p) = e(P, logAOe(e, c.), ^^'^ I A{S, Aa)-2A2aA(a, p) = 0(a, log/c) 0(a, p).

La première est linéaire par rapport aux dérivées de a, la seconde par rapport à celles de p. En éliminant, soit a, soit |3, on sera conduit à une équation du troisième ordre à laquelle satisfera ^la fonction que l'on conserve. Userait facile de former et d'écrire, à l'aide des invariants, cette équation du troisième ordre; mais nous laisserons ce point à étudier au lecteur.

723. Les calculs précédents conduisent à plusieurs conséquences sur lesquelles il convient d.'insister.

En premier lieu, nous voyons que, si l'on donne, en même temps que l'élément linéaire d'une surface, ses lignes asymptotiques des deux systèmes, la surface est pleinement déterminée. En effet, si l'on prend ces deux familles d'asymptotiques pour lignes coordonnées, les calculs du n*' 722 nous montrent que l'on connaîtra, pour chaque point de la surface, les six rotations. La forme de la surface sera donc entièrement connue (n^ 484). Comme on peut prendre un double signe pour la valeur de k, on obtiendra en réalité deux surfaces, symétriques Tune de l'autre.

Nous pouvons donc énoncer le théorème suivant, établi en premier lieu par M. 0. Bonnet :

Si deux surfaces sont applicable, Vune sur Vautre de telle manière que toutes les lignes asymptotiques de Vune correspondent aux lignes asymptotiques de Vautre, les deux surf aces sont égales ou symétriques.

Mais on peut compléter cette proposition, en supposant que l'on connaisse une seule famille de lignes asymptotiques. Par exemple, dans les équations (4i), on connaîtra a, dont l'expression sera donnée en fonction de u et de v. Il est aisé de voir que l'on pourra déterminer p.

En effet, substituons dans la seconde des équations (40'^^ valeur de a; elle prend la forme

OU OÇ

Par suite, si M et N ne sont pas nuls en même temps, on obtiendra la seconde famille d'asymptotiques en intégrant l'équation du premier ordre

où M et N ne dépendent que de l'élément linéaire et de l'expression de a. Par conséquent, la connaissance dhine des familles de lignes asymptotiques entraînera celle de Vautre,

Examinons maintenant le cas d'exception où M et N seraient nuls en même temps. Alors la seconde des équations (4i) sera vérifiée identiquement quand on y remplacera a par son expression donnée^ en d'autres termes, elle aura lieu quelle que soit la fonction p. En particulier, remplaçons-y ^ par a, il viendra

(42) A(a, Aa) — 2 A2(a)Aa = 0.

Or cette équation exprime, nous l'avons vu (n^ 676), que les courbes de paramètre a sont des géodésiques. Gomme elles sont déjà des asymptotiques, elles ne peuvent être que des droites; et notre cas d'exception se trouve ainsi défini : il ne peut avoir lieu que pour des surfaces réglées et pour la famille d'asymptotiques constituée parleurs génératrices rectilignes. En résumé, on obtient le résultat suivant :

Deux surfaces applicables Vune sur l'autre sont égales ou symétriques lorsque les lignes asymptotiques de Tun des systèmes dans une des surfaces ont pour transformées des lignes asymptotiques {formant nécessairement un seul système) dans Vautre surface, à moins que les surfaces ne soient réglées et que les asymptotiques qui se correspondent ne soient les gênératrices rectilignes.

Cette proposition, qui est due à M. 0. Bonnet ( < ), résulte immédiatement de ce que la connaissance d'une des familles asymptotiques entraîne celle de Tautre. Dans le Chapitre suivant, nous étudierons d'une manière spéciale la propriété qui se présente ici pour les surfaces gauches. Nous nous contenterons, pour le moment, de remarquer que, réciproquement, si la surface est gauche et si a est le paramètre des génératrices rectilignes, la seconde des équations (40 sera vérifiée identiquement quand on y remplacera |3 par une fonction quelconque. En effet, cette équation est vérifiée quand on y remplace [î par a en vertu même de l'équation (42), à laquelle satisfait le paramètre a 5 elle l'est encore quand on y remplace [3 par le paramètre de la seconde famille de lignes asymptotiques; comme elle peut se ramener à la forme

du dv

elle ne peut admettre deux intégrales distinctes sans se réduire à une identité.

724. On déduit de cette remarque une démonstration très simple de la proposition de M. Bonnet, déjà établie au Chapitre II [p. 239].

Si deux surfaces gauches (S<) et (S2) sont applicables Vune sur Vautre, les génératrices rectilignes se correspondent sur les deux surfaces, à moins qu!elles ne soient, Vune et Vautre, applicables sur une surface du second degré {?>) de telle maniérée que les génératrices rectilignes de (84) et de (S2) correspondent aux deux systèmes différents de droites de (S).

(') Journal de V École Polytechnique, XLII" Cahier, p. 44-

En effet, supposons les deux surfaces rapportées au même système de coordonnées, et soient a, ^ les paramètres des deux familles de génératrices rectilignes de (S^) et de (So). D'après la remarque précédente, p étant le paramètre des génératrices rectilignes de (So), l'équation

A(a', A?)-2A2?A{a', p) = e(P, log/Oe(?, a')

sera une identité, c'est-à-dire qu'elle sera vérifiée quelle que soit la fonction rt! . Pour la même raison, l'équation

A(3', Aa)-2A2aA(P', a):=e(a,logA')0(a, ^')

aura lieu pour toutes les fonctions ^' , Remplaçons, dans la première, a! par a et, dans la seconde, ^J par p : nous retrouverons les deux équations (40* ^^ ^^^ équations expriment que a et ^3 sont les pai^amètres des asymplotiques d'une surface admettant l'élément linéaire donné, H y a donc une surface (S) applicable sur les deux surfaces réglées et admettant pour asymptotiques les courbes de paramètres a et p. Mais, comme toutes ces courbes correspondent à des droites de (S^) ou de (So), elles sont géodésiques et, par conséquent, ne peuvent devenir asymptotiques sans se réduire à des droites. La surface (S) est donc doublement réglée; et ainsi se trouve complètement démontrée la proposition que nous avions en vue.

72o. On peut introduire d'une manière toute différente la considération des lignes asymptotiques.

Soient u et ç les coordonnées curvilignes d'un point de la surface, a et p les paramètres des deux familles d'asymptotiques. Au lieu de chercher les expressions de a et de ^ en u et t^, proposonsnous de déterminer u et p, considérées comme fonctions des deux paramètres a et p.

Pour cela, nous remarquerons que, si l'on conserve toutes les notations du Tableau I [II, p. 882], l'équation différentielle (4) des lignes asymptotiques peut être remplacée par le système des deux suivantes . ,3 . \ pdu -hi?i dç = }.(? du 4- Çi <rZp),

OÙ X désigne une inconnue auxiliaire. Si, pour la déterminer, on

élimine -^ entre Içs deux équations précédentes, on est conduit,

en tenant compte d'une des équations du Tableau (A), à Féquation

qui nous donne

(44) ^'=K5^ = ^""' A=zt>t.

Ainsi \ est un invariant dont on connaît la valeur. En prenant successivement les deux signes, on est conduit successivement aux deux systèmes

(45) < i du di* \ f au ôç

^■* ' '^ du ào ^ / au àv

qui permettront, par exemple, de calculer/?, q,p^^ q^. En portant les valeurs obtenues dans le système (A), on aura les équations aux dérivées partielles qui déterminent u et ^, considérées comme fonctions de a et de p.

Le calcul est beaucoup abrégé si l'on écrit, par exemple, la première de ces relations sous la forme, qu'il est aisé de vérifier,

à l du dç\ ù f du dç\ f du dv\f du dv\

/ du dQ\ I du dv\

r. 1 ^ du , dv du , di> Il

Ln remplaçant/?^ — [-/>< 'a~^ Pâo -^P^ 30' * • •' P^ir leurs valeurs

déduites des formules (45), on trouvera

.. dUi -.y d^if dudufdl^ . \ dçd^>[dl\x . \

/du dç du £}p\ [dVc (îX|i . , \

Cette relation peut même se décomposer en deux autres, à cause de l'indétermination des translations Ç, v), i^, yl^ qui sont assujetties seulement aux trois conditions

En annulant successivement ^ etÇ^ et remplaçant les trois autres translations par leurs valeurs déduites des équations précédentes, on obtiendra ces deux équations aux dérivées partielles

âoid^ d<x d^\ du du du dv )

\da dp (jp da)\ dv dv du)

\d% d^ d^ à'xjx du du dv J

Elles sont, on le reconnaîtra aisément, nécessaires et suffisantes ; de sorte qu'il suffirait de les intégrer pour obtenir les deux familles d'asymptotiques, par suite les six rotations (n° 722) et la surface elle-même.

726. Pour indiquer au moins une application, supposons que l'élément linéaire soit donné par la formule

(47) ds^ = du^-^^au^-h^bu h- c) dç^,

où a, b, c désignent des constantes. On aura ici

E = i, F = o, G = aM2+a6î^4-c, /c^ \/ac-^b^ ^

Les deux équations en i^ et (^ deviendront

à^u ^ (^logG du du i dO dç di? doLd^ du <)a d^ ~~ 2 5k 5â âp ^ ^'

d^v \ dad^ '^^'

ÉQUATION AUX DÉRIVÉES PARTIELLES, ETC. agi

La seconde s'intègre immédiatement et admet deux solutions distinctes

qui peuvent être remplacées par les suivantes

sans que la généralité soit diminuée.

La première solution (^ = a fait évidemment connaître les surfaces réglées admettant l'élément linéaire donné. La seconde,

nous conduit pour u à l'équation

d^u ^ ô\o^G du du i <)G __ doL d^ du 5â Jp ""■ ï 5w "" ^'

Prenons, par exemple,

= w; on trouvera, en posant

que 0) doit satisfaire à l'équation

On sait intégrer cette équation (^); mais nous ne poursuivrons pas ici les calculs, que nous retrouverons plus loin et qui conduisent à la détermination de toutes les surfaces applicables sur les développées des surfaces minima,

(*) Son intégrale est déterminée par la formule

OÙ A et B désigncnl des fonctions arbitraires de a et de p respectivement. Elle a été donnée, en premier lieu, par M. Liouville, qui Ta déduite de la remarque suivante : l'équation aux dérivées partielles (5o) exprime que la surface dont l'élément linéaire a pour expression

a sa courbure constante et égale à i.

Si la constante a n'est pas nulle, on pourra ramener G à la forme (01) ç,^u^^h\

et, en posant

(5'2) ïi = ôtang--,

on reconnaîtra que co doit satisfaire à Féquation

La valeur (5i) de G convient à Falysséide et à l'hélicoïde minimum (n°^ 66 et 68). C'est donc de l'intégration de l'équation précédente que dépend la détermination des surfaces non réglées qui sont applicables sur ces surfaces. Nous retrouverons plus loin ce résultat.