GIT

et ]S = 0 représente le lieu des coniques doubles de toutes les surfaces représentées par l'équation (23), quand on y fait varier a.

Nous connaissons maintenant les différents lieux que doit occuper le point M pour que l'équation en X, qui détermine les normales menées de ce point, acquière une racine double.

Nos équations générales s'appliquent aussi à la discussion

300 SL'a UNE CLASSE REMARQUABLE

des plans tangents menés par une droite à la surface, et dans ce cas nos différents lacteurs du discriïïiinant (18) reçoivent de nouvelles interprotations géoméliiques.

Supposons ici que les m,- , w',. soient les coordonnées de deux plans; alors les m, -f- fem', seront les coordonnées d\iu plan passant par l'intersection des deux premiers, et les calculs que nous avons faits donnent la solution du problème suivant : Mener à la cycîido un plan tangent par une droite donnée (/«,- , m']). Voyons dans quels cas Féquation en À aura ici une racine double.

G — 0 exprime que la droite est tangente à la développable formée par les pians ayant un contact stationnaire avt^c la cyclide. Cette développable est donc de la 24^ classe.

Qf — 0 exprime que la droite est tangente du cône enveloppe des plans tangents doubles passant par le centre de la sphère (S,.) .

V — 0 est la condition de contact d'une droite et de la cyclide.

L'interprétation de l'équation

M — 0 est un peu moins simple.

Quand une droite satisfera à cette équation, on pourra mener par elle deux plans tangents de même rapport anharmonique à la cyclide; elle sera donc une tangente double de l'une des développables définies à la fm de la Note précédente, qui sont les enveloppes des plans tangents de la cyclide, ayant même rapport anharmonique (*).

i') Il ne sera pas inalile de lever ici une objection qu'on pourrait adresser à notre raéiliode. Quand la droite rencontre une des seize droites S de la cycUde, le plan mené par les deux droites est un plan tangent double, d'une espèce particulière, et il doit être compté pour deux. Mais comme ce plan tangent double n'a pas 'e même rapport anharmonique pour ses deux points de contact, il sera donné par deux racines différentes de notre équation en X. Voilà pourquoi nous ne le trouvons pas en exprimant que l'équation en ^ a deux racines égale?.

DK COURBES ET DE SURFACES ALGÉBiUQLES. 301

On voit par ces exemples que le problème général d'élimination résolu au coimnencement de cette Note conduit à un grand nombre de conséquences géométriques. Il donne la surface des centres ou la développée de la cyclide, la condition de contact d'une droite et de la surface, la développable formée par les plans tangents stationnaires, etc. Les méthodes que nous avons suivies nous paraissent d'ailleurs applicables à toute équation

qui serait d"un degré quelconque en k , au lieu d'être du second degré, comme dans Texemple que nous avons traité, ou du premier degré, comme dans le problème des normales aux quadriques.

Proposons-nous maintenant de rechercher le nombre des normales à la cyclide contenues dans un plan quelconque. 11 est clair que cette question est comprise dans la suivante :

En combien de points une sphère est-elle normale à la cyclide?

Soit une sphère (m,) . Les conditions pour qu'elle soit normale au point (a;,) sont les suivantes (Note XI),

Ces deux équations représentent iin cercle qui coupe la cyclide aux points clierchés. Donc toute sphère est normale en quatre points. Si elle se réduit à un plan, celui-ci sera normal en quatre points, et par conséquent contiendra quatre normales de la cyclide. La géométrie conduit au même résultat.

Nous allons, en terminant, déterminer la classe de la surface des centres de courbure. A cet effet, étant donnée la sphère (m,), cherchons la condition pour qu'elle soit normale en deux points consécutifs. S'il en est ainsi, il est clair qu'elle coupera la cyclide tangentiellement à une ligne de courbure.

Pour que la condition précédente soit remplie, il faudra que

:}02 SUR l'NK CLASSE REMARO'JABLE

le cercle défini par les équations (^5) soit tangent à la cyclide, et par conséquent qu'une sphère

passant par ce cercle soit tangente à la cyclide en un point (a:.) du cercle. On devra donc avoir, en identifiant réquation précédente à celle d"uae sphère tangente au point (>r,-) .

