ÉTUDE DES NORMALES A UNE MÊME SURFACE

Il II existe pas, en général, de surface norinale aux droites d' un faisceau.

646. La disposition dans l'espace des normales à une même surface est soumise à des lois nécessaires dont l'existence même est loin d'être évidente à priori. J/liahitude de transporter, par analogie, à la géométrie à trois dimensions, les résultats de la géométrie plane, conduirait au contraire à penser qu'il n'en doit exister aucune. Quelle que soit, en effet, la loi suivant laquelle des droites se succèdent dans un plan, de telle sorte seulement qu'il en passe une par chaque point du plan, il existe toujours des courbes qui les coupent à angle droit. La condition d'être normales à une même courbe n'impose donc aux droites d'un faisceau aucune , ♦ condition particulière; mais on commettrait une erreur grave, dans laquelle sont ^ tombés d'habiles géomètres, en en concluant par analogie que des droites se suc-

cédant dans l'espace suivant une loi telle, qu'il en passe une par chaque point, peuvent toujours être coupées orthogonalement par une même surface. Elles doivent, pour qu'il en soit ainsi, remplir des conditions très-précises, à l'étude desquelles est consacré ce chapitre.

647. Nous commencerons par montrer que des droites se succédant suivant une loi quelconque ne sont pas, en général, normales à une même surface. <fl|, -^î

Considérons, en effet, un faisceau tel, que par chaque point de l'espace passe une des droites qui le composent, et soit AB l'une quelconque de ces droites. Supposons, s'il est possible, qu'une surface S, normale à toutes les droites du faisceau, coupe AB en M, cherchons en quel point cette surface S rencontrera une autre ligne A'B' appartenant au faisceau , et située à distance finie de AB. Réunissons pour cela, par une courbe arbitraire C, un point de AB avec un point de A'B', les droites du faisceau qui rencontrent la courbe C forment une surface réglée 2 dont les génératrices sont, par hypothèse, normales à la surface S; l'intersection des surfaces S et 2 est par conséquent une courbe passant par le point M, et située sur la surface réglée 2, dont elle coupe à angle droit toutes les génératrices, et comme une telle définition la détermine complètement, le point M' où elle rencontre A'B' est lui-même déterminé, et ce point M' est évidemment l'intersection de A'B' avec la surface inconnue S. Mais la courbe C qui réunit les droites AB et A'B' étant arbi-

traire, on peut la remplacer par une infinité d'autres, et substituer par là, à la surface 2, une infinité d'autres surfaces réglées n'ayant de commun avec elles que les génératrices extrêmes. Sur chacune do ces surfaces la courbe normale aux génératrices, et partant du point :M, ira généralement couper A'B' en un point différent, on devrait, par conséquent, assigner une infinité de positions différentes à l'intersection de la droite A'B' avec la surface S, et il faut en conclure que cette surface ne peut exister.

Condition nécessaire pour que la surface existe.

648. Les droites qui composent un faisceau doivent, d'après ce qui précède, remplir certaines conditions pour qu'il existe une surface qui les coupe à angle droit. "Nous allons chercher l'expression analytique de cette condition.

Considérons chacune des droites qui composent un faisceau comme issue du point où elle rencontre une surface donnée, choisie d'ailleurs d'une manière quelconque. Soient .r, y, z les coordonnées de l'un de ces points de départ, et X, Y, Z les cosinus des angles formés avec les axes par la droite correspondante. Le point X, y, z étant sur une surface donnée, z est une fonction «onnue de ne et de y, nous supposerons que X, Y et Z soient également donnés en fonction des mêmes variables. Si sur chacune des droites du faisceau on porte, à partir du point de départ, une longueur /, variable d'un point à l'autre, les coordonnées a:,, y,, z, de son extrémité seront

jri = ^+/X, •» *

z, =z-hl7,,

et pour que la surface, lieu des points a;,, j,, s,, coupe normalement toutes les droites considérées, on doit avoir

