VR
et la formule ( i ) donne
655. Lorsque les rayons de courbure sont de signes contraires, le théorème précédent doit être modifié, la valeur choisie pour tang a serait, en effet, dans ce cas imaginaire; on devra poser
langa= y/=^%
cosa =
sm a = —
v/R. — R, et par suite
* -^ U;(H.-K,) Rî(R.-R0j" R.H/
656. La. direction qui correspond à l'angle défini dans les deux paragraphes précédents est la diagonale du rectangle construit sur les axes de l'indicatrice, lorsque celle-ci est elliptique, et celle d'une asymptote dans le cas où, les rayons de courbure étant de signes contraires, l'indicatrice est hyperbolique.
Nous appliquerons la remarque précédente, qui est due à M. 0. Bonnet, à la recherche de la loi suivant laquelle varie le produit des courbures principales le long de la génératrice d'une surface gauche. En un point quelconque d'une telle surface, la génératrice rectiligne est dirigée suivant l'asymptote de la section indicatrice. Si donc, k partir d'un point M situé sur une génératrice, on porte sur cette droite une longueur infiniment petite MM', l'angle formé par les normales aux
points M et M', divisé par la distance MM', donnera la valeur cherchée de \/^^
On a vu (102) que la tangente de l'angle formé par le plan tangent d'une surface gauche avec un plan fixe passant par la génératrice qui contient son point de contact est proportionnelle à la distance de ce point de contact à un point fixe de la génératrice; en désignant cet angle par 9, et par z la distance OM du point de contact M au point fixe 0, on a
tang9 = Gz,
G restant constant sur une même génératrice, on en conclut
<p = arc tang Gz, Gdz .
dc^=z
et par conséquent
dz VR.»» 1-4- G»2'
z désignant la distance du point considéré à un point fixe convenablement choisi sur la génératrice.
657. Il n'est pas sans intérêt de nous arrêter à la formule précédente pour définir géométriquement la position du point 0, qui sert d'origine a la longueur désignée parz, et la constante G relative à chaque génératrice.
Soient AB, A'B' deux génératrices infiniment voisines d'une surface gauche,
00' leur plus courte distance. Par le point 0' menons une parallèle O'C à OM. Soit M un point quelconque de AB. Par ce point M abaissons une perpendiculaire MP sur la ligne O'C, qui évidemment sera perpendiculaire aussi au plan CO'B'; du point P, abaissons une perpendiculaire PM' sur O'B', MM' est, en vertu d'un théorème connu, perpendiculaire à O'B'. D'ailleurs les points M et M' étant infiniment voisins, la ligne MM' est située dans le plan tangent en M', qui, passant aussi par la génératrice, est la limite du plan O'M'M. L'angle de ce plan avec le plan fixe B'O'C a évidemment pour mesure l'angle en M' du triangle rectangle MPM', et l'on a, en désignant par (f le complément de cet angle,
^"^^=ïifp-
On a d'ailleurs, en nommant e l'angle des deux génératrices infiniment voisines,
PM' = 0'MMange;
on en conclut, en remplaçant tang s par l'arc infiniment petit e,
tang9 = j5^-0'M',
r^ est le rapport de l'angle de deux génératrices infiniment voisines à leur plus
courte distance; ce rapport est constant pour une même génératrice, il est la représentation de la quantité désignée par G, dans le paragraphe précédent, O'M' est la distance désignée par z\ et l'on voit que le point fixe 0, dont l'existence a été démontrée (102), est, sur chaque génératrice, le point où se mesure
sa plus courte distance avec la génératrice voisine. La constante G est le rapport de l'angle de deux génératrices à leur plus courte distance. Lorsque, pour toutes les génératrices d'une surface réglée, G est infini, la surface (103) est développable. Le produit des rayons de courbure est alors infini, et l'un d'eux étant par suite infini, l'indicatrice se réduit à deux droites parallèles.
658. Les formules qui précèdent comprennent implicitement toutes les propriétés générales des normales à une surface dans le voisinage d'un point donné. Parmi les conséquences que l'on en peut déduire, nous nous bornerons à signaler le théorème suivant qui a été donné par Sturm :
Toutes les normales à une surface dans le voisinage du point 0 peuvent être considérées comme rencontrant deux droites fixes perpendiculaires l'une à l'autre, et menées par les centres de courbure des deux sections principales dans les pians de ces sections perpendiculairement à la normale au point 0.
Il suffit évidemment, pour démontrer ce théorème, de chercher l'intersection d'une normale quelconque avec les plans des sections et de constater que ces intersections se trouvent sur les lignes indiquées, lorsque l'on néglige, bien entendu, les infiniment petits du second ordre.
Prenons pour axes des coordonnées la normale au point 0 et les tangentes aux deux sections principales. Soient od^ y\ z* les coordonnées du point 0'; z' étant infiniment petit du second ordre peut être considéré comme nul; §, v?, Ç étant les coordonnées courantes de la normale en 0', les équations de cette ligne sont
et comme à cause du choix particulier des axes on a ^ = o, elles se réduisent à
pour avoir l'intersection avec le plan des ZX, il faut faire >? = o, on en déduit
l'intersection est donc située sur une parallèle a l'axe des X, menée à la distance j»
et passant par conséquent par le centre de courbure de la section ZOX. On verra
de même que le plan ZOY est rencontré par la même normale^ sur une parallèle à
Taxe des Y, menée par le centre de courbure de la section principale qu'il détermine.
Sturm a déduit de son théorème une remarque curieuse. Si autour d'un point
d*UDe surface on trace une courbe fermée infiniment petite 2, les normales à la surface issues des points de cette courbe forment une surface réglée dont la génératrice est assujettie k rencontrer la courbe 1 et les deux droites que nous venons de déterminer. Si, par exemple, la courbe 2 a la forme d'un cercle, l'équation de la surface est trës-facile à obtenir, et Ton peut constater que les sections parallèles au plan du cercle sont des ellipses qui, pour deux positions particulières, se réduisent aux droites directrices. Ce résultat, rapproché du théorème que nous allons démontrer dans le paragraphe suivant, peut être mis en évidence par une ingénieuse* et très-simple expérience que nous indiquerons plus loin.
659. Nous terminerons ce chapitre par la démonstration de deux théorèmes importants relatifs à la théorie des droites normales à une même surface.
Si des rayons de lumière normaux k une même surface quittent un milieu homogène pour pénétrer dans un autre milieu également homogène, en se réfractant suivant la loi de Descartes, quelle que soit la surface de séparation des deux milieux, ils seront encore, après leur réfraction, normaux à une même surface.
Soient a?, j, z les coordonnées d'un point 0 de la surface qui sépare les deux milieux, a, |3, y les angles formés par le rayon incident avec les axes des coordonnées, a', P', y' les angles formés avec les mêmes axes par le rayon réfracté, / la longueur qui sépare, sur le rayon incident, le pointa?, j, z où il rencontre la surface de séparation, du point a^^ , j, , jz, où il perce la surface à laquelle sont normaux, par hypothèse, tous les rayons incidents. Soit enfin/' une longueur portée sur le rayon réfracté a partir de la surface de séparation des deux milieux, il s'agit de prouver que l'on peut .déterminer cette longueur /', de telle sorte que la surface décrite par son extrémité soit normale à tous les rayons réfractés.
En nommant â?2,ys, z,, les coordonnées de l'extrémité de la longueur /', on a
;r, =a7 4-/cosa, /,=/-+-/cos(3, js, ^z-+-/cosy, j;, = ^ 4- /' cos a', /,=^-|-/'cos(3', 2j = z-+-/'cosy',
on déduit de ces équations
rfa7,=ctr-|-cos a dl-^ld cos a, dyy=idy''\-<ios ^dl-^ld cos p, rfz,=rfz-+-cos y rf/4-Wcos y, ûJr,=:dx-4-cosa'rf/'-+-/'rfcosa', dy^^dx-hcos (3'rf/'-t-/'rfcos (3', rfz,=rf^-+-cos/rf/'4-/'rfcos /.
Ajoutons les trois premières équations (2) après les avoir respectivement multipliées par cos a, cos /3, cos 7, et les trois autres, multipliées respectivement par cos a', cos j3', cos /, ilous aurons
ûtr, cos« -l- rfj, cos (3-t- rf-Si cos y = rf/4- rfr cos a -h dycos ^-hdz cos y , (3)
dxi cos a' -h dxi cos P' -f- dzt cos y' = dl' -+- dx cos a' 4- d/ cos P' -h dz cos y' ,
la surface. Heu des points a?,, j,, 2,, étant normale à la droite qui forme avec les axes les angles a, ^, 7, on a
(4) rf^, cosa-f-rf/, cos|3-l-rfz, cosy = o,
la première équation se réduit donc à
( 5 ) o =: dl-\- cos adx -h cos (3 rfj-h cos y dz ,
dx, dy, dz, sont les projections sur les axes de coordonnées d'un déplacement arbitraire effectué sur la surface de séparation des deux milieux. Soient 6& c'e déplacement, et X, fx, V les angles qu'il forme avec les axes; on a
dx=ds cos X, df== ds cos |ul , dz = ds cos v ,
et par conséquent l'équation (5) devient
( 6 ) o = rf/ -h rf* ( cos a cos X -h cos (â cos jul -h cos y cos v ) ,
ou, en nommant V l'angle formé par la direction du rayon incident avec celle du déplacement ds ,
(7) o = dl-\-dscos\.
Considérons actuellement le triëdre ayant pour arêtes le rayon incident, la normale à la surface de séparation, et le déplacement ^5, en nommant I l'angle du rayon in- . cident avec la normale, et il le dièdre qui, dans le trièdre considéré, a pour arête la normale, on a
( os V = sin / cos 12 ,
et l'équation (7) devient, par conséquent,
(8) o = rf/-+-rf5sinicosi2.
En nommant l' l'angle formé par le rayon réfracté avec la normale, et remarquant que, d'après la loi de Descartes, les deux rayons sont dans un même plan avec cette normale, on verra de même que la seconde équation (3) devient
- ( 9 ) cos a'dxj 4- cos (3'rf/a -h cos y' dz^ = dl' -H ds sin /' cos £2 ;
en nommant rVindice de réfraction, on a
(10) sini' = rsin/,
et par conséquent, si l'on prend /' = ri, on aura dl' = rdl, le second membre de (9) sera nul en vertu de l'équation (8), et l'on aura
o = cos a' rfir, -h cos |â' dfjî -f- cos / rf>8, ,
ce qui prouve que la surface lieu des points dont les coordonnées sont x^^y^^ jso, est normale au rayon réfracté. Pour obtenir cette surface, il faut, d'après Téquation V=^Hy porter sur chaque rayon réfracté, à partir de la surface de séparation, une longueur égale au produit de l'indice de réfraction, par celle que Ton doit porter sur le rayon incident correspondant pour obtenir un point de la surface normale aux rayons incidents; il est clair, d'ailleurs, que la longueur /' peut de même que / être augmentée ou diminuée d'une constante, et que l'on obtiendra ainsi des surfaces parallèles.
660. D'après le théorème précédent, des rayons lumineux homogènes émanés d'un même point, et normaux par conséquent à des sphères concentriques, pourront traverser différents milieux séparés les uns des autres par des surfaces quelconques, ils seront toujours, après chaque réfraction, normaux à une même surface. C'est ici le lieu d'indiquer l'expérience fort simple qui peut, ainsi que nous l'avons dit (658), servir de vérification au théorème deSturm, démontré dans ce paragraphe.
11 suffit de faire passer dans une chambre noire, à travers un très-petit trou percé dans un écran, un faisceau de lumière homogène qui tombe sur un sphétoïde de verre ou sur une petite fiole contenant un liquide et offrant une surface courbe irrégulière, dont on recouvre la partie postérieure avec un papier percé d'un petit trou d'une forme arbitraire. Les rayons qui sortent par cette ouverture, après être entrés par celle de l'écran, peuvent être considérés, à cause de la petitesse de celle-ci, comme émanant d'un simple point; en recevant le faisceau émergent sur un papier blanc, qu'on éloignera graduellement, on reconnaîtra la forme des difTérentes sections, et particulièrement deux petits traits lumineux plus ou moins distants l'un de l'autre, et dont les directions sont perpendiculaires entre elles.
661 . Lorsque les droites d'un faisceau sont tangentes à une même surface, la condition nécessaire pour qu'elles soient en même temps normales à une autre surface, prend une forme très-élégante; il faut et il suffit qu'elles soient tangentes à une série de lignes géodésiques tracées sur la surface, ou, ce qui revient au même (631), à des lignes dont le plan osculateur soit normal en chaque point à la surface sur laquelle elles sont situées.
Remarquons d'abord que si les droites d'un faisceau sont tangentes à une même surface, et qu'il en passe une par chaque point, il existe nécessairement sur la surface une série de courbes auxquelles les droites considérées sont tangentes. A chaque point delà surface correspond en effet, par hypothèse, une droite du faisceau située dans le plan tangent; or il est clair que le mouvement d'un point serait déterminé s'il était assujetti à se mouvoir sur la surface en partant d'un point donné et se dirigeant toujours, dans chacune de ses positions, tangentiellement à la droite qui y correspond. La courbe arnsi parcourtie a pour tangente en chaque point une
des droites du faisceau» et comme le point initial est arbitraire, il passe une telle courbe, ainsi que nous l'avons annoncé, par chaque point de la surface donnée. Cela posé, soit
réquation de cette surface; nommons X, Y, Z les cosinus des angles formés avec les axes par la droite du faisceau qui touche cette surface au point dont les coordonnées sont X, y, z: la condition nécessaire pour qu'il existe une surface normale à toutes les droites du faisceau est (648) que, en ayant égard à la relation (i), la somme
(2) Xdx-hYdy-hZdz
soit la différentielle d'une certaine fonction de x et dey. Or on a
(3) dz=pdx'^qdXf
et de plus, comme la direction définie par les cosinus X, Y, Z est dans le plan tangent,.
(4) Z=:p\-hqY;
l'expression (a) devient par conséquent
(5) (X-h/>Z)rf:c-h(Y-hgZ)rfr.
La condition, pour qu'elle soit une différentielle et qu'il existe par conséquent une surface normale aux droites du faisceau, est
d(\-hpZ)^d{Y-hqZ) ^ ^ djr dx ^
c'est-à-dire, à cause de l'équation.
dp dq
dy dx*
dX dZ rfY rfZ
les dérivées étant prises, bien entendu, après que X, Y, Z ont été exprimés en fonction des seules variables x et y.
On a
X»4-Y»H-Z»=i, par conséquent
dX dY dZ
rfx rfY rfz ^^^^^"^^rf? = "'
l'équation (7) devient par suite
Remplaçant Z par/7X + ^Y, et remarquant qu'en indiquant par des parenthèses les dérivées partielles prises avant d'avoir remplacé z par sa valeur en x eXy, on a
dx \dx j \dz I dx^ dx~\dx)'^\dz) dx'
rfY/rfY\ ^
dx ~ \dx) '^ \dz) dx
dY /dY\ . /dY\ dz
dx~\dx)^\dz) dx'
T^ et ^ ayant été désignés par p et q, en ayant égard à ces équations, la condition (8) devient
en nommant ds Tare infiniment petit de la courbe a laquelle la droite considérée est tangente, on a
as as as
et par conséquent
^d\ , ^rfX . , V . VN^X dXdx , rfXrfj , rfXrfz rfX
de même
rfar dx dz ds
l'équation (9) équivaut donc à
rfX dY ^Ts^P^dû'
rfX rfY
• , ds ds
on a d'ailleurs X* + Y* -H Z' = i , et par conséquent / X ^dX^^dY ^„dZ
on conclut (le (jo)
ds ds ds
/>X-+-îY p '
c'est-à-dire,
à cause
de (il),
„ dZ dX ^ds ds
donc enfin
d\ dY d'L ds ds ds
ce qui prouve que la direction qui fait avec les axes les angles dont les cosinus sont proportionnels à /?, g, — i , coïncide avec celle qui fait des angles dont les cosinus
sont proportionnels à -^> "T" ' X ' '^ première de ces directions est celle de la
normale à la surface 2, et la seconde, celle de la normale principale à la courbe S. Pour que ces deux directions coïncident, il faut et il suffit que le plan osculateur de la courbe 1 soit normal en chaque pointa la surface S.
662. Le même théorème peut se démontrer géométriquement de la manière suivante: pour que les droites d*un faisceau soient normales à une même surface, il faut et il suffit (649) que chacune d'elles soit rencontrée par deux autres infiniment voisines et situées dans des plans perpendiculaires l'un à l'autre, et passant par la droite considérée. Considérons, dans le cas qui nous occupe, l'une quelconque D des droites du faisceau et la ligne géodésique 1 à laquelle elle est tangente : l'une des droites infiniment voisines du faisceau qui rencontre la ligne D est évidemment la tangente infiniment voisine de 2, et le plan qui les contient toutes deux est (563) le plan osculateur de cette courbe; toutes les droites du faisceau étant tangentes à la surface désignée par S, soient  le point de contact de D, et A' celui de la seconde droite infiniment voisine, qui, faisant partie du faisceau, rencontre la droite D; la ligne AA' est à la limite tangente à la surface S dont le plan DAA' est par conséquent le plan tangent; Tun des- deux plans qui passent par la droite D et par une droite infiniment voisine du faisceau est donc osculateur à une ligne géodésique de S, et l'autre tangent à cette surface ; il en résulte (631) qu'ils sont perpendiculaires l'un à l'autre.
' L'étude de la démonstration précédente peut donner lieu à une difficulté à laquelle il est nécessaire de répondre. Le raisonnement par lequel nous prouvons que le plan passant par la droite D et par une droite infiniment voisine du faisceau est tangent a la surface S, semble applicable aux deux droites du faisceau qui ren-
contrent D, et l'on pourrait en conclure que les deux plans qui contiennent les droites, loin d'être perpendiculaires l'un à l'autre, comme nous l'affirmons, se réduisent au contraire à un seul. Cette contradiction tient à ce que la proposition sur laquelle le raisonnement est fondé présente un cas d'exception relatif précisément à l'une des deux droites qui rencontrent D. On admet en effet que le plan passant par la droite qui touche la surface S en A, et par un point A' infiniment voisin de A, est tangent à la surface S, parce qu'il contient deux droites tangentes à cette surface, la droite D elle-même et la ligne AA' qui en réunit deux points infiniment voisins. Or il y a évidemment exception lorsque ces deux droites se confondent, c'est-à-dire lorsque le point A' est situé sur une courbe tangente a la droite D; dans ce cas, le raisonnement général est en défaut, et le plan qui passe par le point A' et par la droite D est le plan osculateur de la courbe AA'.
EXERCICES
1. Quelle que soil la loi suivant laquelle se succèdent dans Tespace des droites telles, qu'il en parte une de chaque point de Tespace, soient AN celle qui pari d'un point A, el AB, AC deux lignes infiniment petites perpendiculaires entre elles et à AN, les angles respectivement formés parla droite issue du point B avec le plan NAB, et par la droile issue de C avec NAC, ont une différence constante.
2. La plus courte distance des normales menées à une surface, par deux points infiniment voisins A et B, est égale au produit de la distance AB par le cosinus de l'angle qu'elle forme avec la direction conjuguée sur la surface.
3. Si AB, AC sont deux directions conjuguées en un point A d'une surface, et que A, A' désignent les distances du point A aux points où sont menées les plus courtes distances
de la normale en A avec les normales en B et en C, la somme t* ■+- t7 est constante et
égale à la somme des courbures principales de la surface.
4. Supposons que des rayons lumineux, d'abord normaux à une surface S, éprouvent une suite de réfractions. Désignons par k la portion d'un rayon comprise dans le premier milieu, et la surface qui sépare le premier milieu du second, par /' la partie de ce rayon comprise dans le second milieu, par l" la partie comprise dans le troisième milieu, et ainsi de suite, puis par K la portion de ce rayon comprise dans le dernier milieu, entre la dernière surface séparatrice et Tune des surfaces auxquelles les rayons deviennent normaux dans le dernier milieu; on aura
ak -f- rti /' -h a,/" -f-. . .H-a«/û = consl. , a^a^,, . .yùn étant des constantes dépendant des indices de réfraction des divers milieux.
!■!■ n n Vf^mmm^