(A,- + p) rtii ~ Xi {Ai -h a) .

Exprimons que le point (x-} se trouve à la fois sur le cercle et sur la oyclicie; nous obtiendrons les équations suivantes,

■' 7 niç' (A.- H- 6) = 0 , W 2 A.. + ). =^'

f V nu°(Ai-hi)

\ ^ rA. + vf ~

La première détermine ^ . Éliniiner À entre les deux autres, c\st exprimer que la seconde a une racine double. Or, cette seconde équation n'est que du 3^ degré en À, en vertu de la première. On sera donc conduit, en égalant son discriminant à zéro, à une relation (27) <i>(m.) = 0,

du -i® ordre par rapport aux coefficients de cette équation, c'est-à-dire, en remplaçant p par sa valeur, du 16* ordre par rapport aux m,.

Les plans satisfaisant à l'équation précédente sont évidemment les plans normaux principaux de la cyclide, et ils enveloppent la surface des centres. Celle-ci est donc de la seizième classe.

Cherchons, par exemple, les plans tangents à la surface des centres et passant par un des pôles principaux, le centre de (S,) par exemple. Pour ces plans on aura

a seconde des équations (26) devient

Si Ion prend \ — — A, , on est conduit à un cône de la quatrième classe à compter deux fois.

Si l'on choisit le second facteur.

on a à exprimer que l'équation précédente, du second degré en À, a une racine double, et i'oa trouve ainsi un cône de la huitième ciasse. Les propriétés et la génération de ces deux cônes peuvent être -trouvées par la géométrie.

Mote Xlll.

Sur les cyclides homofocales et orthogonales et sur leur surface des centres de courbure.

Nous avons vu dans le texte (art. 47) que l'équation

OU

représente, quand on fait varier a, un système de cyclides orthogonales. On peut démontrer d'une manière simple que ces cyclides sont homofocales, et indiquer quelques propriétés de la développable qui leur sert d'enveloppe. Soit, en effet, une sphère

(2) Nw.dc, — 0.

La condition pour qu'elle soit tangente à la cyclide est que l'équation en .",

ait une racine double. En posant u = r~- , l'équation précédente prend la forme

— 7 Wi'

^ ' / + « ul — a,-

et l'on a à exprimer qne cette équation a une racine double.

Si la sphère est de rayon nul, l'équation précédente devient (*)

ïé,,

Le discriminant, de cette équation est évidemment indépendant de a . Donc toutes les sphères de rayon nul ou tous les plans taniji'nts au cercle de l'infini, qui sont tangents à une cijclide, sont aussi tangents à tontes les cyclides orthogonales ; c. q. f. d.

En exprimant que l'équation (5; a une racine double, on trouvera une équation du 8® ordre par rapport aux quantités m, . Donc, si l'on considère les ra, comme les coordonnées d'un point sphère placé sur la développable focale, on voit que cette surface est du 16® ordre, ce qui est d'accord avec un résultat de l'article 51, relatif à son intersection avec une sphère. Au contraire, si l'on considère les r». comme les coordonnées d'un plan, qui sera alors un plan tangent de la développable, Téquation étant du 8^ ordre, la développable sera de la huitième classe.

Nous savons d'ailleurs que cette surface a cinq lignes doubles du 4-* ordre et une ligue octuple, le cercle de rinlini.

Les cyclides orthogonales donnent lieu à un système de coordonnées curvilignes analogue à celui des coordonnées elliptiques, et dont nous avons exposé quelques propriétés (art. 51).

On peut présenter ce système avec une plus grande généralité, et obtenir des résultats nouveaux, en raisonnant de la manière suivante.

Étant donnée une sphère (w.) , l'équation (4) aura, en général, quatre racines distinctes p , p, , ?î , ?3 .

{*) L'hypolhèse X = « que nous négligeons coiiduiiaiL aux points de la surface considérés comme sphères de rayon nul.

306 Sun UNE CLASSE REMARQUABLE

On ppiit prondrp ces quatre racines pour déterminer la splière. et alors on aura l'identité

