Considérons en premier lieu l'hyperbole auxiliaire

dont la construction détermine la série des lignes de courbure à projections elliptiques, comprises dans l'équation

^ peut croître depuis la valeur a\a^— b\

jusqu'à l'inimi, et les valeurs correspondantes de v)^ sont

^^?=42 fe)

304 LIVRE Vî. CHAPITRE V.

o, 00 . D'après l'hypothèse sur l'ordre de grandeur des lignes a,A,c, on a toujours n^ < $*, et toutes les projections elliptiques ont leur grand axe dirigé suivant les x {Jig» 97). L'ellipse se change en ligne droite et se confond avec l'axe même des jc, lorsqu'on prend y)*=o. Elle se confond avec la section de l'ellipsoïde par le planx/, lorsqu'on fait Yi*=è^, d'où ^*=a^ Pour de plus grandes valeurs de 71* les ellipses données par l'équation (/), quoique toujours réelles, sont étrangères aux lignes de courbure de l'ellipsoïde.

Considérons à son tour l'ellipse auxiliaire

dont la construction détermine la série des lignes de 1 courbure à projections hyperboliques !

Ç* peut croître depuis zéro jusqu'à la valeur {g)^ tandis que 71* décroît depuis la valeur

jusqu'à zéro. L'hyperbole (/j) se confond à la première |

limite avec l'axe des ^ et à la seconde avec l'axe 1

des X.

Il résulte de cette double construction, que toutes les i lignes de projection, elliptiques et hyperboliques^ tournent leur concavité vers les deux points situés sur l'axe des Xj qui ont pour abscisses

et qui sont les projections sur le plan xy des quatre ombilics de l'ellipsoïde [283].

Nous aurions encore à discuter les solutions données par l'équation (e,); mais comme le coefficient A est positif , par suite de l'hypothèse, le facteur A^'*-]-i, égalé à zéro, ne saurait donner de solution réelle; et

requation-7=: o, combinée avec (^), reproduit la solution déjà obtenue x=:o.

495. Si l'on avait supposé a<b<c, les coefficients A,B seraient toujours restés positifs, et rien n'aurait été changé à la discussion qui précède, si ce n'est qu'on aurait trouvé les grands axes des projections elliptiques dirigés suivant lesjK".

Il ne s'agit donc plus que de construire les projections des lignes de courbure sur le plan qui comprend le plus grand et le plus petit axe de Tellipsoïde, et qui devient celui des ay dans L'hypothèse

Le coefficient B reste positif; mais comme le coefficient A devient négatif, il résulte de l'équation (8) que Içs deux valeurs de la constante a sont toujours de même signe. Nous disons de plus qu'elles sont toutes deux négatives, ce qui supposi; Tinégalité aj— A/î— B<o,

ou, par la substitution des valeurs de A,B, ^ g'— c» ^,' c^ — b^

Mais, de ce que le point (^09^09^0) appartient à la surface de l'ellipsoïde , il résulte

(le signe < n'excluant pas le cas d'égalité) ; et si cette

inégalité est satisfaite, la précédente l'est à fortiori ^ car

T. n. ao

306 LIVRK VI. — CHAPITRE V.

les rapports

sont plus petits que l'unité, par suite de Thypothèse sur Tordre de grandeur des lignes a^b^c. De plus, en vertu de l'équation (7) et des signes de A,B,a, la constante p est toujours positive.

