OPTIQUE.
≈≈≈≈≈≈≈≈≈
Nous nous proposons, dans ce qui va suivre, de construire, pour la résolution des problèmes d’optique qui embrassent inévitablement
les trois dimensions de l’espace, des formules analogues à celles que nous avons construites à la page 65 du présent volume, pour la résolution des problèmes d’optique plane. Nous montrerons ensuite, par un exemple, la manière d’en faire usage.
Le théorème fondamental consiste ici en ce que, à chaque surface trajectoire orthogonale des rayons incidens, il répond toujours une surface trajectoire orthogonale des rayons réfractés telle que, de quelque point de la surface séparatrice des deux milieux que l’on mène des normales à ces deux autres surfaces, les longueurs de ces normales seront respectivement entre elles dans le rapport constant du sinus d’incidence au sinus de réfraction.
Soient donc
un quelconque des points de la surface séparatrice,
et
les pieds des normales abaissées de ce point sur les deux surfaces trajectoires ; et supposons que le rapport du sinus d’incidence au sinus de réfraction soit celui de
à
on aura d’abord
![{\displaystyle {\frac {(t-x)^{2}+(u-y)^{2}+(v-z)^{2}}{\lambda ^{2}}}={\frac {(t-x')^{2}+(u-y')^{2}+(v-z')^{2}}{\lambda '^{2}}}.\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6d90be9443c3527b431ce516f05eace92e0c9ac)
(1)
De plus, parce que les droites menées du point
aux deux autres sont respectivement normales aux surfaces auxquelles elles se terminent, en posant
![{\displaystyle {\frac {\operatorname {d} z}{\operatorname {d} x}}=p,\quad {\frac {\operatorname {d} z}{\operatorname {d} y}}=q,\quad {\frac {\operatorname {d} z'}{\operatorname {d} x'}}=p',\quad {\frac {\operatorname {d} z'}{\operatorname {d} y'}}=q',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a5e50b03d9a77e8ac0040cd628b8cc70ff1f21d)
on aura aussi
![{\displaystyle (t-x)+p(v-z)=0,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/87872876e875cbb14e9f8aae7c81ba125ce26d29)
(2)
![{\displaystyle \qquad (t-x')+p'(v-z')=0,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd8b0f7a10558932af4674beaae696ea68e1a4af)
(2′)
![{\displaystyle (u-y)+q(v-z)=0,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9291e973ff9dde324b3a9cd2221bfe14d38f4682)
(3)
![{\displaystyle \qquad (u-y')+q'(v-z')=0.\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e44b993fe5431fa69620bbf885ef458efc5f223)
(3′)
Remarquons présentement qu’il n’y a proprement dans tout ceci que
et
de variables indépendantes, et qu’on a
![{\displaystyle {\begin{array}{rll}{\frac {\operatorname {d} z}{\operatorname {d} t}}&={\frac {\operatorname {d} z}{\operatorname {d} x}}{\frac {\operatorname {d} x}{\operatorname {d} t}}+{\frac {\operatorname {d} z}{\operatorname {d} y}}{\frac {\operatorname {d} y}{\operatorname {d} t}}&=p{\frac {\operatorname {d} x}{\operatorname {d} t}}+q{\frac {\operatorname {d} y}{\operatorname {d} t}},\\\\{\frac {\operatorname {d} z}{\operatorname {d} u}}&={\frac {\operatorname {d} z}{\operatorname {d} x}}{\frac {\operatorname {d} x}{\operatorname {d} u}}+{\frac {\operatorname {d} z}{\operatorname {d} y}}{\frac {\operatorname {d} y}{\operatorname {d} u}}&=p{\frac {\operatorname {d} x}{\operatorname {d} u}}+q{\frac {\operatorname {d} y}{\operatorname {d} u}},\\\\{\frac {\operatorname {d} z'}{\operatorname {d} t}}&={\frac {\operatorname {d} z'}{\operatorname {d} x'}}{\frac {\operatorname {d} x'}{\operatorname {d} t}}+{\frac {\operatorname {d} z'}{\operatorname {d} y'}}{\frac {\operatorname {d} y'}{\operatorname {d} t}}&=p'{\frac {\operatorname {d} x'}{\operatorname {d} t}}+q'{\frac {\operatorname {d} y'}{\operatorname {d} t}},\\\\{\frac {\operatorname {d} z'}{\operatorname {d} u}}&={\frac {\operatorname {d} z'}{\operatorname {d} x'}}{\frac {\operatorname {d} x'}{\operatorname {d} u}}+{\frac {\operatorname {d} z'}{\operatorname {d} y'}}{\frac {\operatorname {d} y'}{\operatorname {d} u}}&=p'{\frac {\operatorname {d} x'}{\operatorname {d} u}}+q'{\frac {\operatorname {d} y'}{\operatorname {d} u}},\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/288f9f981db085db79645e57efa1c355c8411a6d)
en prenant donc, sous ce point de vue, les deux différentielles partielles de l’équation (1), par rapport à
et
, on trouvera
![{\displaystyle {\begin{aligned}&{\frac {(t-x)\left(1-{\frac {\operatorname {d} x}{\operatorname {d} t}}\right)-(u-y){\frac {\operatorname {d} y}{\operatorname {d} t}}+(v-z)\left({\frac {\operatorname {d} v}{\operatorname {d} t}}-p{\frac {\operatorname {d} x}{\operatorname {d} t}}-q{\frac {\operatorname {d} y}{\operatorname {d} t}}\right)}{\lambda ^{2}}}\\\\=&{\frac {(t-x')\left(1-{\frac {\operatorname {d} x'}{\operatorname {d} t}}\right)-(u-y'){\frac {\operatorname {d} y'}{\operatorname {d} t}}+(v-z')\left({\frac {\operatorname {d} v}{\operatorname {d} t}}-p'{\frac {\operatorname {d} x'}{\operatorname {d} t}}-q'{\frac {\operatorname {d} y'}{\operatorname {d} t}}\right)}{\lambda '^{2}}},\\\\&{\frac {-(t-x){\frac {\operatorname {d} x}{\operatorname {d} u}}+(u-y)\left(1-{\frac {\operatorname {d} y}{\operatorname {d} u}}\right)+(v-z)\left({\frac {\operatorname {d} v}{\operatorname {d} u}}-p{\frac {\operatorname {d} x}{\operatorname {d} u}}-q{\frac {\operatorname {d} y}{\operatorname {d} u}}\right)}{\lambda ^{2}}}\\\\=&{\frac {-(t-x'){\frac {\operatorname {d} x'}{\operatorname {d} u}}+(u-y')\left(1-{\frac {\operatorname {d} y'}{\operatorname {d} u}}\right)+(v-z')\left({\frac {\operatorname {d} v}{\operatorname {d} u}}-p'{\frac {\operatorname {d} x'}{\operatorname {d} u}}-q'{\frac {\operatorname {d} y'}{\operatorname {d} u}}\right)}{\lambda '^{2}}}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d88da6832685e343ba3a99031b76018d67e539e)
ou encore
![{\displaystyle {\frac {(t-x)+(v-z){\frac {\operatorname {d} v}{\operatorname {d} t}}-\left[(t-x)+p(v-z)\right]{\frac {\operatorname {d} x}{\operatorname {d} t}}-\left[(u-y)+q(v-z)\right]{\frac {\operatorname {d} y}{\operatorname {d} t}}}{\lambda ^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3074879d76a6fa49bc90698e72c3cff470358e16)
![{\displaystyle {\begin{aligned}=&{\frac {(t-x')+(v-z'){\frac {\operatorname {d} v}{\operatorname {d} t}}-\left[(t-x')+p'(v-z')\right]{\frac {\operatorname {d} x'}{\operatorname {d} t}}-\left[(u-y')+q'(v-z')\right]{\frac {\operatorname {d} y'}{\operatorname {d} t}}}{\lambda '^{2}}}\,;\\\\&{\frac {(u-y)+(v-z){\frac {\operatorname {d} v}{\operatorname {d} u}}-\left[(t-x)+p(v-z)\right]{\frac {\operatorname {d} x}{\operatorname {d} u}}-\left[(u-y)+q(v-z)\right]{\frac {\operatorname {d} y}{\operatorname {d} u}}}{\lambda ^{2}}}\\\\=&{\frac {(u-y')+(v-z'){\frac {\operatorname {d} v}{\operatorname {d} u}}-\left[(t-x')+p'(v-z')\right]{\frac {\operatorname {d} x'}{\operatorname {d} u}}-\left[(u-y')+q'(v-z')\right]{\frac {\operatorname {d} y'}{\operatorname {d} u}}}{\lambda '^{2}}}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa6c8e90a99fd382522540de73c8c216802cb9c4)
ou enfin, en ayant égard aux équations (2, 3, 2′, 3′)
![{\displaystyle {\frac {(t-x)+(v-z){\frac {\operatorname {d} v}{\operatorname {d} t}}}{\lambda ^{2}}}={\frac {(t-x')+(v-z'){\frac {\operatorname {d} v}{\operatorname {d} t}}}{\lambda '^{2}}}\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e9c2404e41a13e9b7268ed485272d2cce4074c1)
(4)
![{\displaystyle {\frac {(u-y)+(v-z){\frac {\operatorname {d} v}{\operatorname {d} u}}}{\lambda ^{2}}}={\frac {(u-y')+(v-z'){\frac {\operatorname {d} v}{\operatorname {d} u}}}{\lambda '^{2}}}\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7db4c3c92d4bd2eacac6f0057221da24ed390161)
(5)
équations évidemment comportées par les cinq autres, mais qu’on pourra substituer, avec avantage, à deux des quatre équations (2, 3, 2′, 3′), lorsque la surface séparatrice des deux milieux sera une des données du problème. On voit que, dans ce système d’équations,
figurent de la même manière que
et l’on n’aura pas lieu d’en être surpris, si l’on considère que, le rayon réfracté étant pris pour rayon incident, celui-ci devient rayon réfracté, et vice versâ. Il en résulte que la surface séparatrice des deux milieux étant donnée, le problème où l’on cherche la surface trajectoire orthogonale des rayons incidens, à l’aide de celle des rayons réfractés n’est pas différent de celui où il s’agirait de déterminer cette dernière, l’autre étant donnée.
Enfin, les coordonnées de nos trois points doivent être liées par un nombre égal d’équations en
en
et en
lesquelles ne sont autre chose que celles même de nos trois surfaces, équations que nous représenterons par
![{\displaystyle S=0,\qquad (6)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/794b5d8d2ebcfc7cf4837ed936d959606ac98310)
![{\displaystyle T=0,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/384d1b9e96ab04ca430db5b84ef4d3818fff7257)
(7)
![{\displaystyle \qquad T'=0\,;\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/37bacbf956b0e6a8bac3d44c744373e4e8ccc3df)
(7′)
la première appartenant à la surface séparatrice, et les deux autres aux deux surfaces trajectoires.
Lorsque, cette surface séparatrice étant donnée, on demandera de déterminer l’une des deux surfaces trajectoire par l’autre, il ne s’agira, pour cela, que d’éliminer ou les six coordonnées
entre les sept équations (1, 2′, 3′, 4, 5, 6, 7′), ou bien les six coordonnées
entre les sept équations (1, 2, 3, 4, 5, 6, 7) ; et l’équation résultante, en
ou en
sera l’équation de la surface trajectoire cherchée.
Si, au contraire, il s’agit de déterminer la surface séparatrice, au moyen des deux surfaces trajectoires, on y parviendra en éliminant les six coordonnées
entre les sept équations (1, 2, 2′, 3, 3′, 7, 7′) ; ce qui conduira à une équation en
qui sera celle de la surface demandée.
Quant aux problèmes relatifs à la réflexion de la lumière, on les résoudra à l’aide des mêmes formules, en y posant préalablement
Pour montrer, par un exemple, l’usage de ces formules, supposons que la surface séparatrice soit celle d’une sphère d’un rayon
ayant son centre à l’origine, et que les rayons incidens partent tous d’un point
nous aurons d’abord les équations
![{\displaystyle x'=a,\quad y'=b,\quad z'=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f57bff7d27ff5d62213254ec337639ede70d1de0)
qui remplaceront les équations (2′, 3′, 7′) et ensuite, pour l’équation (6)}}
![{\displaystyle t^{2}+u^{2}+v^{2}=r^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc546b94ad3e9e3b2ad30ea4c0d6de20c872d318)
d’où nous tirerons
![{\displaystyle {\frac {\operatorname {d} v}{\operatorname {d} t}}=-{\frac {t}{v}},\qquad {\frac {\operatorname {d} v}{\operatorname {d} u}}=-{\frac {u}{v}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ca134ca465b632accc0bd2ecf0368721887bf4a)
En mettant ces valeurs dans les équations (1, 4, 5), elles deviendront
![{\displaystyle {\frac {(t-x)^{2}+(u-y)^{2}+(v-z)^{2}}{\lambda ^{2}}}={\frac {(t-a)^{2}+(u-b)^{2}+(v-c)^{2}}{\lambda '^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65b254f282d6d97bc89f40df70d34ed820a482ff)
![{\displaystyle {\frac {tz-vx}{\lambda ^{2}}}={\frac {ct-av}{\lambda '^{2}}},\qquad {\frac {uz-vy}{\lambda ^{2}}}={\frac {cu-bv}{\lambda '^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23f245eb598c75860dd382d969631870e0de90e4)
Les deux dernières, combinées avec l’équation de la sphère donneront
![{\displaystyle {\begin{aligned}&t={\frac {\left(\lambda '^{2}x-\lambda ^{2}a\right)r}{\sqrt {\left(\lambda '^{2}x-\lambda ^{2}a\right)^{2}+\left(\lambda '^{2}y-\lambda ^{2}b\right)^{2}+\left(\lambda '^{2}z-\lambda ^{2}c\right)^{2}}}},\\\\&u={\frac {\left(\lambda '^{2}y-\lambda ^{2}b\right)r}{\sqrt {\left(\lambda '^{2}x-\lambda ^{2}a\right)^{2}+\left(\lambda '^{2}y-\lambda ^{2}b\right)^{2}+\left(\lambda '^{2}z-\lambda ^{2}c\right)^{2}}}},\\\\&v={\frac {\left(\lambda '^{2}z-\lambda ^{2}c\right)r}{\sqrt {\left(\lambda '^{2}x-\lambda ^{2}a\right)^{2}+\left(\lambda '^{2}y-\lambda ^{2}b\right)^{2}+\left(\lambda '^{2}z-\lambda ^{2}c\right)^{2}}}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8fb2a7b480a6d125a27722d9a9427cc2cd7a940)
d’où
![{\displaystyle \left(\lambda '^{2}x-\lambda ^{2}a\right)t+\left(\lambda '^{2}y-\lambda ^{2}b\right)u+\left(\lambda '^{2}z-\lambda ^{2}c\right)v}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17c9e223ca9fbcd993fc2cc9f9e1c09602d27333)
![{\displaystyle =r{\sqrt {\left(\lambda '^{2}x-\lambda ^{2}a\right)^{2}+\left(\lambda '^{2}y-\lambda ^{2}b\right)^{2}+\left(\lambda '^{2}z-\lambda ^{2}c\right)^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4d5e1c62868e372c9cd747d4b9f1c655961385c)
mais l’autre équation donne, en chassant les dénominateurs et développant,
![{\displaystyle \left(\lambda '^{2}-\lambda ^{2}\right)\left(t^{2}+u^{2}+v^{2}\right)-2\left\{\left(\lambda '^{2}x-\lambda ^{2}a\right)t+\left(\lambda '^{2}y-\lambda ^{2}b\right)u+\left(\lambda '^{2}z-\lambda ^{2}c\right)v\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/224484d32821d3270452d6c551a1f97bc019ba42)
![{\displaystyle +\lambda '^{2}\left(x^{2}+y^{2}+z^{2}\right)-\lambda ^{2}\left(a^{2}+b^{2}+c^{2}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38fe7624d15bd4c49b14af5c00d42b7f44a873bc)
ou simplement
![{\displaystyle 2\left\{\left(\lambda '^{2}x-\lambda ^{2}a\right)t+\left(\lambda '^{2}y-\lambda ^{2}b\right)u+\left(\lambda '^{2}z-\lambda ^{2}c\right)v\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30e614ab5eaa7929cac7630f61ae81ea13987a6d)
![{\displaystyle =\lambda '^{2}\left(x^{2}+y^{2}+z^{2}+r^{2}\right)-\lambda ^{2}\left(a^{2}+b^{2}+c^{2}+r^{2}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/754238805cd30f205b62a7c96b5206f9ec0832c3)
on aura donc ainsi
![{\displaystyle \lambda '^{2}\left(x^{2}+y^{2}+z^{2}+r^{2}\right)-\lambda ^{2}\left(a^{2}+b^{2}+c^{2}+r^{2}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a6d029461024996e2af6be7fb923650dd71d987)
![{\displaystyle =2r{\sqrt {\left(\lambda '^{2}x-\lambda ^{2}a\right)^{2}+\left(\lambda '^{2}y-\lambda ^{2}b\right)^{2}+\left(\lambda '^{2}z-\lambda ^{2}c\right)^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/285f1601c261ed9a0c9a737d7ca8d5c0d2221750)
ou bien encore
![{\displaystyle 4r^{2}\left\{\left(\lambda '^{2}x-\lambda ^{2}a\right)^{2}+\left(\lambda '^{2}y-\lambda ^{2}b\right)^{2}+\left(\lambda '^{2}z-\lambda ^{2}c\right)^{2}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5adbfdfdc3a7e8043af4a6d3b43785b69873183d)
![{\displaystyle =\left\{\lambda '^{2}\left(x^{2}+y^{2}+z^{2}+r^{2}\right)-\lambda ^{2}\left(a^{2}+b^{2}+c^{2}+r^{2}\right)\right\}^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cac9477ad3d49a88d543855696971af346e409cb)
résultat qui se lie parfaitement avec celui que nous avons obtenu page 78.
Pour donner un exemple du cas où la surface séparatrice est inconnue, supposons que les rayons incidens partent tous de l’origine, et cherchons quelle doit être cette surface pour que les rayons réfractés concourent tous en un même point
Nous aurons ici
![{\displaystyle {\begin{array}{rrr}x'=0,&y'=0,&z'=0,\\x=a,&y=b,&z=c\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88754b2ddfaa143008782f477d90d94f3553d835)
valeurs qui substituées dans l’équation (1) la changeront en celle-ci
![{\displaystyle {\frac {(t-a)^{2}+(u-b)^{2}+(v-c)^{2}}{\lambda ^{2}}}={\frac {t^{2}+u^{2}+v^{2}}{\lambda '^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e75d375360a3da49e0162ab61c4b6c762b4b0c98)
c’est-à-dire,
![{\displaystyle \left(\lambda '^{2}-\lambda ^{2}\right)\left(t^{2}+u^{2}+v^{2}\right)-2\lambda '^{2}(at+bu+cv)+\lambda '^{2}\left(a^{2}+b^{2}+c^{2}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a915e90523698846e1e850ceb08cda9ade8b4ffd)
ou encore
![{\displaystyle \left\{t-{\frac {\lambda '^{2}}{\lambda '^{2}-\lambda ^{2}}}a\right\}^{2}+\left\{u-{\frac {\lambda '^{2}}{\lambda '^{2}-\lambda ^{2}}}b\right\}^{2}+\left\{v-{\frac {\lambda '^{2}}{\lambda '^{2}-\lambda ^{2}}}c\right\}^{2}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c33f4b1e9d5b7e4c333743f981ff2270e53fb76)
![{\displaystyle \left\{{\frac {\lambda '\lambda {\sqrt {a^{2}+b^{2}+c^{2}}}}{\lambda '^{2}-\lambda ^{2}}}\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d761e6ddd5d88af026cc006b02e114711d48dac)
équation d’une sphère, comme on pouvait bien s’y attendre.