•r zJLUil 'S -^ - ^(X — p)^;— = ,](). — p,)(). — P3) ,

en posant

o(>) = ii— aj(>— a,) ... a — flj.

M e^t d'ailleurs un coefficient doîit il est inutile de connaître la valeur, et qui multiplie À* après qu'on a chassé les dénominateurs dans l« premier membre de l'équation (6).

Faisons, dans cette identitô, successivement X = a et X = ni ; nous aurons

On obtient ainsi les coordonnées rrii de la sphère en fonction des racines p , 0, , p, , p, .

On voit, à cause des doubles signes qu'on peut donner à 7»/, qu'il y a seize sphères correspondantes à un système de valeurs de p , ?i , ?v . ?». Ces seize sphères forment un système anallagmatique par rapport aux Cinq sphères (S,).

Une fois connues les coordonnées m., on aura le centre et le rayon de la sphère par les formules (7) et (11) de la Note X.

Si X , Y , Z , T sont les coordonnées cartésiennes homogènes du centre, et R le rayon, ces formules nous donnent

^^L-^' ^-Z-r7 ^-Z-rT

•Cela posé, si la sphère considérée devient tangente à la

DE CGIRBES KT DE Sl'RFACES ALGÉBRIQUES. 3Ô7

cyclide, nous savons que (icux racines de Téquation (4) deviennent égales. On aura donc, par exemple,

et par suite les formules (8) deviendront

^Y^ = (^-^n)y''^Z!ltr''

Lorsque, laissant o , ç, constants, on fait varier «, on a une suite de sphères , toutes tanp;entes an rnême point de la cyclide, celui qu'on obtient en faisant « = a ; car, pour cette valeur de m, le rayon devient nul. et la sphère tangente se réduit à son point de conlact. On trouve ainsi, pour les coordonnées d'un point de la cyclide,

Ce sont les formules du texte (art. 50V ? et p. sont donc les coordonnées curvilignes du point de contact de la sphère tangente à la cyclide, telles qu'elles ont été définies à l'article cité.

Si dans les formules (10) on donne à m une valeur constante h , on ohtient, en faisant varier p , p, , toutes les sphères tangentes à la cyclide et de même rapport enharmonique. Les centres de ces sphères décrivent alors la surface du 4^ ordre considérée dans la Note XI.

Si, au lieu de donner à « une valeur constante, on lui donne la valeur ? ou p, , trois racines de l'équation (4) deviennent égales, et la sphère est osculatrice h la cyclide. Ainsi, les équations

BT (a,) [lit — a)

(13) y„,.^M(-ri>-f,)

déterminent toutes les sphères osculatrices, quand on donne à 0 et à p, toutes les valeurs possibles. Les centres de ces sphères décrivent la développée de la cyclide, et l'on aura par conséquent les expressions en p et Cj des coordonnées des point? de cette surface, en substituant dans les formules (9) les valeurs de 7»; tirées de l'équation (12).

Si les quatre valeurs c , p, , p, , pj sont deux à doux égales, si ron a, par exemple,

Pi= p r p, = pi, les formules deviendront

yM{ai—p)(a,—^,) (i4) ' '

Mais on sait que, si l'équation en 1 relative à deux quadriques a deux racines doubles, ces surfaces se coupent, en général, suivant une droite et une cubique gauche, qui rencontre la droite en deux points distincts. On voit donc que, dans l'hypothèse que nous examinons, la sphère coupera la cyclide suivant une droite et une cubique gauche.

A cause des différentes combinaisons de signes des radicaux dans les formules (l^), on voit qu'il y a seize séries de sphères. Ces seize séries correspondent évidemment aux seize droites de la cyclide. On peut d'ailleurs trouver les équations de ces droites.

L'une des sphères aura pour équation

elle contiendra donc tous les points satisfaisant aux équations

(Ifi) \

et ces équations représentent, par conséquent, la ligne droite commune à toutes les sphères.

Les quantités w< étant, dans les formules (14), des fonctions linéaires de pp, et de p -f p, , les centres des sphères de chaque série décriront un plan. Ce résultat est évident par la géométrie. Car soit d une droite de la cyclide, qui rencontre le cercle de rinfini. Toute sphère contenant cette droite aura son centre dans le plan tangent au cercle de Tinfini mené par cette droite.

Enfin, si les quatre racines p deviennent égales, on a

y a' (ai) (a, — a)

Les sphères correspondantes ont un contact plus intime avec la surface que les sphères osculatrices ordinaires; elles coupent la cyclide suivant une de ses droites d et suivant une cubique gauche tangente à la droite. Les centres de ces sphères décrivent des coniques (Q) , situées dans les seize plans des centres déjà définis, et ces coniques sont évidemment sur la surface des centres de courbure ou développée de la cyclide.

Les seize coniques (Q) correspondent évidemment aux différentes combinaisons de signes dans les formules (17); elles ont donc en commun les points correspondants aux valeurs a, , a, , a, ,a^ , a, de p , qui annulent une des quantités m, .

Parmi les sphères précédentes, quarante, correspondantes aux valeurs

io = a, ,

coupent la cyclide suivant deux droites et suivant un cercle passant au point de rencontre de ces droites, point qui est un ombilic de la cyclide. La cyclide a donc quarante ombilics et les seize coniques (Q) sont tangentes les unes aux autres aux ombihcs. Chaque conique est tangente à cinq autres, et la tangente commune à deux d'entre elles est la normale à la cyclide en un ombilic.

Pour tous les points de ces coniques, trois normales à la surface viennent se confondre en une seule, la tangente à la conique au point considéré. Pour les points de contact de deux coniques, quatre normales viennent confondre leurs pieds à 1 ombilic correspondant.

Les propriétés que nous rencontrons ici sojit analogues à celles que M. Clebsch a découvertes pour la surface des centres de courbure des quadriques. On peut compléter Inualogie en remarquant que le plan des: coniques (Q) est tangent :i la développée en tous les points le ces coiiiques.

En effet, si dans l'équation (10) on permute o et a . on aura une sphère tangente â la cyclide (c) et nor/nate à 1-a cyelide (a), qu'elle coupe tangentlellemcnt a une ligne de cou/nure. Ainsi les équatijns

conviennent à toute sphère normale a la cyclide proposée, et la coupant tangentiellemenl à une dire<-tion princij>alc.

On aura donc le plan normal principal, si l'on dispose de m ûc telle manière que les formules (18) conviennent à un pl-n. ce qui donne.

ou

(20) ^ î^i=il^i / ^^i^:A!^i:rPÀ

Kn llranl do cette liquation la valeur de a cl la portant dans (18), on aurait les expressions des coordûnnées d'un pian tangent à la développée en fonction des paramèlres p , ?, .

Les seize coniques (Q) correspondent à l'hypothèse

et alors l'équation (20) donnera pour u une valeur constante. Quant aux équations (18), eilos fournissent pour m, des nom-

1>E COURBES ET OE SURFACES ALCÉBftiQUES. 341

bres fixes, et nous montrent aiusi que le plan tangent demeure le même en tous les points des coniques (Q) .

Un raisonnement par analogie nous conduirait même à affirmer que ces plans Ont, comme dans le cas des quadriques, un contact du deuxif^me ordre avt^c la développée.

Du resle^ la développée a d'autres lignes multiples, une ligne double et cinq lignes de rebroussetnent, qui sont les lieux des centres des splières osculatrices en tous les points des sections de la cyclide par les cinq sphères directrices. Mais nous laisseroiis au lecteur le soin d exauimer plus complètement ces différentes questioTas.

IVote XIV.

Sur quelques propriétés de géométrie infinitésimales relatives aux cyclidtB.

On peut utiliser les formules données dans les Notes précédentes, et donner pour différentes surfaces, se rattachant d'une manière directe aux cyclides, l'expression de la distance de deux points infiniment voisins.

Soient

(4) ^A.av'^O

réquation de la cyclide, et

celle d'une sphère. L'équation

> niiXi = 0

a quatre racines, au moyen desquelles nous déterminerons les m, , et en posant

on aura, comme dans la Note précédente, v5) ''"' = hÂ7)'

et l'on démontrera par les procédés connus l'équation

En nous reportant à la formule (24) de la Note X, nous voyons que, si x , y , z désignent les coordonnées cartésiennes du centre de la sphère (2) et R le rayon de celle sphère, on obtient ici

On a d'ailleurs, d'après la formule (11) de la même Note, (8i • - '"•

et Ton déduit de ces équations les conséquences suivantes. D'abord, si Ton fait

la sphère devient tangente à la cyclide, et la formule (7) se réduit à la suivante,

ldx^-^dr,-dz^ = d^*^K'^^'-'^^i''''^''^'*

C'est l'expression du ds* dans un système orthogonal, formé des surfilées parallèles à la cyclide et des développables qui les coupent à angle droit. La variable u sera donnée en fonction de R par l'équation (8), qui est du premier degré en «, puisqu'on a ici

Si l'on suppose R constant, on aura ds^ pour la surface parallèle à la cyclide,

ds^ Si Ton suppose que R croît indéfinimont, -^ tendra vers

n une valeur finie d(7% et la formule

(^-.ydn

(,,, .v = (,-,)[(fr^'

Af,)

cù -j est la limite de u, définie par l'équation

donnera la représentation sphériqûc de la cycîtde. On voit que, u étant une fonction de f et de p, , les lignes qui composent cette représentation ne sont pas isothermes. Enfui, si l'on fait

trois valeurs de p devenant égales^ la sphère sera osculatrice, et l'on aura

(13) dx'' + df'hdz' — dW''hR'^^'^l'{'^^''^

c'est-à-dire le carré de la distance de deux points infiniment voisins sur la surface des centres de courbure de la cyclide. Cette expression met en évidence le système des li^es géodésiques qui correspondent sur la développée aux lignes de courbure de la proposée.

DE COUHBES E4 DE SUKFACËS ALGÉBRfQUpS. 313

iVote 'XW

De différents systènies de lignes déËnies par des propriétés différentielles et qu'on peut déterminer £ur toutes les cyolides.

Nous nvons, dans le cours de cette étude, appris à déterminer plusieurs systèmes de lignes trocées sur les cyclides. On connaît :

l** Leurs lignes de courbure, qui sont algébriques;

20 Leurs lignes de longueur nulle (art. 51). Elles sont définies par cette propriété que leurs tangentes vont rencontrer le cercle de linfini. Il résulte de là que l'on saura déterminer sur toute surface du troisième ordre les lignes dont les tangentes vont rencontrer une conique fixe quelconque de 6ette S'.irface. En effet, on peut toujours transformer par l'homO' graphie une surface cubique en cyclide, une conique déterminée de cette surface devenant le cercle de l'infini, et alors les lignes dont les tangentes allaient rencontrer cette conique se transforment dans les lignes de longueur nulle de la cyclide.

S^ On connaît aussi les lignes de courbure de la cyclide. quand on prend pour absolu, suivant la défmition de M. Cayley (art. 02 et Note V)^ non plus le cercle de Tinfini. mais une i/uadrique quelconque inscrite dans la cyclide, ou, si la cyclide est du troisième ordre, une conitjiie quelconque de cette surface. Ces lignes sont algébriques,

4° On connaît encore, dans les mêmes hypothèses, les lignes de longueur nulle (Note Y), c'est-à-dire celles dont les tangentes demeurent aussi tangentes à une quadriauc fixe inscrite dans la cyclide.

Nous nous proposons d'intégrer dan<5 cotte Note les équations difieientielles de différents auties systèmes de lignes.

3i6 SUR UNE CLASSE REMAR(iUABLE

Soit un point M d'une surface; la sphère normale en ce point à la surface et orthogonale à deux sphè^i^s fixes est évidemment déterminée par ces conditions. Elle coupe le plan tangent suivant une droite qu'on peut considérer comme ia tangente à une courbe tracée sur la surface. On aura ainsi un système de courbes définies par cette propriété, qu'il y a une sphère qui leur est tangente en chaque point, qui est normale en ce point à la surface, et en outre orthogonale à deux sphères fixes,

La détermination de ces lignes peut se faire sur toute cyciide/au moins si Ton prend pour les sphères fixes deux des sphères directrices.

Soit

l'équation d'une cyclide; supposons que les sphères tangentes à la courbe doivent être orthogonales à (S,) et (S,). Leur équation sera

Pour que la sphère représentée par cette équation soit normale au point {x,} de la cyclide, il faut (Note XI) que l'on ait

Comme la sphère est tangente à la courbe cherchée, on doit avoir

m^dx, + 7n^dx^ + m^^dx^ = 0 .

Eliminons m^ , m, , m^ entre ces équations ; nous trouvons l'équation différentielle

(2) (A.-AJ ^ -+- (A3-AJ ^^ + (A.- A,) ^^ = 0 ,

ou, en intégrant

Telle est l'équation des lignes cherchées.

DE COURBES ET DE SURFACES ALGÉBP.lQl ES. 3i7

Quand la cyclide se réduit à une quadrique, deux des cinq sphères (S,) sont rejetées à l'infini; les trois autres deviennent les plans principaux. Les courbes précédentes se transforment en deux espèces de courbes sur les quadriques : 1° les lignes de plus grande pente, un des plans principaux étant horizontal; S*» les lignes telles que la normale à ces lignes, située dans le plan tangent à la surface, aille rencontrer un axe de cette surface.

Considérons maintenant les courbes telles qu'il y ait une sphère passant par trois de leurs points consécutifs, ou, ce qui est la même chose, par leur cercle osculateur, normale ù la surface et orthogonale à une sphère fixe (S). Ces lignes, comme nous Talions montrer, ont des propriétés analogues à celles des lignes géodésiques.

En effet, étant donnée la sphère (S) , considérons une suiface (B') , et soumettons-la au mode de transformation défini par les formules (14-) de Tarticle 44. Alors ù (B') correspondra une anallagmatique {!) ayant pour sphère directrice (S) , et pour déférente la polaire réciproque (B) de (B') par rapport à (S) . Cela posé, considéions sur (B') les lignes géodésiques, en prenant pour absolu la sphère (S) (Note V).

Ces lignes géodésiques (g) sont définies par une double propriété. Elles rendent minimum Tare

(4) fd.

mesuré par rapport à (S) , et de plus leur plan osculateur est normal au plan tangent de la surface. A ces lignes correspondront sur (2) des lignes (^,) , rendant minimum l'intégrale

où s désigne la puissance par rapport à la sphère (S), efqui

est la transformée de /de-. De plus, au plan osculateur des

lignes {y) correspond la sphère passant par trois points consécutifs des lignes (<jf,) et orthogonale à (S). La propriété du

3i8 SUR UNE CLASSE RKHaP.QUABLI^

j ian osculateur des lignes (g) entraîne donc la suivante pour les ifgnes {g,} :

Les lignes définies sur toute surface par la condition qu'une sphère passant par leur cercle osculateur et normale à la surface soit en même temps orthogonale à une sphère fixe (S) possèdent la propriété de rendre minimum l'intégrale

rds J s '

oii ds désigne la différentielle de l'arc et S la puissance par rapport à la spliere (S) .

On peut faire ici une remarque qui nous sera utile. Les lignes qui lendent minimum, entre Jeux points quelconques de l'espace, 1-iutégrale précédente sont les cercles orthogonaux à (S) . En effet, les lignes qui dans la figure (D) rendent

miamium Ida sont des lignes droites (Note V) , et par conséquent elles ont poui transformées iUm la figure (2) des cercles orthogonaux à (S>, qui rendent minimum l'intégrale | -g ,

transformée de / J?.

Comme les cyclides sont les transformées des quadriques, et qu'on sait déterminer les lignes géodésiques de toute quadrique (B) , en prenant pour absolu une quadrique quelconque (S), on voit qu'on saura déterminer sur toute cyclide les lignes dont il est ici question. Si la cyclide devient l'inverse d'une quadrique, ces lignes sont les inverses des lignes géodésiques de la quadrique. Ainsi, quand la cyclide dégénère en quadrique, ces lignes deviennent des géodésiques.

Ou peut aussi déterminer sur les cyclides les lignes pour lesquelles la sphère osculaîrice est tangente en chaque point à la suî'facc (*)<

(') Voir une Noie de l'auteur. Comptes rendus, t. LXXlIf, p. 732.

DE COURBES ET DE SURFACES ALCt^BRIQUES. ^Id

Soit

l'équation d'une cyclide. Celle d'une sphère tangente au point (x,) sera

et l'on sait que, si X reste constant, toutes les sphères tangentes correspondantes ont le même rapport anharmonique. Leurs centres sont sur une surface du quatrième ordre à conique double, qui a été étudiée dans la Note XI.

Exprimons que la sphère (7) contient quatre points consécutifs d'une courbe passanl au point (a:,) ; nous aurons évidemment les équations

La première de ces équations est identiquement vérifiée; car on a

(H) '^x,dx,=,0.

Là Ui — a

en vertu de l'équation de la surface et de l'identité qui relie les quantités a?, .

Pour furmer l'équation différentielle cherchée, il faudrait donc éliminer À entre les équations (iO) et (9) Au lieu de faire cette élimination, considérons X comme une variable

,i20 SL'H UNE CLASSE REMAROCABLE

nouvelle, et différentions (9). En tenant compte de l'équation (10), il restera

,13) -tlX y '^^^ 4- y "^^—^ dx,d% r^ 0 ,

Le second terme de cette é(]uation est nul en vertu des relations (il), (12) et de ieuts différentielles; il reste donc

rfÀ := 0 , À = consl. = K .

(1^ facteur que nous négligeons est compris dans cette solution générale.)

En résumé, il reste à intégrer l'équation, du prenaier ordre seulement, contenant l'arbitraire K ,

(44) y^'iZ:^rf^..==0,

les Xi satisfaisant aux équations

En passant aux coordonnées curvilignes des articles 50 et 51, l'équation (14) se transforme aisément dans la suivante,

,.., (p~K)rfp* (P.-K)dp,\

où les variables sont séparées.

Les sphères osculatrices de toutes les courbes correspondantes à la môme valeur K de X sont de même rapport anharmonique. Gela résulte de la signification de X .

Pour X = a,, elles deviennent les sphères doublement Tangentes, orthogonales à (S,) . Nos courbes se réduisent alors aux cercles de la cyclide situés sur ces sphères. H était évident a 'priori que les cercles devaient être obtenus comme solutions du problème, puisque leur sphère osculatrice en chaque point est indéterminée, et peut être prise tangente à la surface.

L'équation (15) ne s'intègre d'ailleurs algébriquement que

si R = a, ; alors elle se réduit à Féquation d'Euler, et donne une des cinq séries de sections circulaires.

Les trajectoires orthogonales des courbes représentées par féquation (15) ont pour équation différentielle

ApMf-K) A?,)(p-K)

On sait inti'grei cette éqnalion, et en particulier trouver les trajectoires orthogonales des sections circulaires des cyclides. On pourrait même diHerminer les trajectoires coupant sous un angle fixe quelconque.

Gomme cas limite, quand la cyclide se réduira à une sphère, on saura déterminer les trajectoires orthogonales de» cercles d'une même série doublement tangents à une courbe cyclique.

Sur les quadriqucs. la méthode précédente donnera les trajectoires des génératrices rectilignes et des sections circulaires. Ces dernières lignes ont été déterminées par M. Catalan {Journal de Liomille, t. XII, p. 48o).

Les méthodes données par M. Liouville et par Jacobi, pour déterminer les lignes geodésiques des quadriques et intégrer les équations abéliennes, ne s'appliquent plus ici; mais elles nous conduisent à des résultats, qui paraissent dignes d'être notés. Voici les principes algébriques employés par les deux géomètres que nous venons de citer.

Soit la formule différentielle

OÙ f (m) est une fonction quelconque de la seule variable u , et où

-r (m) = (« — P ,) (M — ?,) (tt — ? .0 .

Si l'on se propose de rendre minimum J'intégrale

(18) fdB,

en considérant les variables p, , p, , p, comme des fonctions de

322 SIJR UNT CI.ASSR BKMARQUABLE

furie d'entre elles, ees fonctions satisferont aux équations différentielles

( la) \ _____

\^d — (kÇkdo„

où les variables sont séparées; a et p sont deux const?-y arbitraires.

Si l'on a à rendre minimum l'intégrale

(20} j de,,

où

en considérant p^ comme une fonction de p, on devra avoir

On emploie d'ordinaire ces résultats, on supposant que, dans le premier, d soit infini, ce qui fait disparaître le facteur 0» (rf) de de , et dans le second K infini, ce qui fait disparaître (o~R)(p,-K).

Ces principes ne peuvent évidemment s'appliquer à la détermination des lignes géodésiques des cyclides. L'expression de d«% donnée (art. 50),

Us' (f — PJiP — P.)^, , lP.--p)(p.— pj , ,

- -^ .^. -—j-^- dp -h jjj-:^ dp.

AfJ contient un facteur M dont on ne peut faire abstraction. Mais,

DE COURBES ET DE SURFACES ALGf^BRÎQORS. 323

en tenant compte de !a formule (36) de l'article 50, on voit que Texpression

L K — rr,-

est de la forme assignée à (ifi* , rfn/. On saura donc trouver le minimum de F intégrale

dans les conditions qui ont été iadi((uées précédemment, et de là résultent les deux théorèmes suivants :

On sait déterminer les lignes de l'espace rendant minimum l'intégrale

rds

OÙ U est une fonction algébrique entière, du 4^ degré au plus, qui égalée à zéro donnerait l'éqtiation d'une cyclide.

En d'autres tei^mies, on sait trouver les routes de la lumière dans un milieu pour lequel la vitesse de la lumière en chaque point serait donnée pil^ l'éq.ws^W v" ^=1] , où U est défini comme précédemment.

U peut se réduire à une fortction quelconque du second degré, ou au carré de la puissance par rapport à une sphère, au(j[liêî cas Firitégrale (24) se réduit à celle-ci,

Vis

que nous avons considérée déjà dans cette Note. Alors les routes de la lumière sont des cercles orthogonaux à la sphère (S) , etc.

En appliquant le deuxième principe algébrique, nous aurons le théorème suivant :

On sait déterminer sur toute cyclide les lignes rendant minimum l'intégrale

J Kù

où 11 , égalé à zéro, fournirait l'équation d'une cyclide quelconque, homo focale à la première.

Motc XVI.

De quelques analogies entre la théorie des cyclides et celle des surfaces du second ordre.

^ '" :orraes d'équations que nous avons obtenues pour les cyciiL.c^ 'amènent la théorie de ces surfaces à celle des fonctions quadratiques et homogènes, et les rapprochent ainsi des surfaces du second degré. Aussi peut-on généraliser et étendre aux cyclides plusieurs des propositions connues de la théorie des surfaces du second degré. Nous allons donner ici deux exemples de pareilles généralisations.

On peut d'abord constituer pour les cyclides une théorie analogue à celle des points correspondants d'Ivory sur deux ellipsoïdes horaofocaux. Soient, en effet.

les équations de deux cyclides homofocales,

Désignons par j;, les coordonnées d'un point M sur la première cyclide. Les quantités //,, définies par les équations

sont évidemmeat les coordonnées d'un point M'; car elles satisfont à l'identité

et ce point M' est sur ia cyciide (§) , car on a

Nous dirons que les points M et M' sont correspondants sur les deux ^.yciides (a) et (^) . Deux points correspondants sont à l'intersection des deux cyciides avec une des trajectoires orthogonales de toutes les cyciides homofocates à (a) et à (p) .

Cela posé, soient (A , A') , (B ,B') deux couples de points correspondants. Soient a?^ , y, , x'i , t/',- les coordonnées respectives des points A , A', B , B'. On aura

;ri Pi x'i y't

Kfl,-«

|/fl.|5 |/fl,

et par suite

■riy'i=^00iyi

ou

y aCiVi = 7 x\

Or, d'après la formule (17) de la Note X, on a

Donc, en tenant compte de la formule (4) et en divisant les équations précédentes membre à membre, on aura une équation de la forme