(2) Xrfjr, -f-Yf//, -f-Zrfj, = 0.

Cette équation exprime en effet que la direction qui forme avec les axes des angles dont les cosinus sont X, Y, Z est perpendiculaire à celle qui forme les angles dont les cosinus sont proportionnels kdxt,dy,, dz,. Les équations (i) donnent

dx,=:dx-i-ld\-h\(fl,

(3) dx, = dx-hldY+\dl,

dZi — dz-\-ldZ -^Zdl,

Cl, en ayant égard aux relations évidentes

on en déduit

(4 ) X </x, H- Y Jj, + Zdz, = ^dx-Jr\dy+'ldz + dl;

l'équation de condition (2) équivaut, par conséquent^ à

(5) dl = — {lLdx + Yd.y-^7.dz).

L'équation de la surface, lieu des points x,y, z, donne une relation de la forme

dz ■=pdx + qdy,

pGiq étant des fonctions connues de a; et de j; l'équation (5) devient, par conséquent,

(6) dl = —{\-\-p7.)dx — {\ + qZ)dy,

elle équivaut à

il)

dl ,„ „, dl

--(Y+gZ)

dX ^ f f fly.

et comme on a, quelle que soit la fonction désignée par /,

dH d-'l dx dy dy dx

ces deux équations exigent la relation

