# Annales de mathématiques pures et appliquées/Tome 16/Optique, article 3
## 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 $(X,Y)$ étant le point d’incidence, $(x,y),(x',y')$ les pieds des normales abaissées de ce point sur les deux trajectoires, et le rapport constant de $\lambda$ à $\lambda '$ celui de leurs longueurs ; en posant
$\operatorname {d} Y=P\operatorname {d} X,\qquad \operatorname {d} y=p\operatorname {d} x,\qquad \operatorname {d} y'=p'\operatorname {d} x'\,;$
on aura les quatre équations
${\frac {(X-x)^{2}+(Y-y)^{2}}{\lambda ^{2}}}={\frac {(X-x')^{2}+(Y-y')^{2}}{\lambda '^{2}}},\qquad$
$(X-x)+p(Y-y)=0,\quad$
$\qquad (X-x')+p'(Y-y')=0,\quad$
${\frac {(X-x)+P(Y-y)}{\lambda ^{2}}}={\frac {(X-x')+P(Y-y')}{\lambda '}},\qquad$
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 $X,Y,x,y,x',y',$ une seule doit être regardée comme indépendante. Prenons $X$ pour telle, et posons
$\operatorname {d} P=Q\operatorname {d} X,\qquad \operatorname {d} p=q\operatorname {d} x,\qquad \operatorname {d} p'=q'\operatorname {d} x',$
nous aurons
${\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}}.$
Différentiant alors les trois dernières équations sous ce point de vue, en ayant égard à ces relations, il viendra
$1+pP-\left[\left(1+p^{2}\right)-q(Y-y)\right]{\frac {\operatorname {d} x}{\operatorname {d} X}}=0,$
$1+p'P-\left[\left(1+p'^{2}\right)-q'(Y-y')\right]{\frac {\operatorname {d} x'}{\operatorname {d} X}}=0,$
${\frac {\left(1+P^{2}\right)+Q(Y-y)-(1+pP){\frac {\operatorname {d} x}{\operatorname {d} X}}}{\lambda ^{2}}}=$
${\frac {\left(1+P^{2}\right)+Q(Y-y')-(1+p'P){\frac {\operatorname {d} x'}{\operatorname {d} X}}}{\lambda '^{2}}}.$
mettant ensuite dans la dernière les valeurs de ${\frac {\operatorname {d} x}{\operatorname {d} X}}$ et ${\frac {\operatorname {d} x'}{\operatorname {d} X}},$ tirées des deux qui la précèdent, on aura
$\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\$
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 $(X,Y),$ en dirigeant les axes des $x$ et des $y,$ respectivement suivant la tangente et la normale à la courbe séparatrice en ce point. On aura ainsi $Y=0,\ P=0\,;$ et si, en outre, on désigne par $R$ le rayon de courbure de cette séparatrice en ce point, on aura $Q=-{\frac {1}{R}}\,;$ au moyen de quoi l’équation (4) deviendra simplement
${\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$
Désignons par $\mathrm {(S)}$ la courbe séparatrice, par $\mathrm {(T),(T')}$ les deux trajectoires, par $\mathrm {(C),(C')}$ leurs développées respectives, lesquelles ne sont autre chose que les caustiques formées par les rayons incidens et réfractés. Soient $\lambda k,\lambda 'k$ les longueurs des normales abaissées respectivement sur les deux trajectoires $\mathrm {(T),(T')} \,;$ soient $(t),(t')$ les points où ces normales touchent les caustiques $\mathrm {(C),(C')} \,;$ et soient $d,d'$ les distances de l’origine à ces deux points ; soient enfin $r,r'$ les rayons de courbure des deux trajectoires, pour les points $(x,y),(x',y').$
Prenons pour angle des coordonnées positives celui dans lequel se trouve situé le point $(t)$ de la caustique $\mathrm {(C)} \,;$ et remarquons que le rapport de $\lambda$ à $\lambda '$ pouvant toujours être supposé aussi voisin de l’égalité qu’on voudra, il s’ensuit que la caustique $\mathrm {(C')}$ peut être supposée indéfiniment voisine de la caustique $\mathrm {(C),}$ sans pourtant se confondre avec elle ; auquel cas le point $(t')$ se trouvera très-voisin de $(t)$ et situé, comme lui, dans l’angle des coordonnées positives.
Remarquons présentement que, les deux trajectoires $\mathrm {(T),(T')}$ é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 $(r,y)$ de $\mathrm {(T)}$ situé entre le point $(t)$ et l’origine, et si près de ce dernier point qu’on voudra ; et alors, à raison de la presque égalité des deux nombres $\lambda$ et $\lambda '$ le point $(x',y')$ se trouvera également situé entre le point $(t')$ et l’origine.
En conséquence on aura
$d=r+\lambda k,\quad$
$\qquad d'=r'+\lambda 'k,\qquad$
${\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}}$
Des quatre équations (8, 9, 8′, 9′) on tirera
${\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}}$
d’où on conclura, à l’aide des équations (7, 7′)
$qy=-{\frac {\lambda k}{r\operatorname {Cos} .^{2}(R,d)}},\qquad q'y'=-{\frac {\lambda 'k}{r'\operatorname {Cos} .^{2}(R,d')}}\,;$
et par conséquent
$\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')}}\,;$
ou, en vertu des équations (6, 6′)
$\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')}}.$
Substituant toutes ces diverses valeurs dans l’équation (5) elle deviendra
${\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}}}\,;$
mais (6, 6’)
${\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}}$
donc, en substituant, et remplaçant $1-\operatorname {Cos} .^{2}(R,d)$ et $1-\operatorname {Cos} .^{2}(R,d')$ par $\operatorname {Sin} .^{2}(R,d)$ et $\operatorname {Sin} .^{2}(R,d')$
${\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}}$
mais on a
${\frac {\operatorname {Sin} .^{2}(R,d)}{\lambda ^{2}}}={\frac {\operatorname {Sin} .^{2}(R,d')}{\lambda '^{2}}}$
donc finalement
${\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\}.$
Ainsi étant donné le rapport de $\lambda$ à $\lambda '$ 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 $R$ de cette derrière en chacun de ses points ; 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 $R=\infty ,$ et l’équation deviendrait simplement
${\frac {\operatorname {Cos} .^{2}(R,d)}{\lambda d}}={\frac {\operatorname {Cos} .^{2}(R,d')}{\lambda 'd'}},$
d’où l’on voit qu’alors $d$ et $d'$ 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 $(t),(t')$ sont tous deux situés dans la concavité de la séparatrice, et varier conséquemment les signes de $d$ et $d'$ 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 $\lambda '=\lambda ,\ \operatorname {Ang} .(R,d')=\operatorname {Ang} .(R,d)$ et de changer les signes de $d$ et $d'.$ Il viendra ainsi
${\frac {1}{d}}+{\frac {1}{d'}}={\frac {2}{R\operatorname {Cos} .(R,d)}}={\frac {2}{R\operatorname {Cos} .(R,d')}}\,;$
cependant $d$ et $d'$ devront avoir des signes contraires, si les points de contact $(t),(t')$ 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 $d_{1},r_{1},d'_{1},r'_{1},k_{1},$ les longueurs analogues à celles que nous avions désignées par $d,r,d',r',k$ pour les premiers ; nous aurons, comme alors,
${\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}}$
d’où en retranchant
$d_{1}-d=r_{1}-r+\lambda (k_{1}-k),\qquad d'_{1}-d'=r'_{1}-r'+\lambda '(k_{1}-k)\,;$
puis en éliminant $k_{1}-k,$
${\frac {d_{1}-d-(r_{1}-r)}{\lambda }}={\frac {d'_{1}-d'-(r'_{1}-r')}{\lambda '}}\,;$
mais, en représentant par $s$ et $s',$ 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
$r_{1}-r=s,\qquad r'_{1}-r'=s'\,;$
on aura donc, en substituant
${\frac {d_{1}-d+s}{\lambda }}={\frac {d'_{1}-d'+s'}{\lambda '}}\,;$
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 $d$ et $d'$, 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.
* ↑ Voy. la page 66 du présent volume.
* ↑ Voy. sur ce sujet la pag. 361 du Tom. XI. J. D. G.