En conséquence, on peut poser -= — Ç%p=:7i*;(le

sorte que la double série des lignes de courbure se confond avec la série des ellipses qu'on obtient en faisant varier dans l'équation

les paramètres Ç,yi qui sont eux-mêmes les coordonnées d'une ellipse auxiliaire

a^a'—b^y b^a'—b") Le paramètre Ç* varie entre les limites

tandis queyi^ varie entre les limites

Quand on prend S*=o, l'ellipse (/i) se confond avec l'axe des /, et elle est allongée dans le sens des^*

tant qu'on a Ç*<— 7-- Elle devient un cercle lorsque Ç* atteint cette valeur, puis s'allonge dans le sens des ,r pour des valeurs croissantes de $*; se confond avec la section de Tellipsoïde par le plan jç/ quand on a $'=«*; s'allonge de plus en plus, et finalement se confond avec Taxe des x quand ^^ atteint sa limite supérieure, ou lorsque yi* s'évanouit {^g, 98).

APPLICATIONS GEOMETRIQUES. 307

Il reste à considérer la solution singulière donnée par l'équation

Ay»4-i=o, solution réelle à cause du signe négatif de A. La valeur de^' qui s'en déduit, étant substituée dans (^), donne *•(«• — c')x^ ± 2ab j/(rt»~c>)(c» — 6*) . ^7 H- a'(^ — *'}r*

et cette dernière équation se décompose dans les deux suivantes

qui sont les équations de quatre droites passant par les sommets de l'ellipse auxiliaire (lo). D'après la théorie des intégrales singulières, ces quatre droites doivent toucher toutes les ellipses données par l'équation (yj), comme on peut le vérifier en ayant égard à l'équation (lo) qui ne laisse arbitraire qu'un des paramètres $,Y1.

La section de l'ellipsoïde par le plan xj^ étant l'une des lignes de courbure, touche les quatre droites qui viennent d'être déterminées, en quatre points op\o\o"\ qui sont précisément les ombilics de la surface. Car on trouve pour les abscisses de ces points

et dans cette formule, 6 désigne le plus petit axe de l'ellipsoide, c l'axe moyen, en sorte qu'elle se confondrait avec la formule {h) si l'on désignait par h l'axe moyen et par c le petit axe, ce que ces lettres représentent en effet dans l'équation (Ji).

La $olution — = 0 ne ferait que reproduire les solu-

lions particulières o.'^o, yz=zo.

ao.

308 LIVBE VI. CHAPITRE V.

L'élëgante consti*uction des lignes de courbure de l'ellipsoïde a été donnée par Monge, et M. Leroy y a apporté un perfectionnement en tenant compte du facteur Ar''-|-i pour obtenir directement la solution singulière, ce qui rentre au surplus dans la théorie générale.

496. Nous avons dit [277], et l'on pourrait admettre comme évident que la sphère est l'unique surface qui ait en tous ses points ses deux rayons de courbure égaux et dirigés dans le même sens. Afin de ne rien laisser d'essentiel à désirer dans cette partie importante de la théorie des surfaces, nous placerons ici la démonstration de la proposition que l'on vient de rappeler.

Les deux, équations aux différences partielles qui doivent être satisfaites en tous les points de la surface dont il s'agit, sont [28a]

et elles peuvent être écrites sous la forme

dy ^ , dx

Dans l'intégration, il faut remplacer la constante arbitraire par une fonction arbitraire de la variable indépendante , autre que celle relativement à laquelle l'intégration s'opère, et ainsi l'on a

d'où

<fx jjjr

• P~ V^i— (<px)>— (^ir)»' ^~V/'i-^(<P*)»-(4r)»'

, (fx.dx-^ify.df

l/^i— (<p)«— ((fer)»

Mais l'équation de toute surface doit satisfaire à la condition d'intégrabilité

APPLICATIONS GÉOMÊTRIQUKS. 309

et cette dernière équation doit se vérifier identiquement, c'est-à-dire indépendamment des valeurs de t, /. Par conséquent , il faut qu'on ait

7 désignant une constante arbitraire. De là on tire en intégrant

et en intégrant de nouveau

équation d'une sphère dont le rayon et les coordonnées du centre sont arbitraires.

497. On sait [ia6] que les projections en xj- des lignes de niveau et des lignes de plus grande pente d'une surface ont respectivement pour équations différentielles

Cela posé, si une famille de surfaces est caractérisée par une équation aux différences partielles de la forme

/f •^:iy,- j=o, on a /(^,j^,^')=: o, pour Téquation

différentielle' des lignes de plus grande pente, commune à toutes les surfaces de cette famille.

Par exemple, les surfaces de révolution autour de l'axe des z étant caractérisées [-254] P^r l'équation aux différences partielles /?7-=çx, l'équation des lignes de

plus grande pente est xy^=yy So\3iy=.cx^ c désignant une constante arbitraire; et en effet les lignes de plus grande pente se confondent avec les méridiens de la surface qui se projettent en xj suivant des lignes droites passant par l'origine.

De même les surfaces conoïdes droites [12 53], dont l'équation aux différences partielles est /?,r= — qy^ ont, pour l'équation différentielle des projections de leurs lignes de plus grande pente, ^y=: — x, d'où ^*-|^*=ic^; c'est-à-dire que les lignes de plus grande pente, pour toutes les surfaces de cette famille, se projettent suivant des cercles dont le centre est à l'origine des coordonnées; comme on le conclut de ce que toutes les lignes de niveau sont des droites passant .par Taxe des z.