OPTIQUE.
Recherches d’analise sur les caustiques planes.
≈≈≈≈≈≈≈≈≈
M. Gergonne, par ses derniers travaux sur l’optique analitique, en a porté les principes au plus haut degré de simplicité et d’élégance qu’ils puissent atteindre. Il a montré, en particulier, par divers exemples, avec quelle facilité la théorie générale qu’il a établie conduit à tous les résultats déjà connus. Cette nouvelle théorie, purement analitique, devant suffire pour rendre compte de tous les phénomènes que la réflexion et la réfraction ordinaire peuvent offrir, il m’a paru à propos d’y rattacher quelques propriétés générales des caustiques planes qui ont beaucoup occupé les premiers investigateurs de ces sortes de courbes, propriétés qui n’ont encore été démontrées jusqu’ici que par la méthode mixte et imparfaite
des infiniment petits, et qui méritent d’être reproduites et généralisées dans le langage qui convient à l’état actuel de la science. Je me propose, entre autres choses, de faire voir que toute caustique, pouvant toujours être considérée comme une développée, est conséquemment rectifiable. Sous le point de vue de l’utilité physique, cette propriété des caustiques n’est pas sans quelque importance, en ce qu’elle peut donner la mesure de l’intensité de la lumière aux différens points de ces sortes de courbes. On conçoit, en effet, que les arcs de caustiques qui reçoivent une égale quantité de rayons lumineux sont d’autant moins éclairés qu’ils ont plus de longueur. Mais, avant d’exposer les formules relatives à cette rectification, je donnerai d’abord celles qui établissent une relation entre les longueurs des rayons incidens et réfractés correspondans, prises, l’une et l’autre, depuis le point d’incidence jusqu’à ceux où ces rayons touchent leurs caustiques respectives. Ces élégantes formules, dont la recherche première paraît due à Jean Bernouilli, renferment implicitement celles qui servent à déterminer les foyers des miroirs et lentilles de toute espèce ; elles offrent en outre, le plus souvent, le seul moyen praticable pour construire par points les caustiques dont on s’occupe, et pour parvenir ainsi à une connaissance exacte ou approchée de la figure de ces sortes de courbes ; comme on peut le voir par plusieurs exemples consignés dans l’Analise des infiniment petits du Marquis de l’Hôpital, et par un mémoire de Petit, inséré dans le II.e volume de la Correspondance sur l’école polytechnique.
Pour parvenir au but que j’ai en vue, je dois d’abord rappeler sommairement la théorie des caustiques planes de M. Gergonne. Cette théorie se réduit simplement à ce que, à chaque trajectoire orthogonale des rayons incidens, il répond toujours une trajectoire orthogonale des rayons réfractés, telle que, de quelque point de la courbe séparatrice des deux milieux que l’on mène des normales aux deux trajectoires, les longueurs de ces normales seront respectivement entre elles dans le rapport constant du sinus d’incidence au sinus de réfraction.
On conclut de là immédiatement que
étant le point d’incidence,
les pieds des normales abaissées de ce point sur les deux trajectoires, et le rapport constant de
à
celui de leurs longueurs ; en posant
![{\displaystyle \operatorname {d} Y=P\operatorname {d} X,\qquad \operatorname {d} y=p\operatorname {d} x,\qquad \operatorname {d} y'=p'\operatorname {d} x'\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f219b07e5fddc8eead01eb40970270b3cad5c1e0)
on aura les quatre équations
![{\displaystyle {\frac {(X-x)^{2}+(Y-y)^{2}}{\lambda ^{2}}}={\frac {(X-x')^{2}+(Y-y')^{2}}{\lambda '^{2}}},\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/eccd3e9099229839a177ed71a7eb57c656db1b5e)
(1)
![{\displaystyle (X-x)+p(Y-y)=0,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/58be48822fceed41f50fe7292723a7f2412c9f2d)
(2)
![{\displaystyle \qquad (X-x')+p'(Y-y')=0,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a312795132e3f9413bdab52c64d9c5043d3f251)
(2′)
![{\displaystyle {\frac {(X-x)+P(Y-y)}{\lambda ^{2}}}={\frac {(X-x')+P(Y-y')}{\lambda '}},\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a688b5a8bfd8590701b622cf203b95095f5c16b)
(3)
[1]
dont la dernière est comportée par les trois autres.
Puisque ces équations n’équivalent qu’à trois seulement, et que d’ailleurs chacune des trois courbes se trouve déterminée par les deux autres, il s’ensuit que, des six variables
une seule doit être regardée comme indépendante. Prenons
pour telle, et posons
![{\displaystyle \operatorname {d} P=Q\operatorname {d} X,\qquad \operatorname {d} p=q\operatorname {d} x,\qquad \operatorname {d} p'=q'\operatorname {d} x',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d68010b8622f504ae279545fd60925f05603bd1a)
nous aurons
![{\displaystyle {\frac {\operatorname {d} y}{\operatorname {d} X}}={\frac {\operatorname {d} y}{\operatorname {d} x}}.{\frac {\operatorname {d} x}{\operatorname {d} X}}=p{\frac {\operatorname {d} x}{\operatorname {d} X}}\,;\qquad {\frac {\operatorname {d} y'}{\operatorname {d} X}}={\frac {\operatorname {d} y'}{\operatorname {d} x'}}.{\frac {\operatorname {d} x'}{\operatorname {d} X}}=p'{\frac {\operatorname {d} x'}{\operatorname {d} X}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2b86718ba32503ecd8e0450c78b28ec1b7f28e7)
Différentiant alors les trois dernières équations sous ce point de vue, en ayant égard à ces relations, il viendra
![{\displaystyle 1+pP-\left[\left(1+p^{2}\right)-q(Y-y)\right]{\frac {\operatorname {d} x}{\operatorname {d} X}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c1e8900e3decef299490a72170b90064e45b0d6)
![{\displaystyle 1+p'P-\left[\left(1+p'^{2}\right)-q'(Y-y')\right]{\frac {\operatorname {d} x'}{\operatorname {d} X}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7a78e5c11ca6f7ecf3e016f9a37958dfb78e006)
![{\displaystyle {\frac {\left(1+P^{2}\right)+Q(Y-y)-(1+pP){\frac {\operatorname {d} x}{\operatorname {d} X}}}{\lambda ^{2}}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49630cc954242952f04456f4643bb8a8f068bba9)
![{\displaystyle {\frac {\left(1+P^{2}\right)+Q(Y-y')-(1+p'P){\frac {\operatorname {d} x'}{\operatorname {d} X}}}{\lambda '^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f42df725bf39cc926c196274063272ebbb86bd2)
mettant ensuite dans la dernière les valeurs de
et
tirées des deux qui la précèdent, on aura
![{\displaystyle \left.{\begin{aligned}&{\frac {\left(1+P^{2}\right)+Q(Y-y)-{\frac {(1+pP)^{2}}{\left(1+p^{2}\right)-q(Y-y)}}}{\lambda ^{2}}}\\\\=&{\frac {\left(1+P^{2}\right)+Q(Y-y)-{\frac {(1+p'P)^{2}}{\left(1+p'^{2}\right)-q'(Y-y')}}}{\lambda '^{2}}}.\end{aligned}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/600d7194f0e1977aab8b45606356abde8fb375e6)
(4)
Cela posé, les axes des coordonnées n’étant simplement assujettis qu’à être rectangulaires, et pouvant d’ailleurs avoir, sur le plan des trois courbes, une situation quelconque ; il nous est permis de supposer, pour simplifier un peu ce résultat, qu’on a pris pour origine le point d’incidence
en dirigeant les axes des
et des
respectivement suivant la tangente et la normale à la courbe séparatrice en ce point. On aura ainsi
et si, en outre, on désigne par
le rayon de courbure de cette séparatrice en ce point, on aura
au moyen de quoi l’équation (4) deviendra simplement
![{\displaystyle {\frac {1+{\frac {y}{R}}-{\frac {1}{\left(1+p^{2}\right)+qy}}}{\lambda ^{2}}}={\frac {1+{\frac {y'}{R}}-{\frac {1}{\left(1+p'^{2}\right)+q'y'}}}{\lambda '^{2}}}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/514a2bc3ac594e5d0f34103d1a81a1b67e7ac025)
(5)
Désignons par
la courbe séparatrice, par
les deux trajectoires, par
leurs développées respectives, lesquelles ne sont autre chose que les caustiques formées par les rayons incidens et réfractés. Soient
les longueurs des normales abaissées respectivement sur les deux trajectoires
soient
les points où ces normales touchent les caustiques
et soient
les distances de l’origine à ces deux points ; soient enfin
les rayons de courbure des deux trajectoires, pour les points
Prenons pour angle des coordonnées positives celui dans lequel se trouve situé le point
de la caustique
et remarquons que le rapport de
à
pouvant toujours être supposé aussi voisin de l’égalité qu’on voudra, il s’ensuit que la caustique
peut être supposée indéfiniment voisine de la caustique
sans pourtant se confondre avec elle ; auquel cas le point
se trouvera très-voisin de
et situé, comme lui, dans l’angle des coordonnées positives.
Remarquons présentement que, les deux trajectoires
étant liées entre elles, mais d’ailleurs arbitraires, l’une et l’autre, on peut toujours faire passer l’une d’elles par un point donné, pris comme on voudra. On peut donc supposer le point
de
situé entre le point
et l’origine, et si près de ce dernier point qu’on voudra ; et alors, à raison de la presque égalité des deux nombres
et
le point
se trouvera également situé entre le point
et l’origine.
En conséquence on aura
![{\displaystyle d=r+\lambda k,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/73045ae6cf952df9df7ef9923146130b0e7c3752)
(6)
![{\displaystyle \qquad d'=r'+\lambda 'k,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/06e0b496125e3681acf9fce27aa36bcde2604792)
(6’)
![{\displaystyle {\begin{array}{lclc}y=\lambda k\operatorname {Cos} .(R,d),&(7)&y'=\lambda 'k\operatorname {Cos} .(R,d'),&(7')\\p=-\operatorname {Tang} .(R,d),&(8)&p'=-\operatorname {Tang} .(R,d'),&(8')\\r={\frac {\left(1+p^{2}\right)^{\frac {3}{2}}}{q}},&(9)&r'={\frac {\left(1+p'^{2}\right)^{\frac {3}{2}}}{q'}}.&(9')\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/815f6e1abeaa748e2c6dba8233f2a860a70da766)
Des quatre équations (8, 9, 8′, 9′) on tirera
![{\displaystyle {\begin{array}{rr}1+p^{2}={\frac {1}{\operatorname {Cos} .^{2}(R,d)}},&1+p'^{2}={\frac {1}{\operatorname {Cos} .^{2}(R,d')}}.\\\\q=-{\frac {1}{r\operatorname {Cos} .^{3}(R,d)}},&q'=-{\frac {1}{r'\operatorname {Cos} .^{3}(R,d')}}\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1c571688739663e156bf8a20b5a67e72eab495b)
d’où on conclura, à l’aide des équations (7, 7′)
![{\displaystyle qy=-{\frac {\lambda k}{r\operatorname {Cos} .^{2}(R,d)}},\qquad q'y'=-{\frac {\lambda 'k}{r'\operatorname {Cos} .^{2}(R,d')}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/495aa792e6ef54b7b833a1e15e5fdfbe52b66ce5)
et par conséquent
![{\displaystyle \left(1+p^{2}\right)+qy={\frac {r+\lambda k}{r\operatorname {Cos} .^{2}(R,d)}},\qquad \left(1+p'^{2}\right)+q'y'={\frac {r'+\lambda 'k}{r'\operatorname {Cos} .^{2}(R,d')}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cf86cfb0c34db063c80beee0618d561feec4537)
ou, en vertu des équations (6, 6′)
![{\displaystyle \left(1+p^{2}\right)+qy={\frac {d}{r\operatorname {Cos} .^{2}(R,d)}},\qquad \left(1+p'^{2}\right)+q'y'={\frac {d'}{r'\operatorname {Cos} .^{2}(R,d')}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/120e843438c050c7b9ef508f18ebe6e3f693035a)
Substituant toutes ces diverses valeurs dans l’équation (5) elle deviendra
![{\displaystyle {\frac {1+{\frac {\lambda k\operatorname {Cos} .(R,d)}{R}}-{\frac {r\operatorname {Cos} .^{2}(R,d)}{d}}}{\lambda ^{2}}}={\frac {1+{\frac {\lambda 'k\operatorname {Cos} .(R,d')}{R}}-{\frac {r'\operatorname {Cos} .^{2}(R,d')}{d'}}}{\lambda '^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/843e032ec157badc2d8fbdd3da3dd839ece93c07)
mais (6, 6’)
![{\displaystyle {\begin{array}{rll}{\frac {r\operatorname {Cos} .^{2}(R,d)}{d}}&={\frac {(d-\lambda k)\operatorname {Cos} .^{2}(R,d)}{d}}&=\operatorname {Cos} .^{2}(R,d)-{\frac {\lambda k\operatorname {Cos} .^{2}(R,d)}{d}},\\\\{\frac {r'\operatorname {Cos} .^{2}(R,d')}{d'}}&={\frac {(d'-\lambda 'k)\operatorname {Cos} .^{2}(R,d')}{d'}}&=\operatorname {Cos} .^{2}(R,d')-{\frac {\lambda 'k\operatorname {Cos} .^{2}(R,d')}{d'}}\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e1e59e85b220637281879166bdd711c8f640b9d)
donc, en substituant, et remplaçant
et
par
et ![{\displaystyle \operatorname {Sin} .^{2}(R,d')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1f84cadf4f1ac2a4b16a832bbb47f4ecef4f6f8)
![{\displaystyle {\begin{aligned}&{\frac {\operatorname {Sin} .^{2}(R,d)}{\lambda ^{2}}}+{\frac {k}{\lambda }}\left\{{\frac {\operatorname {Cos} .(R,d)}{R}}+{\frac {\operatorname {Cos} .^{2}(R,d)}{d}}\right\}\\\\=&{\frac {\operatorname {Sin} .^{2}(R,d')}{\lambda '^{2}}}+{\frac {k}{\lambda '}}\left\{{\frac {\operatorname {Cos} .(R,d')}{R}}+{\frac {\operatorname {Cos} .^{2}(R,d')}{d'}}\right\},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f78d81927b6b16e8fa2fa48b561d1ec3faedba83)
mais on a
![{\displaystyle {\frac {\operatorname {Sin} .^{2}(R,d)}{\lambda ^{2}}}={\frac {\operatorname {Sin} .^{2}(R,d')}{\lambda '^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8603cf8c645ea04cc1ddde4f8f9dce212682c67b)
donc finalement
![{\displaystyle {\frac {1}{\lambda }}\left\{{\frac {\operatorname {Cos} .(R,d)}{R}}+{\frac {\operatorname {Cos} .^{2}(R,d)}{d}}\right\}={\frac {1}{\lambda '}}\left\{{\frac {\operatorname {Cos} .(R,d')}{R}}+{\frac {\operatorname {Cos} .^{2}(R,d')}{d'}}\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80145353e221669024297c649df4c4aa00471538)
Ainsi étant donné le rapport de
à
qui est celui du sinus d’incidence au sinus de réfraction, la caustique des rayons incidens et la courbe séparatrice, et par suite le rayon de courbure
de cette derrière en chacun de ses points[2] ; on pourra, à l’aide de cette dernière équation, déterminer tant de points qu’on voudra de la caustique des rayons réfractés.
Si la ligne séparatrice était une ligne droite, on aurait
et l’équation deviendrait simplement
![{\displaystyle {\frac {\operatorname {Cos} .^{2}(R,d)}{\lambda d}}={\frac {\operatorname {Cos} .^{2}(R,d')}{\lambda 'd'}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2e9b6289404d765a3ec479a6a4e718b4c1105c0)
d’où l’on voit qu’alors
et
devraient constamment être de même signe. Dans tous les autres cas, il faudra se rappeler que la formule générale suppose que les points
sont tous deux situés dans la concavité de la séparatrice, et varier conséquemment les signes de
et
suivant la situation des points que l’on considérera sur l’une et sur l’autre caustiques.
Pour passer de là au cas de la réflexion, il suffira de supposer
et de changer les signes de
et
Il viendra ainsi
![{\displaystyle {\frac {1}{d}}+{\frac {1}{d'}}={\frac {2}{R\operatorname {Cos} .(R,d)}}={\frac {2}{R\operatorname {Cos} .(R,d')}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb92b8268a2159839c3d4967380893c5c5ca7c21)
cependant
et
devront avoir des signes contraires, si les points de contact
tombent de différens côtés de la courbe réfléchissante.
Revenons au cas de la réfraction. Considérons un rayon incident et le rayon réfracté correspondant, différens de ceux que nous avons considérés plus haut, et pour lesquels nous désignerons par
les longueurs analogues à celles que nous avions désignées par
pour les premiers ; nous aurons, comme alors,
![{\displaystyle {\begin{alignedat}{2}d=&r+\lambda k,&d'=&r'+\lambda 'k,\\d_{1}=&r_{1}+\lambda k_{1},\qquad &d_{1}'a=&r'_{1}+\lambda 'k_{1}\,;\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/104909be572bdc2621df3cc3a1f61394619a2a33)
d’où en retranchant
![{\displaystyle d_{1}-d=r_{1}-r+\lambda (k_{1}-k),\qquad d'_{1}-d'=r'_{1}-r'+\lambda '(k_{1}-k)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7878628d1d59d5eb8f98a039b4e5a67eeb2c5fc3)
puis en éliminant ![{\displaystyle k_{1}-k,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2d292f9165fc231b269c0a5ab5bdda79b795f7d)
![{\displaystyle {\frac {d_{1}-d-(r_{1}-r)}{\lambda }}={\frac {d'_{1}-d'-(r'_{1}-r')}{\lambda '}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d41bfc64dd1566675a2edc936b395180e8b649aa)
mais, en représentant par
et
respectivement les longueurs des arcs de chaque caustique compris entre les points de contact des deux rayons, et en supposant que les rayons de courbure vont croissant, on a
![{\displaystyle r_{1}-r=s,\qquad r'_{1}-r'=s'\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8e02b7390d1a7da045cacf28b6bc17cfc85598f)
on aura donc, en substituant
![{\displaystyle {\frac {d_{1}-d+s}{\lambda }}={\frac {d'_{1}-d'+s'}{\lambda '}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fd99b4f144975a02889498f1abe24b0754e7062)
c’est-à-dire qu’en général la différence des longueurs de deux rayons incidens, mesurées depuis leur caustique jusqu’à la courbe séparatrice, augmentée de l’arc de cette caustique compris entre eux, est à la différence des longueurs des rayons réfractés correspondans, mesurées également depuis leur caustique jusqu’à la courbe séparatrice, augmentée de l’arc de cette caustique compris entre eux, dans le rapport constant du sinus d’incidence au sinus de réfraction. Nous disons en général, parce que le théorème se trouverait en défaut si, sur l’une ou sur l’autre caustique ou sur toutes les deux il se trouvait un point de rebroussement entre les points de contact des deux rayons.
Si donc on suppose que la caustique des rayons incidens soit rectifiable et que la courbe séparatrice soit algébrique, la caustique des rayons réfractés sera également algébrique et rectifiable.
Dans l’application de ce théorème, comme dans celle de celui que nous avons démontré en premier lieu, il faudra avoir égard aux signes de
et
, et il aura, comme celui-là, son analogue pour la réflexion.
On déduit de tout cela, en particulier, que, si des rayons incidens parallèles ou émanés d’un même point et compris dans un même plan subissent une suite de réflexions et de réfractions, à la rencontre de courbes algébriques quelconques, situées dans ce plan, les caustiques auxquelles ils donneront naissance, depuis la première jusqu’à la dernière seront toutes algébriques et rectifiables. Il en sera donc de même, dans l’espace, pour les surfaces caustiques engendrées par des rayons qui se réfléchiront et se réfracteront successivement, à la rencontre d’une suite de surfaces algébriques de révolution ayant un axe commun ; pourvu que les rayons primitifs émanent tous de l’un des points de cet axe ou soient tous parallèles à sa direction.