</(X + />Z)^(/(Y + gZ) dy dx

X, Y, Z,petq étant, bien entendu, exprimés en fonction de x et y.

L'équation (8) exprime une condition nécessaire à l'existence d'une surface normale aux droites données. Nous verrons dans un autre chapitre qu'elle est suffisante pour assurer l'existence de la fonction /définie par les équations (7). Cette équation (8) résout donc le problème que nous nous étions proposé,, mais elle peut, comme nous allons le montrer, recevoir une forme plus simple et une interprétation géométrique qui joue un grand rôle dans la théorie des surfaces.

649. Lorsque le faisceau de droites que l'on considère est donné, la surface, à partir de laquelle on considère ces droites comme issues, est complètement arbitraire et n'influe évidemment en rien sur l'existence ou la non-existence d'une surface coupant le faisceau orthogonalement. Pour interpréter l'équation (8), sup-

posons que la surface arbitraire que l'on peut nommer surface initiale, soit normale *

à l'une des droites du faisceau que nous supposerons de plus parallèle à l'axe des Z ; on aura alors, pour cette droite et pour son point de départ situé sur la surface arbitraire qui la coupe à angle droit, ^

l'équation (8) devient alors, en ce point,

et comme on a toujours ^-j- =^ -r ■> elle se réduit à ■ » IH it

rfX JV «

dy dx

Soit MN la droite considérée parallèle, par hypolbèse, à l'axe des Z. X étant égal

à zéro, le numérateur du quotient -t-; est la valeur infiniment petite que prend X

lorsque le point de départ M se déplace infiniment peu parallèlement à l'axe des Y.

i.e numérateur de -t— est, pour la même raison, la valeur infiniment petite que

prend Y, lorsque le point M reçoit un déplacement dx parallèle à l'axe des X. Considérons donc deux droites infiniment petites de même longueur, MA, MB, issues du point M et parallèles, l'une à l'axe des X, l'autre à l'axe des Y;

ji

l'équation (2) exprime que la droite AN,, issue du point A, fait avec l'axe des Y le même angle que la droite BNj forme avec l'axe des X: en d'autres termes, car évidemment cela revient au même, la droite issue de A forme avec le plan NMA le même angle que la droite issue de B avec le plan iNMB. De plus, les cosinus des angles formés par la première droite avec MB, et par la seconde avec MA, étant égaux el (le mêmes signes, les deux droites sont toutes deux situées dans l'angle dièdre BM A, ou toutes deux en deliors. Les axes de coordonnées étant arbitraires, et la condition trouvée étant la traduction de l'équation qui exprime l'existence d'une

surface normale aux droites considérées, on voit que si la condition précédente est satisfaite pour les deux droites MA, MB, elle le sera, par cela même, pour deux autres directions quelconques perpendiculaires entre elles et à MN.

Supposons que les deux droites issues des points A etB, et dirigées d'un même côté de la surface initiale, soient l'une et l'autre dans l'intérieur du dièdre AMB, si la droite infiniment petite MA tourne autour de M pour venir coïncider avec MB, son extrémité se déplacera sur le quart de cercle passant par le point A, et la droite issue de cette extrémité, qui. d'abord était AN, , finira par coïncider avec BNj ; or il faut évidemment pour cela qu'elle traverse le plan passant par MN et par son point de départ, et il existe par conséquent sur le quart de cercle un point C tel, ■^' que la droite issue de C soit située dans le plan MNC. Si l'on considère une droite infiniment petite MD égale à MC, et perpendiculaire à MC et àMN, celle des droites du faisceau qui part du point D forme avec le plan MND le même angle que celle qui part du point C forme avec MNC, c'est-à-dire un angle nul. Il existe donc, dans le voisinage de chaque droite MN, deux autres droites appartenant au faisceau et situées dans deux plans perpendiculaires passant par MN.

Ce théorème, découvert par Monge, joue un rôle important dans la théorie des surfaces.

650. Nous allons vérifier directement que les normales à une surface quelconque remplissent la condition qui vient d'être trouvée, et donner en même temps une expression plus précise de la loi suivant laquelle elles sont distribuées autour de l'une quelconque d'entre elles.

Considérons une surface quelconque rapportée à trois axes de coordonnées rectangulaires et représentée par une équation

Posons, conformément à notre notation habituelle,

dz dz dp dp dq dq

di^P' ^~^' d^~''' Ty~'di—^' ^•"''

en nommant^, >j, Ç les coordonnées courantes, les équations d'une normale sont

■fi—y+q{l—z) =0.

Prenons pour origine un point 0 de la surface, et pour axe des Z la normale en ce point; X, y, z, />, q étant nuls au point 0, les équations de la normale en ce point se réduiront à

Soient jc,, y,, z,, les coordonnées d'un point 0, delà surface, infiniment voisin de 0; p et q étant nuls en 0, les valeurs p,, q, de ces dérivées correspondantes au point 0, sont, en négligeant les infiniment petits du second ordre,

ilp dp

dq dq

les équations de la normale en ce point sont par conséquent

VI— ri-H(«^i -h tx,){'Ç, — z,) = o,

en nommant a. l'angle que le plan ZOO, forme avec ZOX et â la distance 00, , on a, en négligeant toujours les infiniment petits du second ordre.

x, = o cos a , jr, = ôsina.

La normale en 0, peut être définie par l'angle infiniment petit qu'elle forme avec la projection sur le plan ZOO,, et par l'angle w que fait cette projection avec l'axe des Z; le premier angle 0 est le complément positif ou négatif de l'angle formé par la normale en 0, avec la perpendiculaire au plan ZOO, menée parle point 0 dans le plan 0,0X. Or en nommant X l'angle de la normale en 0, avec l'axe des Z, les cosinus des angles qu'elle forme avec les axes des X et des Y sont, d'après les é(|uations de cette droite,

— cos > ( rx, + sf, ), — cos Hsx,-h tf, ), c'est-à-dire

— ôcosX(rcosa + j sin a), — ôcosX{icos « + / sin«),

la perpendiculaire au plan ZOO, forme avec les axes des angles dont les cosinus

sont

sin a, — cos a ;

donc, d'après la formule qui donne le cosinus de l'angle de deux droites, et en négligeant les infiniment petits du second ordre, ce qui permet de supposer cos X = i . l'angle Q formé par la normale en 0,, avec le plan ZOO,, est donné par la formule

s\nÔ = d[{t — r)sina cos «-(-«( cos' a —sin' a)], ou, en substituant l'arc infiniment petit à son sinus,

(5) 6= - (î[(< — r)sina«-t-3icos2a|.

Si l'on substitue à la direction 00, une direction perpendiculaire OO2, il fautchan-

^er dans les formules a:ena+ -; sin 2« et cosaa changent alors de signe en

conservant même valeur absolue, et par conséquent, en conservant bien entendu la même valeur à â, l'angle So relatif au point O2 est égal et de signe contraire à l'angle 5, relatif au point 0,.

La valeur de a pour laquelle 6, est égal à zéro est donnée par l'équation

{t — r) sin ?. 5t -+- 2i cos 2x^0, ou

( b ) tang 2 a ^

11 existe donc deux directions perpendiculaires pour lesquelles l'angle 5 est égal à zéro, lorsqu'on néglige les infiniment petits du second ordre. Pour toute direction faisant avec celle-là un angle fini, cet angle est infiniment petit du premier ordre.

Si l'on a pris, tout d'abord, l'axe des X et celui des Y dans les directions 00,, OO^, pour lesquelles l'angle désigné par 6 est égal à zéro, l'équation

lanK 2« = • •

aura pour solution a — o, a= -5 et l'on doit avoir, par conséquent, j = o. On a

vu (627) que les axes pour lesquels cette condition est remplie sont tangents aux sections principales. Nous retrouvons ainsi le résultat déjà obtenu (636) : la normale en un point d'une surface est rencontrée par la normale au point infiniment voisin situé sur l'une des sections principales; ce théorème supposant toujours que l'on néglige les infiniment petits du second ordre.

En adoptant les axes tangents aux sections principales, pour lesquels, comme on vient de 4e rappeler, la valeur de s est nulle, l'expression de l'angle Q se simplifie et l'on a

(7) 6=-S{l — ;-)sin2a.

651 . La direction de la normale à la surface considérée en un point 0, infiniment voisin de 0, peut être, comme on l'a dit, définie par deux angles. Le premier est l'angle 9 formé par cette normale 0,N avec le plan ZOO, qui passe par son point de départ et par la normale OZ. Nous venons d'en calculer l'expression générale. Le second des deux angles est l'inclinaison sur OZ de la projection de la normale en 0, sur le plan ZOO,. Pour obtenir ce second angle que nous nommons w, re-

marquons que tang w est rigoureusement égale au cosinus de l'angle que 0,N forme avec 00,, divisé par le cosinus de l'angle qu'elle forme avec OZ. Si l'on prenait en effet ZOO, pour plan des ZX et pour axe des X la tangente en 0 à l'arc infiniment petit 00,, les coordonnées de 0, étant x,, o et z,, la projection sur le plan des XZ de la normale issue du point 0, aura pour équation

(0 X — x, = langw(Z — z,);

(2) ■ tang w == YZrr '

et comme les coordonnées X et Z de la projection d'un point de la normale sur le

plan des XZ sont les mêmes que celles de ce point lui-même, le rapport ^ — ^-^ est,

comme on l'a annoncé, le rapport des projections d'une portion de la normale sur l'axe des X et sur celui des Z, c'est-à-dire le rapport des cosinus des angles formés par cette normale avec les deux axes; remarquons que dans la formule précédente, l'angle w désigne l'angle de l'axe des Z positifs avec la portion de la projection dirigée vers la région desX positifs. Si donc OZ représente l'axe des Z, et 0,N la projection

de la normale sur le plan ZOO,, la valeur de tang w formée par la formule (2) sera négative, et si nous désignons par w l'angle infiniment petit que l'on veut étudier, il faudra changer le signe de l'expression. L'angle de la normale avec OZ est infiniment petit, le cosinus de cet angle qui forme le dénominateur de la valeur de tang 0) peut donc être remplacé par l'unité, et comme le numérateur est infiniment petit, l'erreur commise ne portera que sur les infiniment petits du second ordre. En substituant en même temps à l'angle w sa tangente, et faisant le changement de signe indiqué plus haut, nous aurons