CARACTJ^RES ANALYTIQUES DES PRINCIPALES FAMILLES DE SURFACES

241. On sait que toute liaison mathématique ou empirique entre les variables .r, /, z, désignée d'une manière générale par

F(a:,7, z)=:o, (ij

donne lieu à la construction d'une surface, quand ou considère a:, /, z comme les trois coordonnées qui fixent la position d'un point dans l'espace. Mais en général la surface ainsi construite ne serait pas définie géométriquement; et maintenant qu'il s'agit, non plus de figurer dans l'étendue les conceptions de l'analyse , mais d'ap* pliquer l'analyse à la théorie de l'étendue, nous n'avons réellement à considérer que les surfaces caractérisées par des propriétés géométriques.

Il peut se faire que la définition géométrique d'une surface se traduise immédiatement par une équation entre ses coordonnées courantes ; ainsi l'équation

exprime immédiatement ce caractère géométrique par lequel on peut définir la surface d'une sphère : savoir, que tous ses points sont à une distance constante d'un autre point pris ici pour origine des coordonnées. Mais, plus ordinairement, la définition géométrique d'une surface consiste à assigner la loi de la description de la surface par une ligne : soit que la ligne se meuve sim- T. I. a7

plement dans Fespace sans changer de forme, soit qu'elle change de forme en même temps qu'elle se déplace. Dans ce cas, l'équation (i) est censée donnée par l'élimination du paramètre a entre les équations

/(•^> J>/> «)=o, f(a:,/,^, a)=o, (2) qui sont celles d'une ligne tracée dans l'espace : cette ligne, à laquelle on donne le nom de génératrice y variant continuellement, ou de position et de forme, ou au moins de position , avec le paramètre a.

On dit encore que la surface (1) est le lieu géométrique de toutes les lignes que donne le système des équations (a), quand on y fait varier sans discontinuité le paramètre a.

Ainsi , le cône droit que l'on considère dans les éléments de géométrie est la surface décrite par une droite qui se meut en passant constamment par un point fixe, et en faisant avec une autre droite menée par le même point un angle constant. On pourrait encore regarder la surface du cône comme décrite par un cercle de rayon variable, dont le centre se meut sur l'axe du cône tandis que son plan reste perpendiculaire à cet axe, et dont le rayon est proportionnel à la distance du sommet du cône au centre du cercle mobile.

242. Ceci conduit à la distribution des surfaces en familles, d'après les analogies géométriques de leurs modes de description; et cette distribution, aussi curieuse en elle-même qu'utile pour l'intelligence des opérations des arts, a de plus pour nous cet intérêt, qu'elle se lie étroitement à la théorie des fonctions , telle que nous l'avons conçue. Il ne faut point la confondre avec la classification des lignes ou des surfaces algébriques d'après le degré de leurs équations , quoique les con-

nexions de la géométrie et de l'algèbre établissent souvent des analogies entre les lignes ou entre les surfaces associées par le degré de leurs équations algébriques [^07].

Par exemple, le cône droit dont il était question tout à Theure appartient à la famille des surfaces coniques, qui ont pour caractère générique d'être décrites par une droite assujettie à passer constamment par un point fixe. De même le cylindre droit dont on s'occupe dans les éléments appartient à la famille des surfaces cylindriques , engendrées par une droite qui se meut en restant constamment parallèle à elle-même. Pour diriger, dans l'un et dans l'autre cas, le mouvement de la droite génératrice, rien n'empêche de substituer au cercle qui donne le cylindre et le cône ordinaires, une courbe quelconque, algébrique ou transcendante, ou tracée dans l'espace d'une manière absolument arbitraire. En général, on appelle lignes directrices celles sur lesquelles s'appuie la ligne génératrice pour décrire une surface déterminée.

Lia distribution des surfeces en familles diffère d'une classification proprement dite [18] en ce sens que la même surface peut se ranger dans diverses familles, selon les analogies diverses que son mode de description manifeste. Ainsi, l'on peut encore considérer le cône et le cylindre ordinaires comme appartenant à la famille des surfaces de révolution^ qui ont pour caractère générique d'être décrites par une ligne plane, que Ton nomme ligne méridienne, tournant autour d'un axe fixe compris dans le plan de la méridienne, ou dans le plan méridien. La ligne méridienne se réduit à une droite, parallèle ou oblique à l'axe do rotation , dans le cas du cylindre ou

du cône droits j mais elle peut être une courbe tracée arbitrairement dans le plan méridien.

Ainsi, Ton conçoit que des surfaces dont les équations ne sont pas algébriques et ne peuvent même s'écrire avec des signes mathématiques, sont pourtant susceptibles de jouir de propriétés communes et d'être géométriquement étudiées, sous le rapport des caractères génériques qui ont servi à les grouper.

Classe des surfaces réglées.

243. On appelle surfaces réglées toutes celles que peut décrire une droite en se mouvant dans l'espace d'une manière quelconque. On renversera cette définition en disant que, par un point quelconque pris sur une surface réglée , on peut mener une droite qui s'applique en tous ses points sur la surface. Le plan tangent à une surface réglée, comprenant toutes les tangentes aux lignes menées sur la surface par le point de contact, comprend la génératrice menée par ce point, puisqu'une ligne se confond avec sa tangente, quand elle devient droite.

Les équations de la droite génératrice, étant mises sous la forme

j=:aa:4-Y, 3 = pa: + a,

ne doivent contenir qu'un paramètre arbitraire, sans quoi il n'existerait pas de surface , lieu de toutes les génératrices : ainsi l'on a

de sorte que le système des deux équations

j=:ou:4-^a, zz= Xff% + xioL ^ (3)

oïl (p, i(^ri entrent comme caractéristiques de fonctions

arbitraives , est propre à représenter une surface réglée quelconque.

En général^ les deux génératrices infiniment voisines, pour lesquelles le paramètre variable prend les valeurs a et a-j-rfa , ne se rencontrent pas : ce qui revient à dire [aSti] qu'il n'existe pas dans l'espace de ligne qui soit l'enveloppe de toutes les droites génératrices; car les équations de l'enveloppe, si elle existait, résulteraient de l'élimination de a entre les équations (3) et leurs déri* vées prises par rapport à a,

a? 4- \|;'a = o , ^ y'a -+. tïJ « =z o. Mais, pour que ces deux dernières équations puissent exister ensemble, il faut qu'on ait

équation de condition qui ne laisse arbitraires et indépendantes que deux des fonctions (fj^jXS.

Quand elle n'est pas satisfaite, et que les droites génératrices n'ont pas d'enveloppe, la surface réglée est qualifiée de surface gauche : au cas contraire, elle est (|ualifiée (par une raison que nous expliquerons bientôt) de surface déifeloppabte.

244. Si les fonctions ^ , ^, xj étaient données, l'équa* tion de la surface réglée correspondante résulterait de l'élimination de a entre les deux équations (3). On peut donc considérer dans ces deux équations les variables aetz comme fonctions des deux variables indépendante^ .r, j^. En prenant les dérivées de la première équation par rapport à chacune des variables indépendantes, on a

£(a; + f «)=-«, ^(^ + ^'«)=,5 (5) et en opérant de même sur la seconde

^(V« + ^'«)=;^ — ?«, ^(^?«+trf'a) = jr. (6)

On en conclut

doi dd p — çpa , V

di'Tr=—r = '''' ^7)

de sorte qu'on peut aussi représenter une surface réglée quelconque par le système des deux équations

OÙ entrent les dérivées du premier ordre p et q^ mais oîi n'entrent plus que deux signes de fonctions arbitraires 9 et (|/. La seconde de ces équations donne, par deux différentiations relatives à a: et à ^,

d'où , en vertu de l'équation (7),

— a = — : — - , ou aV + lias -j- r = o . (o)

Donc une surface réglée quelconque peut encore être représentée par le système

OÙ entrent les dérivées partielles du second ordre r, s, tj mais où n'entre plus que le signe de fonction arbitraire ^. Enfin 9 si nous différentions l'équation (8) par rapport à a: et à ^, il viendra

dot

et par conséquent

— anz— ou a'^-i-3a'fv-i- 3aM/4-«=o. (9)

Si maintenant on élimine a entre les équations (8) et (9), on aura une équation aux différences partielles du troisième ordre , délivrée de tout signe de fonction arbitraire, ayant la même généralité que le système des

équations (3), et convenant comme celles-ci aux surfaces réglées quelconques.

Ou arrive trèsrdirectement au même résultat eu cousidérant que, sur une surface réglée quelconque, trois plans tangents infiniment voisins se coupent suivant une même droite, qui est l'une des génératrices, lorsque les trois points de contact infiniment voisins sont pris sur cette génératrice même.

En effet, Téquation du plan tangent

a pour dérivées deâ deux premiers ordres

d'p{l—x) + d*q{n'-y)—{da:dp-^dxdg)z=o ;j ^'""^ et elles devront chacune, par leur combinaison avec l'équation du plan tangent, déterminer la même ligne droite; ce qui entraîne

dx dx dz

5 — ^ ^ — jr Ç — z ^ et ce qui réduit les équations ( i o) à

dpdx + dqdyzziLO ^ d^pdx-^- d*qdy:=io\ ou bien à

Il faudra en outre que l'on tire de ces deux équations la même valeur de la tangentey de l'angle que la projection de la génératrice sur le plan xjr fait avec l'axe des^; et en effet les deux équations précédentes ne diffèrent respectivement des équations (8) et (9) que par le changement de a en y.

Ordre des surfaces développables.