OPTIQUE.
Recherche analitique des propriétés les plus générales
des faisceaux lumineux directs, réfléchis et réfractés ;
≈≈≈≈≈≈≈≈≈
Malus, dans le XIVe cahier du Journal de l’école polytechnique, et postérieurement dans son Mémoire sur la double réfraction, a remarqué le premier que, à quelque loi mathématique que les rayons de lumière d’un même faisceau soient assujettis, ces rayons se distribuent, généralement parlant, en deux séries continues de surfaces développables, dont ils sont, à la fois, les élémens rectilignes et les intersections, de manière que ces rayons sont tous tangens, soit à deux surfaces distinctes soit à deux nappes d’une même surface, lieu des arêtes de rebroussement des surfaces développables des deux séries. Il a démontré de plus que, suivant que les surfaces développables de chaque série coupent ou non orthogonalement les surfaces développables de l’autre série, les rayons dont le faisceau se compose peuvent ou non être traversés orthogonalement par une même surface courbe.
Malus a reconnu en outre, que, si des rayons incidens étaient émanés d’un point fixe, ou parallèles à une droite fixe, ces rayons, après avoir été réfléchis ou réfractés, suivant les lois de l’optique, à la rencontre d’une surface mathématique quelconque, pouvaient être traversés orthogonalement par une même surface courbe ; mais il ne pensait pas qu’en général il pût en être encore de même pour ces mêmes rayons, après avoir été réfléchis ou réfractés de nouveau, à la rencontre d’une seconde surface courbe.
Dans un ouvrage recommandable d’ailleurs à beaucoup d’autres titres[1], M. Dupin, en traitant de la théorie des déblais et remblais, que le principe de la moindre action rattache à celle des mouvemens de la lumière, a reconnu que le principe de Malus était trop restreint, et que, pour que des rayons réfléchis ou réfractés pussent être traversés orthogonalement par une même surface courbe, il suffisait simplement que les rayons incidens offrissent la même possibilité ; d’où il a conclu ce beau théorème, savoir, que des rayons susceptibles d’être traversés orthogonalement par une même surface courbe, conservent constamment cette propriété, après avoir subi un nombre quelconque de réflexions et de réfractions, à la rencontre de quelques surfaces mathématiques que ce puisse être.
En cherchant à nous démontrer à nous-mêmes le théorème de M. Dupin, nous en avons rencontré un autre, lequel consiste en ce que, pour des rayons incidens susceptibles d’être traversés orthogonalement par une même surface, l’effet de tant de réflexions et de réfractions qu’on voudra peut toujours être remplacé soit par une réflexion soit par une réfraction unique.
C’est principalement à établir cette dernière proposition et à en développer les conséquences les plus importantes que nous destinons ce qu’on va lire ; mais, afin d’épargner au lecteur la peine de chercher autre part la démonstration des principes sur lesquels nous aurons besoin de nous appuyer, et de lui offrir un ensemble qui se soutienne de lui-même, nous démontrerons d’abord les théorèmes de Malus et ceux de M. Dupin. Ce soin nous paraît d’autant plus convenable que, d’une part, comme le remarque M. Dupin, les calculs de Malus, assez compliqués d’ailleurs, doivent être entachés de quelque erreur ; que d’un autre, M. Dupin n’a donné de démonstration directe de son théorème que pour le cas de la réflexion seulement, et qu’il se trouve même dans cette démonstration une assertion tout au moins hasardée.
Pour éviter une trop grande multiplicité d’accens, nous emploîrons constamment les majuscules
comme symboles des coordonnées courantes, lesquelles seront toujours rectangulaires ; les diverses surfaces
que nous aurons à considérer auront respectivement leurs coordonnées représentées par
et les différentielles partielles successives des fonctions
des variables indépendantes
seront représentées suivant l’usage par
Nous aurons soin d’ailleurs, à mesure que nous avancerons, d’éclairer l’usage de nos formules générales, en les appliquant à des cas particuliers.
§. I.
Manière d’exprimer des faisceaux de droites dans l’espace,
et d’en étudier les propriétés.
1. Soient des droites se succédant sans interruption les unes aux autres, suivant une loi mathématique quelconque, telle néanmoins que, par chacun des points d’un espace donné, circonscrit ou illimité, il en doive, en général, passer une et une seule ; comme il arriverait, par exemple, pour des droites émanées d’un même point fixe, ou parallèles à une même droite fixe ou, plus généralement encore, normales à une même surface donnée.
Pour exprimer analitiquement de telles droites, d’une manière à la fois commode et générale, qui permette d’en étudier les diverses propriétés, concevons qu’à travers leur système on fasse passer une surface arbitraire, donnée par l’équation
![{\displaystyle z=\operatorname {f} (x,y).\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/17fc4a0fa2f1b7010ea1d81718ce959611a09da5)
(S)
Comme on pourra supposer toutes les droites du système émanées de cette surface, nous l’appellerons la base du faisceau ; et le point
où chacune d’elles percera cette même surface, et duquel elle sera censée émaner, sera dit le point d’application de cette droite ; de sorte que la base du faisceau sera le lieu des points d’application des droites qui le composent. Alors une quelconque des droites du système pourra être généralement exprimée, par deux équations de la forme
![{\displaystyle X-x+P(Z-z)=0,\qquad Y-y+Q(Z-z)=0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/38dba28a8bc4865ea458e6f91a033dec9039f924)
(D)
et
étant des fonctions déterminées des variables indépendantes
et
dont la nature décidera de celle du système. On conçoit au surplus, que
et
pourraient bien aussi renfermer
et même
mais alors ces lettres ne devraient y être considérées que comme des symboles de fonctions de
et
données par l’équation (S). Il est même souvent bon d’introduire de tels symboles dans les équations (D), soit pour éviter les irrationnels dans
et
soit seulement pour obtenir ces coefficiens sous une forme plus simple.
Que, par exemple, l’équation de la base du faisceau soit
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
et que les équations générales des droites qui le composent soient
![{\displaystyle X-x-{\frac {(z-c)+(2x-y)}{2(z-c)+(x+y)}}(Z-z)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e591efa6ff42c71291f014761a6af76d76e96c4)
![{\displaystyle Y-y-{\frac {(z-c)+(2y-x)}{2(z-c)+(x+y)}}(Z-z)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a40ed6d9172585ed264618e20aa7f9cf3048dd6)
en mettant dans les numérateurs pour
sa valeur
donnée par l’équation de la base, et pour
dans les dénominateurs, sa valeur
donnée par la même équation, ces équations prendront cette forme plus simple, mais équivalente
![{\displaystyle X-x+{\frac {2y-x}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {2x-y}{z-c}}(Z-z)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08f504f8c80eee87e02e06eeff34589b72587692)
2. Il est clair qu’avec les équations générales des droites du faisceau, on pourra construire tant de ces droites qu’on voudra. En se donnant en effet arbitrairement les deux variables indépendantes
et
l’équation de la base fera connaître
on connaîtra donc ainsi un des points de la droite à construire ; et la substitution des valeurs de
dans
et
fera connaître la direction de cette droite.
À l’inverse, dès que l’on connaîtra la loi mathématique à laquelle les droites d’un même faisceau seront assujetties, on pourra toujours en conclure les équations générales de ces droites. Supposons par exemple, que tous les points d’un plan donné par l’équation
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
pris pour base, on abaisse des perpendiculaires sur une droite donnée par les équations
![{\displaystyle x=y=-(z-c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbf8bc045f6f11e2325b173afdd70f2604463d4b)
ces droites formeront un certain faisceau, et, pour en trouver les équations générales, voici comment on opérera. Désignant par
le pied de la perpendiculaire abaissée du point
sur la droite dont il s’agit, on aura d’abord
![{\displaystyle x'=y'=-(z'-c)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02f9210310c5e4073553f5483d7ec6055475bf3a)
et les équations de cette perpendiculaire, seront de la forme
![{\displaystyle X-x={\frac {x-x'}{z-z'}}(Z-z),\qquad Y-y={\frac {y-y'}{z-z'}}(Z-c).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71cd1cd4161581b13f57f9806496088fabb7099f)
La condition de perpendicularité donnera ensuite
![{\displaystyle 1-{\frac {x-x'}{z-z'}}-{\frac {y-y'}{z-z'}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a0c5f5311c71e1fa774b4ede93c379a725f1760)
ou
![{\displaystyle z-z'=(x-x')+(y-y')\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eac77399c04d09bc3f7f21c0c5ba75a517c70277)
nous aurons donc, entre
trois équations desquelles nous tirerons
![{\displaystyle x'=y'=-(z'-c)=-{\frac {(z-c)-(x+y)}{3}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d79ca02fedc7d371a1dde5031f4da1ff581f9b8)
et de là
![{\displaystyle x-x'={\frac {(z-c)+(2x-y)}{3}},\quad y-y'={\frac {(z-c)+(2y-x)}{3}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1517ad54e3aecf4cbbf3eb15866418d3267353ec)
![{\displaystyle z-z'={\frac {2(z-c)+(x+y)}{3}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8cfa29eaafd58521608eff44e92dcaab2b98033)
d’où
![{\displaystyle {\frac {x-x'}{z-z'}}={\frac {(z-c)+(2x-y)}{2(z-c)+(x+y)}},\qquad {\frac {y-y'}{z-z'}}={\frac {(z-c)+(2y-x)}{2(z-c)+(x+y)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a00c6e73af6fc7d184bce599fbb0827232bf975b)
de sorte que les équations générales des droites du faisceau seront
![{\displaystyle X-x-{\frac {(z-c)+(2x-y)}{2(z-c)+(x+y)}}(Z-z)=0,\ Y-y-{\frac {(z-c)+(2y-x)}{2(z-c)+(x+y)}}(Z-z)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4e66b00b88986ede85d80ea8a16b9d2606d0ecf)
qu’au moyen de l’équation de la base, on pourra réduire ensuite à
![{\displaystyle X-x+{\frac {2y-x}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {2x-y}{z-c}}(Z-z)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/527273d35e9349b213fe325777ed53e56c7b2411)
c’est précisément le faisceau que nous avions d’abord pris pour exemple, et dont nous connaissons présentement le mode de génération.
3. À l’aide des trois équations
![{\displaystyle z=\operatorname {f} (x,y)\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bd6890ec2290624aa128710dbf9b269598ebfc5)
(S)
![{\displaystyle X-x+P(Z-z)=0,\qquad Y-y+Q(Z-z)=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d48de128359c246f8fcb481b2931462792149d2)
(D)
il sera toujours facile d’assigner les droites du faisceau qui ont une situation déterminée par rapport à sa base. Pour en donner deux exemples simples, supposons, en premier lieu, qu’on demande quels sont les points de cette base d’où les droites émanent dans des directions tangentes ; en observant que la normale à la base au point
a pour ses équations
![{\displaystyle X-x+p(Z-z)=0,\qquad Y-y+q(Z-z)=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/96551ebe69e6c6260dac343957fec9a0c21da7af)
(N)
on verra que, pour cela, il faut qu’on ait
![{\displaystyle 1+pP+qQ=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c6a3edac2cf5327dc0d69a11523b9277944ed72)
équation d’une surface qui coupera la base suivant une ligne courbe à double courbure, pour tous les points de laquelle cette circonstance aura lieu. D’où l’on voit que, dans le cas particulier où cette dernière équation ne différerait de l’équation (S) que par un simple facteur, les droites du faisceau seraient toutes des tangentes à sa base.
Appliquons ces considérations au faisceau donné par les trois équations
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
![{\displaystyle X-x+{\frac {2y-x}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {2x-y}{z-c}}(Z-z)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f9e257003dd4dca363279d7f6bb17f7fb3a95c2)
Ayant ici
![{\displaystyle P={\frac {2y-x}{z-c}},\quad Q={\frac {2x-y}{z-c}},\quad p=q=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/762bf20ee5be8c0e2bb8d4cf216de070316ab88d)
l’équation du problème sera
![{\displaystyle 1-{\frac {2y-x}{z-c}}-{\frac {2x-y}{z-c}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b19e6d02e64001f5523780d0acfb5348b30ab7d)
c’est-à-dire,
![{\displaystyle z-x-y=c\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19ab0ecc32fe2153c8d2eeb1ea602b1d0975cf63)
équation d’un plan qui coupe la base suivant une droite donnée par les équations
![{\displaystyle x+y=0,\qquad z=c.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ff857fa91ea8b4880262b912900a57bc897e05d)
Tel est donc le lieu de tous les points de la base d’où les droites du faisceau émanent dans des directions tangentes à cette base, et se confondent conséquemment avec elle, puisque celle-ci est une surface plane.
4. Supposons, en second lieu, que l’on demande quels sont les points de la base d’où les droites du faisceau émanent dans des directions normales à cette base. Il est clair qu’ici il faudra poser les deux équations
![{\displaystyle P=p,\qquad Q=q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/084fc78f8ee407b77abaa906d767e02433ac4ba9)
qui, combinées avec l’équation (S) feront connaître les points de la base, en nombre limité, pour lesquels cette circonstance aura lieu. Si cependant, dans des cas particuliers, chacune de ces équations se trouvait comportée par les deux autres, alors il y aurait sur la base une courbe à double courbure de chacun des points de laquelle les droites du faisceau émaneraient dans des directions normales à cette base. Et si ces trois équations, ne différaient les unes des autres que par un simple facteur, toutes les droites du système seraient des normales à sa base.
Appliquons ces considérations au faisceau de droites donné par les trois équations
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
![{\displaystyle X-x+{\frac {2y-x}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {2x-y}{z-c}}(Z-z)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f9e257003dd4dca363279d7f6bb17f7fb3a95c2)
Ayant ici
![{\displaystyle P={\frac {2y-x}{z-c}},\qquad Q={\frac {2x-y}{z-c}},\qquad p=q=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa44f3ee51c3f5c2301241b53147025065b7adc1)
les deux équations du problème seront
![{\displaystyle {\frac {2y-x}{z-c}}=-1,\qquad {\frac {2x-y}{z-c}}=-1\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae93703b8bcd7f3ec24187722edbb6bb48c5aa43)
c’est-à-dire,
![{\displaystyle (z-c)+(2y-x)=0,\qquad (z-c)+(2x-y)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5144c6a645acb3a1491a053fe61f3ec1d95a7f20)
équations qui, conjointement avec l’équation
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
de la base du faisceau, sont satisfaites en posant
![{\displaystyle x=y=0,\qquad z=c\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/002af5fa38a276fcc3600aa32589ee99066b9a3a)
mais il est aisé de voir (2) que cette solution ne saurait être admise. Elle se trouve introduite à raison de la forme
que prennent alors
et ![{\displaystyle Q.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d71f4e31c26c911ef342f6dd74f9614e6ecad6b)
5. La base d’un faisceau de droite étant une surface tout-à-fait arbitraire, on peut se proposer de substituer une nouvelle base à une base donnée. Les équations générales des droites du faisceau changent alors de forme ; et on opère ainsi une transformation assez analogue à celle des coordonnées. Mais voyons auparavant comment on peut transporter le point d’application
de l’une des droites du faisceau de l’endroit où cette droite perce la base en un autre lieu quelconque
sur sa direction ; de telle sorte qu’alors les coordonnées
deviendront tout-à-fait indépendantes les unes des autres. Supposons qu’alors les équations de (D) soient
![{\displaystyle X-x'+P'(Z-z')=0,\qquad Y-y'+Q'(Z-z')=0\,;\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3e18eef3879ac5bb1f41a8ebb81b06a91333d76)
(D′)
et
devront être des fonctions déterminées de
et c’est à la recherche de ces fonctions que se réduira la résolution du problème.
Or, parce que le point
doit être sur la droite (D′), on devra avoir
![{\displaystyle x-x'+P'(Z-z')=0,\qquad y-y'+Q'(Z-z')=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6663f43cc2c337d9eee4e3a5b4feae76b5c179f7)
Ensuite, parce que la direction de cette droite doit toujours demeurer la même, on aura aussi
![{\displaystyle P'=P,\qquad Q'=Q.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04f953ede6ec24b8fb5e509cbbde0c89134cdf1)
Joignant donc à ses quatre équations l’équation (S), pour en éliminer les trois coordonnées
il en résultera, entre
et
deux équations desquelles on tirera les valeurs cherchées de ces inconnues, fonctions de ![{\displaystyle x',y',z'.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49f278c25d62fab0dbe9d2a4e96dc3c1ac36f4e1)
À ce procédé il sera peut-être quelquefois plus commode de substituer le suivant : l’élimination de
et
entre les quatre premières équations donne les deux suivantes
![{\displaystyle x-x'+P(Z-z')=0,\qquad y-y'+Q(Z-z')=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2c1214a32125b5cf2271edd0019f4c4be6360f1)
en y joignant donc l’équation (S), on en pourra tirer les valeurs de
en
lesquelles substituées dans
et
les changeront en
et
.
Quelque procédé qu’on emploie d’ailleurs, il s’offrira un moyen fort simple de vérifier les valeurs obtenues pour
et
Ce moyen consiste en ce qu’en établissant entre
la même relation qui existait entre
les valeurs de
et
doivent évidemment, en vertu de cette relation, être susceptibles de prendre une forme telle qu’elles ne diffèrent plus que par les accens des valeurs de
et
Cette manière simple de vérifier les valeurs obtenues pour
et
est d’autant plus précieuse que, le plus souvent, on trouve pour ces fonctions plusieurs systèmes de valeurs entre lesquelles il devient nécessaire de choisir.
Appliquons ces procédés et ces réflexions au faisceau de droites données par les trois équations
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
![{\displaystyle X-x+{\frac {2y-x}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {2x-y}{z-c}}(Z-z)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f9e257003dd4dca363279d7f6bb17f7fb3a95c2)
Pour appliquer la première méthode, nous poserons les cinq équations
![{\displaystyle x-x'+P'(z-z')=0,\qquad y-y'+Q'(z-z')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbc1aa9a4090a03217b9734b7252e59a537a8225)
![{\displaystyle (z-c)P'=2y-x,\qquad (z-c)Q'=2x-y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9d3e6acd6437ed6806889ff703eb549fba9c6d5)
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
tirant d’abord les valeurs de
et
des deux premières, pour les substituer dans les trois autres, celles-ci deviendront
![{\displaystyle 2Q'z=2Q'z'-P'(z'-c)+(2y'-x'),\ 2P'z=2P'z'-Q'(z'-c)+(2x'-y'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abf66c891ff629023dc2d0c0f34db3d17aeea25b)
![{\displaystyle (P'+Q'-1)z=(P'+Q'-1)z'+(x'+y'+z'-c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86b754d1ae6ae77795618167b53fbb710c9b651b)
entre lesquelles il ne sera plus question que d’éliminer
Tirant donc de la dernière la valeur de cette coordonnée, pour la substituer dans les deux autres, on aura, pour déterminer les inconnues
et
les deux équations
![{\displaystyle P'(P'+Q')(z'-c)-P'\left\{(z'-c)+(2y'-x')\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9acad1625e5f11f06a74deeaaab7b35b9be4c4c)
![{\displaystyle +Q'\left\{2(z'-c)+3x'\right\}+(2y'-x')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a9a213b37b483b26e66929d8bb0e2c15120e01c)
![{\displaystyle Q'(P'+Q')(z'-c)-Q'\left\{(z'-c)+(2x'-y')\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66a0bef7d03aa3c89b52e97d8997d0ea9e923343)
![{\displaystyle +P'\left\{2(z'-c)+3y'\right\}+(2x'-y')=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1e537d05f5c1fd437b840194fd2518bb6bd8a90)
En prenant leur somme, réduisant et décomposant, on trouve
![{\displaystyle (P'+Q'+1)\left\{(P'+Q')(z'-c)+(x'+y')\right\}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6df615fdda6098c24a1f3bc9f6f83b08cad0bf3f)
Pour savoir quel est celui de ces deux facteurs qu’on doit égaler à zéro, supposons pour un moment qu’on ait
![{\displaystyle x'+y'+z'-c=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2877c8ebd3c6f23044bc5f613a0a2a15a75bcbe)
cette équation deviendra, en substituant et divisant par ![{\displaystyle z'-c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d98bde7aa5896357991c49565914f8a4faa8636)
![{\displaystyle (P'+Q'+1)(P'+Q'-1)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a60ba14d5e824b5452cf9ec5b1e175b542794d2e)
mais alors
et
ne devront différer de
et
que par les accens. Or, en vertu de la relation
![{\displaystyle x+y+z=c.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a25a4520912ffc8d3c0cc7927583f57d15f3f22)
on trouve aisément
donc, en vertu de la relation
on doit aussi avoir
et non
c’est donc le premier facteur qu’il faut égaler à zéro ; cela donne
![{\displaystyle P'+Q'=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/601d70997eef48a4e6bb5c6567dd05826bb09a44)
valeur qui, introduite dans les deux équations en
et
les change en celles-ci
![{\displaystyle P'\left\{2(z'-c)+(2y'-x')\right\}-Q'\left\{2(z'-c)+3x'\right\}=2y'-x',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7784c704f93224be23f76bacaddb658d29cc3dfa)
![{\displaystyle Q'\left\{2(z'-c)+(2x'-y')\right\}-P'\left\{2(z'-c)+3y'\right\}=2x'-y',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cb2c0ba132abda25ad3d73211de152a12ac43c5)
dont la différence est
![{\displaystyle \left\{4(z'-c)+(5y'-x')\right\}P'-\left\{4(z'-c)+(5x'-y')\right\}Q'+3(x'-y')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/188c8b586b2b0fa13bf879e4bba3ba5a5bba0512)
qui, combinée avec
![{\displaystyle P'+Q'+1=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efa012f18f612647958e0abca728d5f7fb072e5f)
donne
![{\displaystyle P'=-{\frac {(z'-c)+(2x'-y')}{2(z'-c)+(x'-y')}},\qquad Q'=-{\frac {(z'-c)+(2y'-x')}{2(z'-c)+(x'+y')}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f9f0b3fb61aaabbb4f61836c7f39b5adf330242)
comme nous l’avions déjà trouvé (2).
Si, au contraire, nous voulons faire usage de la seconde méthode, nous poserons les trois équations
![{\displaystyle (z-c)(x-x')+(2y-x)(z-z')=0,\quad (z-c)(y-y')+(2x-y)(z-z')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f55d2e0f0e3531aa9dfd508182221a5fb102be74)
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
desquelles il s’agira de tirer les valeurs de
Pour y parvenir facilement, prenons d’abord la somme des deux premières. En substituant, dans cette somme, pour
sa valeur
et divisant ensuite par
il viendra
![{\displaystyle 2z=c+z'-x'-y',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40738683356c7aad935a166108790388541c9640)
d’où
![{\displaystyle 2(z-c)=(z'-c)-(x'+y'),\qquad 2(z-z')=-(z'-c)-(x'+y')\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2202fa8bd4378cf196a77bdd7a82e7b3e776e19)
substituant ces valeurs dans les deux premières équations, elles deviendront
![{\displaystyle 2(z'-c)x-2\left\{(z'-c)+(x'+y')\right\}y=x'\left\{(z'-c)-(x'+y')\right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de428c465693a5c9f3c75704dbd6ce9216fa1d46)
![{\displaystyle 2(z'-c)y-2\left\{(z'-c)+(x'+y')\right\}x=y'\left\{(z'-c)-(x'+y')\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abaf65c03f9c7e9aa1ec1e049fd3055785a9b43e)
d’où
![{\displaystyle x=-{\frac {1}{2}}.{\frac {(z'-c)-(x'+y')}{2(z'-c)+(x'+y')}}\left\{(z-c)+y\right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bb24d8ce9c25544cd2041363eb588d29b0611bd)
![{\displaystyle y=-{\frac {1}{2}}.{\frac {(z'-c)-(x'+y')}{2(z'-c)+(x'+y')}}\left\{(z'-c)+x'\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25db661ec2506b2918829a9e801e34f9270e8803)
et de là
![{\displaystyle 2y-x=-{\frac {1}{2}}.{\frac {(z'-c)-(x'+y')}{2(z'-c)+(x'+y')}}\left\{(z'-c)+(2x'-y')\right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3df03df8dcd9bcd35a94da66094f70f77a60ff20)
![{\displaystyle 2x-y=-{\frac {1}{2}}.{\frac {(z'-c)-(x'+y')}{2(z'-c)+(x'+y')}}\left\{(z'-c)+(2y'-x')\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/090d4a7802e507e2fcbf831b851f0bceab3e10a2)
donc
![{\displaystyle P'={\frac {2y-x}{z-c}}=-{\frac {(z'-c)+(2x'-y')}{2(z'-c)+(x'+y')}},\quad Q'={\frac {2x-y}{z-c}}=-{\frac {(z'-c)+(2y'-x')}{2(z'-c)+(x'+y')}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1db988c00b95cafbc5ca7b04ba45803275850e0a)
comme ci-dessus. Ainsi, les droites du faisceau pourront simplement être exprimées par les deux équations
![{\displaystyle X-x'-{\frac {(z'-c)+(2x'-y')}{2(z'-c)+(x'+y')}}(Z-z')=0,\quad Y-y'-{\frac {(z'-c)+(2y'-x')}{2(z'-c)+(x'+y')}}(Z-z'),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2c0cf0e4625dc99943ad1a2849965fd3903773a)
où les trois coordonnées
sont tout-à-fait indépendantes les unes des autres.
Du moment qu’on est ainsi parvenu à exprimer les droites d’un faisceau en coordonnées indépendantes les unes des autres, on peut établir entre ces coordonnées quelle relation on voudra ; ce qui revient évidemment à donner au faisceau une nouvelle base tout-à-fait arbitraire. On pourra donc choisir cette base de manière à rendre les fonctions
et
les plus simples possibles, et notamment à en faire disparaître les irrationnels. On pourra donc la choisir aussi de telle sorte qu’elle ait une situation déterminée par rapport aux droites dont le faisceau se compose.
7. Pour en donner deux exemples simples, supposons d’abord qu’on exige que toutes les droites du faisceau soient tangentes à la nouvelle base ; il ne s’agira pour cela (3) que de prendre pour l’équation de cette base l’intégrale de l’équation différentielle partielle
![{\displaystyle 1+p'P'+q'Q'=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92ae24f82ad63002061a3e23142fa5415e687056)
On sent au surplus que, le problème étant déterminé de sa nature, ce ne sera ni l’intégrale générale, ni même l’intégrale complète de cette équation, avec ses deux constantes arbitraires, qui pourra le résoudre. Elle devra donc admettre une solution particulière qui sera la base cherchée.
En appliquant ces considérations au faisceau déjà pris pour exemple, nous aurons pour l’équation différentielle partielle de la surface à laquelle sont tangentes toutes les droites dont ce faisceau se compose, en supprimant les accens, pour plus de simplicité,
![{\displaystyle \left\{(z-c)+(2x-y)\right\}p+\left\{(z-c)+(2y-x)\right\}q=2(z-c)+(x+y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ea966c800a056596c9801a64c0bc09eccc80eff)
L’intégrale générale de cette équation est
![{\displaystyle x+y-z=\operatorname {F} \left({\frac {y+z-c}{x+z-c}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e89097099cb7ca1f3c80b1ee0020c28f03c3f0b)
On y satisfait aussi en posant
![{\displaystyle z=Ax+By+c\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dfb6c38b97de317c138743a7a89f19e3cf39727)
pourvu qu’on lie les deux constantes arbitraires
et
par la relation
![{\displaystyle A+B+1=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1d5184d7dd61b525d00f8fd7bd65fb467f62cb4)
elle admet enfin la solution particulière
![{\displaystyle \left\{(z-c)+(2x-y)\right\}^{2}+\left\{(z-c)+(2y-x)\right\}^{2}+\left\{2(z-c)+(x+y)\right\}^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4afa39fe9163d0b7d50df1b322961c55aa37539)
laquelle revient aux deux suivantes :
![{\displaystyle x=y=-(z-c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbf8bc045f6f11e2325b173afdd70f2604463d4b)
qui sont en effet (2) celles de l’axe du cylindre auquel sont normales toutes les droites du faisceau. Nous donnerons plus loin, au surplus, un procédé direct, pour parvenir à la surface à laquelle toutes les droites d’un faisceau sont tangentes, à quelque base d’ailleurs que ce faisceau soit rapporté.
8. En second lieu ; si l’on voulait que toutes les droites du faisceau fussent normales à la nouvelle base, il faudrait qu’on eût à la fois
![{\displaystyle p'=P',\qquad q'=Q'\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe4e75874bfb1abaf1f78774f9703fd809c014cd)
en sorte que l’équation différentielle totale de la nouvelle base devrait être
![{\displaystyle \operatorname {d} z'=P'\operatorname {d} x'+Q'\operatorname {d} y'\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cadf7bdb54c8a4a4c236249948633338bd4b7cc4)
mais on voit par là même que le problème n’est pas toujours possible ; puisqu’une équation différentielle totale n’est pas toujours intégrable. La condition d’intégrabilité est ici
![{\displaystyle {\frac {\operatorname {d} P'}{\operatorname {d} y'}}-{\frac {\operatorname {d} Q'}{\operatorname {d} x'}}=P'{\frac {\operatorname {d} Q'}{\operatorname {d} z'}}-Q'{\frac {\operatorname {d} P'}{\operatorname {d} z'}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99c777e0a1976739f3cc78dfc23c9e315d33cf3b)
et, quand un faisceau sera de nature à y satisfaire, à cause de la constante arbitraire qui entrera dans l’intégrale, une infinité de surfaces différentes pourront couper orthogonalement les droites dont le faisceau sera composé. Ces surfaces seront, les unes à l’égard des autres, ce que M. Crelle a appelé surfaces parallèles (Annales, tom. XII, pag. 1 et suiv.)
Pour le faisceau déjà pris pour exemple, on a, en supprimant les accens,
![{\displaystyle P=-{\frac {(z-c)+(2x-y)}{2(z-c)+(x+y)}},\quad Q=-{\frac {(z-c)+(2y-x)}{2(z-c)-(x+y)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35627ff345c9ca29ce80d400cc1cb05c932272c2)
d’où
![{\displaystyle {\frac {\operatorname {d} P}{\operatorname {d} y}}=3.{\frac {(z-c)+x}{\left\{2(z-c)+(x+y)\right\}^{2}}},\qquad {\frac {\operatorname {d} Q}{\operatorname {d} x}}=3.{\frac {(z-c)+y}{\left\{2(z-c)+(x+y)\right\}^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebcb2d09939a5093170fd9d1783a676bf10fefa3)
![{\displaystyle {\frac {\operatorname {d} Q}{\operatorname {d} z}}=-3.{\frac {x-y}{\left\{2(z-c)+(x+y)\right\}^{2}}},\quad {\frac {\operatorname {d} P}{\operatorname {d} z}}=+3.{\frac {x-y}{\left\{2(z-c)+(x+y)\right\}^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a81171768d585838510c54fe6669b67d264cc6a8)
et de là
![{\displaystyle {\frac {\operatorname {d} P}{\operatorname {d} y}}-{\frac {\operatorname {d} Q}{\operatorname {d} x}}=P{\frac {\operatorname {d} Q}{\operatorname {d} z}}-Q{\frac {\operatorname {d} P}{\operatorname {d} z}}=3.{\frac {x-y}{\left\{2(z-c)+(x+y)\right\}^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70e12256ea39fd48c0656d0b2f18ec3baba25d8f)
la condition d’intégrabilité se trouve donc ici satisfaite, comme on pouvait bien s’y attendre (2) ; l’équation des surfaces trajectoires orthogonales de toutes les droites du faisceau est donc l’intégrale de l’équation différentielle
![{\displaystyle \left\{(z-c)+(2x-y)\right\}\operatorname {d} x+\left\{(z-c)+(2y-x)\right\}\operatorname {d} y+\left\{2(z-c)+(x+y)\right\}\operatorname {d} z=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71fbcddd74f57e2b34af3a4a5d1d4fa927682bb8)
On peut la mettre sous cette forme
![{\displaystyle (x+z-c)(\operatorname {d} x+\operatorname {d} z)+(y+z-c)(\operatorname {d} y+\operatorname {d} z)+(x-y)(\operatorname {d} x-\operatorname {d} y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21ad661d1149f58b7b1fdd0672d8056c6bc9ce83)
ou, en multipliant par 2,
![{\displaystyle \operatorname {d} .(x+z-c)^{2}+\operatorname {d} .(y+z-c)^{2}+\operatorname {d} .(x-y)^{2}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4d547085c7a79dccdf19cb79558b53a21b11a08)
ce qui donne, en intégrant,
![{\displaystyle (x+z-c)^{2}+(y+z-c)^{2}+(x-y)^{2}=r^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03cf71f18245746ade47efce6bea10ee234aec75)
étant la constante arbitraire. Les droites du faisceau sont donc normales à une série de cylindres concentriques, dont l’axe commun est donné par la double équation
![{\displaystyle x=y=-(z-c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbf8bc045f6f11e2325b173afdd70f2604463d4b)
ce qui est conforme (2) au mode de génération du faisceau.
9. Un faisceau de droites étant rappctté à une base déterminée quelconque, on peut désirer de reconnaître immédiatement s’il existe ou non des surfaces trajectoires orthogonales des droites dont ce faisceau se compose ; et c’est par la recherche de la condition de laquelle dépend cette circonstance que nous terminerons ce paragraphe. Nous venons déjà de voir qu’on devait avoir pour cela
![{\displaystyle {\frac {\operatorname {d} P'}{\operatorname {d} y'}}-{\frac {\operatorname {d} Q'}{\operatorname {d} x'}}=P'{\frac {\operatorname {d} Q'}{\operatorname {d} z'}}-Q'{\frac {\operatorname {d} P'}{\operatorname {d} z'}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99c777e0a1976739f3cc78dfc23c9e315d33cf3b)
mais nous pouvons écrire simplement
![{\displaystyle {\frac {\operatorname {d} P'}{\operatorname {d} y'}}={\frac {\operatorname {d} Q'}{\operatorname {d} x'}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c234b4e83c48779f1bf099a4cc607180b2697b6)
pourvu qu’il demeure entendu que dans
et
on fera varier
comme fonction de
et
. Avec cette attention, cette dernière équation revient en effet à
![{\displaystyle {\frac {\operatorname {d} P'}{\operatorname {d} y'}}+{\frac {\operatorname {d} P'}{\operatorname {d} z'}}q'={\frac {\operatorname {d} Q'}{\operatorname {d} x'}}+{\frac {\operatorname {d} Q'}{\operatorname {d} z'}}p',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94e6c48e155ff6e8ec54fdd5547904c82dd39b5d)
qui, en remettant pour
et
leurs valeurs
et
rentre exactement dans la premitre.
Mais, comme nous avons (5)
![{\displaystyle P'=P,\qquad Q'=Q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a019a879c30186b9b4648d4992dfbfb39648f158)
nous pourrons remplacer cette équation de condition par la suivante
![{\displaystyle {\frac {\operatorname {d} P}{\operatorname {d} y'}}={\frac {\operatorname {d} Q}{\operatorname {d} x'}}\,;\qquad (\alpha )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d454dcb1475c867ea01a4b2b681187e0bf5a158)
de sorte que toute la question se réduira à traduire cette dernière en données primitives du problème, c’est-à-dire, à en éliminer
au moyen des relations qui les lient à ![{\displaystyle x,y,z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb673ad6f63dc00449c2f0b9999f051e9de36ce8)
Pour cela, nous remarquerons d’abord que
et
n’étant fonctions de
et
que par l’intermédiaire de
et
on doit avoir
![{\displaystyle \left.{\begin{array}{ll}{\frac {\operatorname {d} P}{\operatorname {d} x'}}={\frac {\operatorname {d} P}{\operatorname {d} x}}{\frac {\operatorname {d} x}{\operatorname {d} x'}}+{\frac {\operatorname {d} P}{\operatorname {d} y}}{\frac {\operatorname {d} y}{\operatorname {d} x'}},&{\frac {\operatorname {d} P}{\operatorname {d} y'}}={\frac {\operatorname {d} P}{\operatorname {d} x}}{\frac {\operatorname {d} x}{\operatorname {d} y'}}+{\frac {\operatorname {d} P}{\operatorname {d} y}}{\frac {\operatorname {d} y}{\operatorname {d} y'}},\\\\{\frac {\operatorname {d} Q}{\operatorname {d} y'}}={\frac {\operatorname {d} Q}{\operatorname {d} x}}{\frac {\operatorname {d} x}{\operatorname {d} y'}}+{\frac {\operatorname {d} Q}{\operatorname {d} y}}{\frac {\operatorname {d} y}{\operatorname {d} y'}},&{\frac {\operatorname {d} Q}{\operatorname {d} x'}}={\frac {\operatorname {d} Q}{\operatorname {d} x}}{\frac {\operatorname {d} x}{\operatorname {d} x'}}+{\frac {\operatorname {d} Q}{\operatorname {d} y}}{\frac {\operatorname {d} y}{\operatorname {d} x'}},\end{array}}\right\}\quad (\beta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b90fdb1d89c26657c2ebfdc29ffe24c4cfd2222e)
au moyen de quoi la condition
se transforme en
![{\displaystyle {\frac {\operatorname {d} P}{\operatorname {d} x}}{\frac {\operatorname {d} x}{\operatorname {d} y'}}+{\frac {\operatorname {d} P}{\operatorname {d} y}}{\frac {\operatorname {d} y}{\operatorname {d} y'}}={\frac {\operatorname {d} Q}{\operatorname {d} x}}{\frac {\operatorname {d} x}{\operatorname {d} x'}}+{\frac {\operatorname {d} Q}{\operatorname {d} y}}{\frac {\operatorname {d} y}{\operatorname {d} y'}}.\qquad (\gamma )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4959a871cf8e976ecd3ffd6ae087a3134f8bc20)
D’un autre côté, nous avons (5) les deux équations
![{\displaystyle x-x'+P(z-z')=0,\qquad y-y'+Q(z-z')=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a6f8f7276278f18c4681cfb35681c107ea4668f)
que nous pouvons différentier, l’une et l’autre, successivement par rapport à
et par rapport à
En ayant égard aux relations
observant d’ailleurs que
![{\displaystyle {\frac {\operatorname {d} z}{\operatorname {d} x'}}=p{\frac {\operatorname {d} x}{\operatorname {d} x'}}+q{\frac {\operatorname {d} y}{\operatorname {d} x'}},\qquad {\frac {\operatorname {d} z}{\operatorname {d} y'}}=p{\frac {\operatorname {d} x}{\operatorname {d} y'}}+q{\frac {\operatorname {d} y}{\operatorname {d} y'}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5592ccd84911d6898ee879028690af55a89461b1)
qu’en outre
![{\displaystyle {\frac {\operatorname {d} z'}{\operatorname {d} x'}}=p'=P,\qquad {\frac {\operatorname {d} z'}{\operatorname {d} y'}}=q'=Q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d950e092af166328456f5f4fcea88f6a6c4ec5da)
et posant enfin, pour abréger,
![{\displaystyle {\begin{array}{ll}1+pP+(z-z'){\frac {\operatorname {d} P}{\operatorname {d} x}}=M,&qP+(z-z'){\frac {\operatorname {d} P}{\operatorname {d} y}}=M',\\\\1+qQ+(z-z'){\frac {\operatorname {d} Q}{\operatorname {d} y}}=N,&pQ+(z-z'){\frac {\operatorname {d} Q}{\operatorname {d} x}}=N',\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/615705e95c4061f324bf42f11fb8e0dc42763a04)
on en tirera ainsi
![{\displaystyle {\begin{array}{ll}M{\frac {\operatorname {d} x}{\operatorname {d} x'}}+M'{\frac {\operatorname {d} y}{\operatorname {d} x'}}=1+P^{2},&M{\frac {\operatorname {d} x}{\operatorname {d} y'}}+M'{\frac {\operatorname {d} y}{\operatorname {d} y'}}=PQ,\\\\N{\frac {\operatorname {d} y}{\operatorname {d} y'}}+N'{\frac {\operatorname {d} x}{\operatorname {d} y'}}=1+Q^{2},&N{\frac {\operatorname {d} y}{\operatorname {d} x'}}+N'{\frac {\operatorname {d} x}{\operatorname {d} x'}}=PQ,\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/931043f7e83ed2ccfbf751682dd095ae54af0c62)
équations qui donnent
![{\displaystyle {\begin{array}{ll}{\frac {\operatorname {d} x}{\operatorname {d} x'}}={\frac {\left(1+P^{2}\right)N-PQM'}{MN-M'N'}},&{\frac {\operatorname {d} y}{\operatorname {d} y'}}={\frac {\left(1+Q^{2}\right)M-PQN'}{MN-M'N'}},\\\\{\frac {\operatorname {d} y}{\operatorname {d} x'}}={\frac {PQM-\left(1+P^{2}\right)N'}{MN-M'N'}},&{\frac {\operatorname {d} x}{\operatorname {d} y'}}={\frac {PQN-\left(1+Q^{2}\right)M'}{MN-M'N'}}\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f59b3313901325e5adf71a28f0db3dde75ee1fa)
substituant toutes ces valeurs dans l’équation de condition
elle deviendra
![{\displaystyle (1+P^{2})\left(N{\frac {\operatorname {d} Q}{\operatorname {d} x}}-N'{\frac {\operatorname {d} Q}{\operatorname {d} y}}\right)-(1+Q^{2})\left(M{\frac {\operatorname {d} Q}{\operatorname {d} y}}-M'{\frac {\operatorname {d} P}{\operatorname {d} x}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98caac9509e7598b4fad1b3acaa39e5e4184145c)
![{\displaystyle =PQ\left(N{\frac {\operatorname {d} P}{\operatorname {d} x}}-N'{\frac {\operatorname {d} P}{\operatorname {d} y}}-M{\frac {\operatorname {d} Q}{\operatorname {d} y}}+M'{\frac {\operatorname {d} Q}{\operatorname {d} x}}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02b450c1664dd19be72c47907f38c66cc5b278b5)
mettant enfin dans cette dernière, pour
les fonctions dont ces lettres sont les symboles, on trouvera, toutes réductions faites,
![{\displaystyle P(Q-q){\frac {\operatorname {d} P}{\operatorname {d} x}}-Q(P-p){\frac {\operatorname {d} Q}{\operatorname {d} y}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a10c74ba96d425bec237be4741f4205a1a096f72)
![{\displaystyle +\left(1+Q^{2}+pP\right){\frac {\operatorname {d} P}{\operatorname {d} y}}-\left(1+P^{2}+qQ\right){\frac {\operatorname {d} Q}{\operatorname {d} x}}=0\,;(\delta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffa3fd43d23a7cd4251b29087b5b3e57e79ecc6f)
sur quoi il faudra se rappeler de faire varier
dans
et
comme fonctions de
et ![{\displaystyle y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83f72471aff7c6fbb27df0f971283a068efe091f)
Si présentement nous remarquons que
![{\displaystyle {\begin{aligned}1+Q^{2}+pP&=1+P^{2}+Q^{2}-P(P-p),\\\\1+P^{2}+qQ&=1+P^{2}+Q^{2}-Q(Q-q),\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12c6e9596f1bc32990eec123288edb11a3c27f1d)
qu’en outre
![{\displaystyle {\frac {\operatorname {d} q}{\operatorname {d} x}}={\frac {\operatorname {d} p}{\operatorname {d} y}}=s,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbd961c8b0c8f4c818ee6bc13b493a533ef73d47)
et que, par suite,
![{\displaystyle {\frac {\operatorname {d} Q}{\operatorname {d} x}}-{\frac {\operatorname {d} P}{\operatorname {d} y}}={\frac {\operatorname {d} (Q-q)}{\operatorname {d} x}}-{\frac {\operatorname {d} (P-p)}{\operatorname {d} y}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bdedd8e065e9cc3a62aa480f002139e3d32fc46)
l’équation
pourra être écrite ainsi
![{\displaystyle (Q-q)\left(P{\frac {\operatorname {d} P}{\operatorname {d} x}}+Q{\frac {\operatorname {d} Q}{\operatorname {d} x}}\right)-(P-p)\left(P{\frac {\operatorname {d} P}{\operatorname {d} y}}+Q{\frac {\operatorname {d} Q}{\operatorname {d} y}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d0bd25ea640a19a79b25a6c10088b3502eaf638)
![{\displaystyle +\left(1+P^{2}+Q^{2}\right)\left\{{\frac {\operatorname {d} (P-p)}{\operatorname {d} y}}-{\frac {\operatorname {d} (Q-q)}{\operatorname {d} x}}\right\}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de8c14b14319ded80c199309912944a9785b2647)
mais on a
![{\displaystyle P{\frac {\operatorname {d} P}{\operatorname {d} x}}+Q{\frac {\operatorname {d} Q}{\operatorname {d} x}}={\frac {1}{2}}.{\frac {\operatorname {d} \left(1+P^{2}+Q^{2}\right)}{\operatorname {d} x}},\quad P{\frac {\operatorname {d} P}{\operatorname {d} y}}+Q{\frac {\operatorname {d} Q}{\operatorname {d} y}}={\frac {1}{2}}.{\frac {\operatorname {d} \left(1+P^{2}+Q^{2}\right)}{\operatorname {d} y}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4fb8d704f51f3267488348e6598c9820e9bb5c5)
donc notre équation revient encore à
![{\displaystyle 2\left(1+P^{2}+Q^{2}\right){\frac {\operatorname {d} (Q-q)}{\operatorname {d} x}}-(Q-q){\frac {\operatorname {d} \left(1+P^{2}+Q^{2}\right)}{\operatorname {d} x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2d15973843819907008184f8acd98eeb136d4a7)
![{\displaystyle =2\left(1+P^{2}+Q^{2}\right){\frac {\operatorname {d} (P-p)}{\operatorname {d} y}}-(P-p){\frac {\operatorname {d} \left(1+P^{2}+Q^{2}\right)}{\operatorname {d} y}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4a3da4704d1a40684e62525bfca459cbeefc8da)
en divisant alors ses deux membres, par
elle prendra finalement cette forme très-simple
![{\displaystyle {\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q-q}{\sqrt {1+P^{2}+Q^{2}}}}={\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P-p}{\sqrt {1+P^{2}+Q^{2}}}}.\qquad (\varepsilon )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbf542ac33700b938e65d752bcfec4f14a1d8cd8)
Il faudra donc que cette équation soit immédiatement identique, ou du moins qu’elle devienne, après en avoir chassé
et ses coefficiens différentiels, au moyen de l’équation (S), pour que les droites (D) dont le faisceau se compose puissent être traversées orthogonalement par une même surface. L’équation de condition
peut être regardée comme fondamentale, dans les recherches qui vont présentement nous occuper.
Faisons-en l’application au faisceau de droites données par les trois équations
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
![{\displaystyle X-x+{\frac {2y-x}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {2x-y}{z-c}}(Z-z)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f9e257003dd4dca363279d7f6bb17f7fb3a95c2)
Ayant ici
![{\displaystyle P={\frac {2y-x}{z-c}},\qquad Q={\frac {2x-y}{z-c}},\qquad p=q=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa44f3ee51c3f5c2301241b53147025065b7adc1)
il viendra
![{\displaystyle P-p={\frac {(z-c)+(2y-x)}{z-c}},\qquad Q-q={\frac {(z-c)+(2x-y)}{z-c}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3da95c6d577225d6c149c76370f2ed1588d82352)
![{\displaystyle {\sqrt {1+P^{2}+Q^{2}}}={\frac {\sqrt {(2x-y)^{2}+(2y-x)^{2}+(z-c)^{2}}}{z-c}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb9d87fa649f10733a33502b368cb89ecc95e9cb)
et par suite
![{\displaystyle {\frac {P-p}{\sqrt {1+P^{2}+Q^{2}}}}={\frac {(z-c)+(2y-x)}{\sqrt {(2x-y)^{2}+(2y-x)^{2}+(z-c)^{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/992834d951d20b21bcfd8c533d9ac59e5b249867)
![{\displaystyle {\frac {Q-q}{\sqrt {1+P^{2}+Q^{2}}}}={\frac {(z-c)+(2x-y)}{\sqrt {(2x-y)^{2}+(2y-x)^{2}+(z-c)^{2}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e41135d825cf8001f38203481167b5cdc7ae2b2)
cela donne
![{\displaystyle {\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P-p}{\sqrt {1+P^{2}+Q^{2}}}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22b4bb7beef40b904a10dde73344622bfdfbacb3)
![{\displaystyle {\frac {2(z-c)^{2}-\left\{(2y-x)q+(5y-4x)\right\}(z-c)+\left\{\left(6x^{2}-8xy-5y^{2}\right)q+3x(2x-y)\right\}}{\left\{(2x-y)^{2}+(2y-x)^{2}+(z-c)^{2}\right\}^{\frac {3}{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d83fd937fa49f804ad85ffa6b0f74b1488bf7cf)
![{\displaystyle {\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q-q}{\sqrt {1+P^{2}+Q^{2}}}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86a3cad121a387313bcc9928a5d077464a3dc069)
![{\displaystyle {\frac {2(z-c)^{2}-\left\{(2x-y)p+(5x-4y)\right\}(z-c)+\left\{\left(6y^{2}-8xy-5x^{2}\right)p+3y(2y-x)\right\}}{\left\{(2x-y)^{2}+(2y-x)^{2}+(z-c)^{2}\right\}^{\frac {3}{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/865e07bfaf53ff381f5c8a6a52d0392565c74abd)
résultats qui, en y mettant pour
et
leurs valeurs
et pour
sa valeur
se réduisent également à
![{\displaystyle {\frac {9xy}{\left\{6\left(x^{2}-xy+y^{2}\right)\right\}^{\frac {3}{2}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5247525b74aef6dfc258531fdd4e9ed49e46cafc)
ce qui nous apprendrait, si nous ne le savions déjà, que les droites dont ce faisceau se compose peuvent être traversées orthogonalement par une même surface.
§. II.
Démonstration des théorèmes de Malus.
10. Reprenons le faisceau de droites donné par les trois équations
![{\displaystyle z=\operatorname {f} (x,y).\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/17fc4a0fa2f1b7010ea1d81718ce959611a09da5)
(S)
![{\displaystyle X-x+P(Z-z)=0,\qquad Y-y+Q(Z-z)=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d48de128359c246f8fcb481b2931462792149d2)
(D)
et concevons que les variables indépendantes
et
reçoivent respectivement les accroissemens simultanés
et
dans lesquels
et
sont des nombres abstraits, arbitraires et indépendans, et
une longueur indéterminée[2]. En posant, pour abréger,
![{\displaystyle \gamma =p\alpha +q\beta +\left(r\alpha ^{2}+2s\alpha \beta +\beta ^{2}\right){\frac {i}{1.2}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/763a7eeb142b149bedeec2d2f84af0582ce1106f)
![{\displaystyle G={\frac {\operatorname {d} P}{\operatorname {d} x}}\alpha +{\frac {\operatorname {d} P}{\operatorname {d} y}}\beta +\left({\frac {\operatorname {d} ^{2}P}{\operatorname {d} x^{2}}}\alpha ^{2}+2{\frac {\operatorname {d} ^{2}P}{\operatorname {d} x\operatorname {d} y}}\alpha \beta +{\frac {\operatorname {d} ^{2}P}{\operatorname {d} y^{2}}}\beta ^{2}\right){\frac {i}{1.2}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff6ec697a2c63666cb76419e1bc463342bb24382)
![{\displaystyle H={\frac {\operatorname {d} Q}{\operatorname {d} x}}\alpha +{\frac {\operatorname {d} Q}{\operatorname {d} y}}\beta +\left({\frac {\operatorname {d} ^{2}Q}{\operatorname {d} x^{2}}}\alpha ^{2}+2{\frac {\operatorname {d} ^{2}Q}{\operatorname {d} x\operatorname {d} y}}\alpha \beta +{\frac {\operatorname {d} ^{2}Q}{\operatorname {d} y^{2}}}\beta ^{2}\right){\frac {i}{1.2}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a1697f848cc54b7ee33d54376e730b9a2b1f075)
on verra, en vertu du théorème de Taylor, qu’alors, tandis que
et
deviennent respectivement
et
et
se changent respectivement en
de sorte que les équations de la droite émanée du point
de la base du faisceau seront
![{\displaystyle \left.{\begin{aligned}&X-x-\alpha i+(P+Gi)(Z-z-\gamma i)=0,\\\\&Y-y-\beta i+(Q+Hi)(Z-z-\gamma i)=0.\end{aligned}}\right\}\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1a1a3c6fe346bf310e6a23ff5a7dcb88ee7b4df)
(D′)
Chercher le point d’intersection des deux droites (D) et (D′) serait vouloir résoudre un problème plus que déterminé ; puisqu’on aurait quatre équations pour déterminer trois inconnues
seulement. Le point
étant donc pris arbitrairement sur la base (S) du faisceau, lorsqu’on se sera donné la longueur arbitraire
un second point
de cette base ne pourra être tel que la droite (D′) qui en émanera rencontre la droite (D), émanée du premier, et soit conséquemment dans le même plan avec elle, qu’autant qu’il existera une certaine relation entre les deux nombres
et
Cherchons donc cette relation, et voyons, lorsqu’elle a lieu, quels sont alors le plan des deux droites et leur point de concours.
11. Il est clair que, pour obtenir la relation cherchée, il ne s’agit que d’éliminer les trois inconnues
entre les quatre équations (D) et (D′) des deux droites. Mais il reviendra au même, et il sera plus commode d’éliminer entre elles les trois binômes
on obtiendra ainsi, pour l’équation de relation cherchée,
![{\displaystyle G(\beta +Q\gamma )=H(\alpha +P\gamma ).\qquad (\zeta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e432b38682a7cfc2164556dec2289b591aaca4fe)
Cette condition étant supposée remplie, et les deux droites (D)et (D′) se trouvant ainsi dans un même plan, il suffira, pour obtenir l’équation de ce plan, de l’assujettir simplement à passer par la droite (D) et par le point
de la droite (D′). On trouvera ainsi, très-facilement, pour l’équation de ce plan, et sous la condition
![{\displaystyle (Q\alpha -P\beta )(Z-z)=(\beta +Q\gamma )(X-x)-(\alpha +P\gamma )(Z-z).\qquad (\eta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcf55071be3c3b4a7bdcc46552aead7075e743b4)
Quant au point d’intersection des deux droites, présentement qu’en vertu de la condition
les quatre équations (D) et (D′) ont lieu à la fois, il nous sera facile de l’obtenir. Mais, pour conserver quelque symétrie dans les résultats, nous éliminerons
d’abord entre les premières équations (D) et (D′), puis entre les dernières, ce qui nous conduira aux valeurs de
et
qui, substituées ensuite dans les unes ou dans les autres, donneront celle de
sous deux formes différentes. On trouvera ainsi, toujours sous la condition
![{\displaystyle \left.{\begin{array}{c}X-x=-P.{\frac {(\alpha +P\gamma )+G\gamma i}{G}},\qquad Y-y=-Q.{\frac {(\beta +Q\gamma )+H\gamma i}{H}},\\\\Z-z=+{\frac {(\alpha +P\gamma )+G\gamma i}{G}}=+{\frac {(\beta +Q\gamma )+H\gamma i}{H}}\,;\end{array}}\right\}\quad (\theta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e184f652074858d94ea8d0dddc9bb51a0b92c4ed)
sur quoi on peut remarquer que l’équivalence des deux valeurs de
revient précisément à la condition ![{\displaystyle (\zeta ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28e9f6605a6ed75f31f21b350eeeb31ba378718e)
12. Après avoir ainsi déterminé, pour une valeur quelconque de la longueur arbitraire
une seconde droite (D′) qui rencontre la première, on peut, par un semblable procédé, soit pour la même valeur de
soit pour toute autre, déterminer une troisième droite (D″) qui rencontre la seconde, puis une quatrième (D‴) qui rencontre la troisième, et ainsi indéfiniment. Ces droites seront les arêtes consécutives d’une certaine surface polyèdre ; et leurs points d’intersection seront les sommets consécutifs d’un polygone ouvert, gauche et rectiligne, dont les côtés se prolongeront suivant les arêtes de la surface polyèdre, laquelle coupera la base (S) du faisceau suivant un autre polygone gauche ouvert, mais curviligne.
À mesure que l’on prendra la longueur
plus petite et qu’en même temps on multipliera davantage le nombre des droites (D), (D′), (D″), , les arêtes de la surface polyèdre, et par suite les sommets des deux polygones gauches, tant rectiligne que curviligne, se rapprocheront de plus en plus, jusqu’à ce qu’enfin cette longueur étant devenue tout-à-fait nulle et le nombre des droites infini, ces arêtes deviendront les élémens rectilignes d’une surface développable dont nos deux polygones ouverts deviendront, le premier l’arête de rebroussement et l’autre l’intersection avec la base (S) du faisceau. Cette intersection indiquera donc le chemin qu’on doit tenir sur la surface (S), pour ne rencontrer que des droites du système qui se coupent consécutivement ou, en d’autres termes, qui soient toutes tangentes à une même courbe à double courbure.
Si, sur la base (S) du faisceau, on prend un nouveau point de départ, hors de la direction de cette première courbe, mais d’ailleurs si rapproché d’elle qu’on le voudra ; il passera par ce second point une nouvelle courbe, intersection de cette base avec une seconde surface développable, dont les élémens rectilignes seront encore des droites du faisceau, toutes conséquemment tangentes à une seconde courbe à double courbure. Il en sera évidemment de même pour un troisième point de (S), pris hors de la direction des deux premières courbes, pour un quatrième, pris hors de la direction des trois premières, et ainsi indéfiniment ; quelque rapprochés d’ailleurs les uns des autres que ces points soient supposés. Il n’en faut pas davantage pour conclure qu’à quelque loi mathématique que puissent être assujetties des droites se succédant sans interruption les unes aux autres dans l’espace, ces droites se distribuent constamment en une série continue de surfaces développables dont elles sont les élémens rectilignes. Les arêtes de rehaussement de ces surfaces développables sont, à leur tour, les élémens curvilignes d’une certaine surface, à laquelle toutes les droites du faisceau doivent être tangentes.
13. Cherchons le plan tangent suivant (D) à la surface développable qui passe par cette droite. Ce plan est différent du plan
qui passe par les deux droites (D) et (D‴) ; mais, à mesure que la longueur arbitraire
décroîtra, et qu’ainsi (D′) marchera vers (D), toujours sous la condition
ce plan
tournera sur (D), comme sur un axe, de manière à faire un angle de plus en plus petit avec le plan tangent cherché. Il se confondra donc enfin avec ce dernier, lorsque la longueur
sera devenue tout-à-fait nulle.
Remarquons aussi que (D′) marchant vers (D), sous la condition
leur point
d’intersection marchera le long de (D), en s’approchant sans cesse du point de contact de cette droite avec l’arête de rebroussement de la surface développable dont elle fait partie ; de sorte que le point
deviendra ce point de contact lui-même, lorsque la longueur
sera tout-à-fait nulle.
Mais, lorsque
on a simplement (10)
![{\displaystyle \gamma =p\alpha +q\beta ,\quad G={\frac {\operatorname {d} P}{\operatorname {d} x}}\alpha +{\frac {\operatorname {d} P}{\operatorname {d} y}}\beta ,\quad H={\frac {\operatorname {d} Q}{\operatorname {d} x}}\alpha +{\frac {\operatorname {d} Q}{\operatorname {d} y}}\beta \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5adc4289d6a11f10531f933877b17cde210c22cc)
l’équation de condition
devient donc alors
![{\displaystyle \left({\frac {\operatorname {d} P}{\operatorname {d} x}}\alpha +{\frac {\operatorname {d} P}{\operatorname {d} y}}\beta \right)\left\{pQ\alpha +(1+qQ)\beta \right\}=\left({\frac {\operatorname {d} Q}{\operatorname {d} y}}\beta +{\frac {\operatorname {d} Q}{\operatorname {d} x}}\alpha \right)\left\{qP\beta +(1+pP)\alpha \right\}.(\iota )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ac273ec161a2a26e36fe76a7199264fa4b06b81)
Les mêmes valeurs de
substituées dans les équations
et
en faisant en outre dans les dernières
donnent, pour l’équation du plan tangent suivant (D) à la surface développable qui passe par cette droite
![{\displaystyle (Q\alpha -P\beta )(Z-z)=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e9c78c614323503c7b40480f70ac8e45a2f7fde)
![{\displaystyle \left\{pQ\alpha +(1+qQ)\beta \right\}(X-x)-\left\{qP\beta +(1+pP)\alpha \right\}(Y-y),\quad (\varkappa )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e56e8642ea56f7a258aaa9070a152e69f8ba4c0)
et ensuite pour les équations du point de contact de (D) avec l’arête de rebroussement de cette surface, et par suite avec la surface à laquelle toutes les droites du faisceau sont tangentes,
![{\displaystyle \left.{\begin{array}{c}X-x=-P.{\frac {qP\beta +(1+pP)\alpha }{{\frac {\operatorname {d} P}{\operatorname {d} x}}\alpha +{\frac {\operatorname {d} P}{\operatorname {d} y}}\beta }},\qquad Y-y=-Q.{\frac {pQ\alpha +(1+qQ)\beta }{{\frac {\operatorname {d} Q}{\operatorname {d} x}}\alpha +{\frac {\operatorname {d} Q}{\operatorname {d} y}}\beta }}\\\\Z-z=+{\frac {qP\beta +(1+pP)\alpha }{{\frac {\operatorname {d} P}{\operatorname {d} x}}\alpha +{\frac {\operatorname {d} P}{\operatorname {d} y}}\beta }}=+{\frac {pQ\alpha +(1+qQ)\beta }{{\frac {\operatorname {d} Q}{\operatorname {d} x}}\alpha +{\frac {\operatorname {d} Q}{\operatorname {d} y}}\beta }}.\end{array}}\right\}\quad (\lambda )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00ea8f996ca9620d79c9adb0131e65c749b03516)
Il ne s’agira donc plus, pour obtenir ces résultats en simples fonctions de
que de substituer dans les formules
et
la valeur de l’un quelconque des deux nombres
et
tirée de l’équation
ce qui en fera aussi disparaître l’autre.
14. Mais, parce que l’équation
est du second degré en
et
elle donnera, généralement parlant, pour l’un de ces deux nombres, en fonction de l’autre, deux valeurs distinctes, lesquelles, substituées dans l’équation
donneront naissance à deux plans tangens se coupant suivant la droite (D). Il y aura donc aussi deux surfaces développables se coupant suivant cette droite ; et, comme on pourrait en dire autant de toute autre droite du faisceau, il faut en conclure qu’en général, à quelque loi mathématique que soient assujetties des droites qui se succèdent sans interruption dans l’espace, ces droites se distribuent toujours en deux séries continues de surfaces développables, dont elles sont à la fois les élémens rectilignes et les intersections ; de manière à être toutes tangentes à la fois, soit à deux surfaces courbes, soit à deux nappes d’une même surface courbe, lieux des arêtes de rebroussement des surfaces développables des deux séries. Nous disons en général, parce que ceci suppose que l’équation
a deux racines effectives, réelles et inégales. Il serait plus long que difficile de discuter les divers cas particuliers qui peuvent faire exception, et à cause de cela nous nous en dispenserons.
Si l’on suppose que les droites dont il s’agit sont les rayons de lumière d’un même faisceau, les surfaces courbes lieux des arêtes de rebroussement des surfaces développables des deux séries seront les surfaces caustiques auxquelles le faisceau donnera naissance.
15. En développant et ordonnant l’équation de condition
par rapport à
et
elle devient
![{\displaystyle \left\{qP{\frac {\operatorname {d} Q}{\operatorname {d} y}}-(1+qQ){\frac {\operatorname {d} P}{\operatorname {d} y}}\right\}\beta ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b26d116530f3c2508992d0f38b334fa27679877)
![{\displaystyle -\left\{pQ{\frac {\operatorname {d} P}{\operatorname {d} y}}-qP{\frac {\operatorname {d} Q}{\operatorname {d} x}}+(1+qQ){\frac {\operatorname {d} P}{\operatorname {d} x}}-(1+pP){\frac {\operatorname {d} Q}{\operatorname {d} y}}\right\}\alpha \beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/08a7b5b86a2d51fa15c1d7ae1e181de6e79c048c)
![{\displaystyle -\left\{pQ{\frac {\operatorname {d} P}{\operatorname {d} x}}-(1+pP){\frac {\operatorname {d} Q}{\operatorname {d} x}}\right\}\alpha ^{2}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fcceaa7f37f8347824bd925264db382447c94e8)
de sorte qu’en posant
![{\displaystyle \nu +\nu '={\frac {pQ{\frac {\operatorname {d} P}{\operatorname {d} y}}-qP{\frac {\operatorname {d} Q}{\operatorname {d} x}}+(1+qQ){\frac {\operatorname {d} P}{\operatorname {d} x}}-(1+pP){\frac {\operatorname {d} Q}{\operatorname {d} y}}}{qP{\frac {\operatorname {d} Q}{\operatorname {d} y}}-(1+qQ){\frac {\operatorname {d} P}{\operatorname {d} y}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ba5cc58817722f02da6e23584e3862455d3f452)
![{\displaystyle \nu \nu '=-{\frac {pQ{\frac {\operatorname {d} P}{\operatorname {d} x}}-(1+pP){\frac {\operatorname {d} Q}{\operatorname {d} x}}}{qP{\frac {\operatorname {d} Q}{\operatorname {d} y}}-(1+qQ){\frac {\operatorname {d} P}{\operatorname {d} y}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/209e9a71e49fc135c2dc6fc9f80a625787dbdf41)
on en tirera
![{\displaystyle \beta =\nu \alpha ,\qquad \beta =\nu '\alpha \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d79813cf849cfd8982916006d5efcbbf40be497d)
valeurs qui, substituées tour à tour dans l’équation
donneront, pour les équations des plans tangens, suivant (D), aux deux surfaces développables qui passent par cette droite
![{\displaystyle (Q-\nu P)(Z-z)=\left\{pQ+\nu (1+qQ)\right\}(X-x)-\left\{(1+pP)+\nu qP\right\}(Y-y),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9be7d884e1a1709c3673f4c7896438201d585d0e)
![{\displaystyle (Q-\nu 'P)(Z-z)=\left\{pQ+\nu '(1+qQ)\right\}(X-x)-\left\{(1+pP)+\nu 'qP\right\}(Y-y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a79c45c1be572de34457ccc5a6b7bfad4960b217)
16. Il nous serait facile, d’après cela, d’assigner l’angle sous lequel se coupent les deux surfaces développables qui passent par l’une quelconque des droites du faisceau : bornons-nous à chercher comment ce faisceau doit être conditionné pour que les surfaces développables des deux séries se coupent partout orthogonalement. Il faudra évidemment pour cela que, quelles que soient les deux variables indépendantes
et
nos deux plans tangens soient perpendiculaires l’un à l’autre, ce qu’on exprimera, comme l’on sait, en écrivant
![{\displaystyle (Q-\nu P)(Q-\nu 'P)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6c0511813a930db5b76783bbb6391a89bf0f9c2)
![{\displaystyle +\left\{pQ+\nu (1+qQ)\right\}\left\{pQ+\nu '(1+Qq)\right\}+\left\{(1+pP)+\nu qP\right\}\left\{(1+pP)+\nu 'qP\right\}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/002cde3afd5251155ed9bd415019487db58e1042)
ou en développant et en rassemblant les termes affectés de
et ![{\displaystyle \nu +\nu '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5da2c151409b74aec67cf19aede3186cec9f7ef6)
![{\displaystyle \left\{\left(1+q^{2}\right)P^{2}+(1+qQ)^{2}\right\}\nu \nu '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07f4bc638301dbc99de80116d53428a90080a131)
![{\displaystyle +\left\{pQ(1+qQ)+qP(1+pP)-PQ\right\}(\nu +\nu ')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/216a81a5bdd3383f570bba27dc7f795ceaa417ce)
![{\displaystyle \left\{\left(1+p^{2}\right)Q^{2}+(1+pP)^{2}\right\}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c749766e0c6962a31b23fbfa9cf9e5df4f3c6b77)
ou enfin, en remettant pour
et
leurs valeurs et chassant les dénominateurs,
![{\displaystyle \left\{\left(1+q^{2}\right)P^{2}+(1+qQ)^{2}\right\}\left\{pQ{\frac {\operatorname {d} P}{\operatorname {d} x}}-(1+pP){\frac {\operatorname {d} Q}{\operatorname {d} x}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9255486ee74d6356d5b3ad6bc907986ff74c2cc0)
![{\displaystyle -\left\{pQ(1+qQ)+qP(1+pP)-PQ\right\}\times }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f91df5dd3b68b076d15ef86c35f6f1a5033997d7)
![{\displaystyle \left\{pQ{\frac {\operatorname {d} P}{\operatorname {d} y}}-qP{\frac {\operatorname {d} Q}{\operatorname {d} x}}+(1+qQ){\frac {\operatorname {d} P}{\operatorname {d} x}}-(1+pP){\frac {\operatorname {d} Q}{\operatorname {d} y}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff1e6531be256e01681b4caf56410cbb20161d30)
![{\displaystyle -\left\{\left(1+p^{2}\right)Q^{2}+(1+pP)^{2}\right\}\left\{qP{\frac {\operatorname {d} Q}{\operatorname {d} y}}-(1+qQ){\frac {\operatorname {d} P}{\operatorname {d} y}}\right\}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c3b83b678884fb8e123cb917d990b50ff1e4b62)
Telle est donc l’équation qui doit être identique, quels que soient
et
pour que les surfaces développables des deux séries se coupent partout orthogonalement. En la développant, ordonnant par rapport aux coefficiens différentiels de
et
et décomposant, elle devient
![{\displaystyle (1+pP+qQ)\left\{P(Q-q){\frac {\operatorname {d} P}{\operatorname {d} x}}-Q(P-p){\frac {\operatorname {d} Q}{\operatorname {d} y}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03b8b7c41d01c8819f7736cc586fcebddceb2430)
![{\displaystyle \left.+\left(1+Q^{2}+pP\right){\frac {\operatorname {d} P}{\operatorname {d} y}}-\left(1+P^{2}+qQ\right){\frac {\operatorname {d} Q}{\operatorname {d} x}}=0.\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0ad6e5185e7ffb12586a421327edc778959c862)
Or, le premier facteur ne saurait être nul de lui-même (3) qu’autant qu’on admettrait que toutes les droites du faisceau sont tangentes à sa base (S), ce que nous n’avons pas supposé ; c’est donc l’autre qui devra être nul de lui-même pour que la condition dont il s’agit se trouve satisfaite ; mais ce facteur égalé à zéro n’est autre chose que l’équation
du précédent paragraphe, qui exprime, comme nous l’avons vu, que les droites dont le faisceau se compose peuvent être traversées orthogonalement par une même surface, et que nous avons mise ensuite sous la forme plus simple
![{\displaystyle {\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q-q}{\sqrt {1+P^{2}+Q^{2}}}}={\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P-p}{\sqrt {1+P^{2}+Q^{2}}}}\,;\qquad (\varepsilon )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/687795eed04cdb530db51986c502950b4b9f1847)
il y a donc une parfaite identité entre les deux conditions ; ainsi, dire que les deux séries de surfaces développalles dans lesquelles se distribuent des droites qui se succèdent sans interruption dans l’espace, suivant une loi mathématique quelconque se coupent partout orthogonalement, ou dire que ces droites peuvent être traversées orthogonalement par une même surface, c’est dire une seule et même chose en des termes différens[3].
17. Si l’on introduit tour-à-tour les deux valeurs de
en
trouvées ci-dessus (15) dans les formules
on aura pour les équations des points de contact de (D) avec les deux surfaces auxquelles toutes les droites du faisceau sont tangentes,
![{\displaystyle \left.{\begin{array}{c}X-x=-P.{\frac {\nu qP+(1+pP)}{{\frac {\operatorname {d} P}{\operatorname {d} x}}+\nu {\frac {\operatorname {d} P}{\operatorname {d} y}}}},\qquad Y-y=-Q.{\frac {pQ+\nu (1+qQ)}{{\frac {\operatorname {d} Q}{\operatorname {d} x}}+\nu {\frac {\operatorname {d} Q}{\operatorname {d} y}}}},\\\\Z-z=+{\frac {\nu qP+(1+pP)}{{\frac {\operatorname {d} P}{\operatorname {d} x}}+\nu {\frac {\operatorname {d} P}{\operatorname {d} y}}}}=+{\frac {pQ+\nu (1+qQ)}{{\frac {\operatorname {d} Q}{\operatorname {d} x}}+\nu {\frac {\operatorname {d} Q}{\operatorname {d} y}}}}\,;\end{array}}\right\}\quad (\mu )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1304f32baa5c44fd64d7dac585a4e60800443637)
![{\displaystyle \left.{\begin{array}{c}X-x=-P.{\frac {\nu 'qP+(1+pP)}{{\frac {\operatorname {d} P}{\operatorname {d} x}}+\nu '{\frac {\operatorname {d} P}{\operatorname {d} y}}}},\qquad Y-y=-Q.{\frac {pQ+\nu '(1+qQ)}{{\frac {\operatorname {d} Q}{\operatorname {d} x}}+\nu '{\frac {\operatorname {d} Q}{\operatorname {d} y}}}},\\\\Z-z=+{\frac {\nu 'qP+(1+pP)}{{\frac {\operatorname {d} P}{\operatorname {d} x}}+\nu '{\frac {\operatorname {d} P}{\operatorname {d} y}}}}=+{\frac {pQ+\nu '(1+qQ)}{{\frac {\operatorname {d} Q}{\operatorname {d} x}}+\nu '{\frac {\operatorname {d} Q}{\operatorname {d} y}}}}.\end{array}}\right\}\quad (\nu )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/638cc82b328ce7cb2db6e8c99a7a4e6557b32057)
Si, entre l’équation (S) et l’un ou l’autre des systèmes d’équations (8) et (9), on élimine les trois coordonnées
l’équation résultante en
sera celle de l’une ou de l’autre des deux surfaces auxquelles toutes les droites du faisceau sont tangentes. Or, comme
et
sont les deux racines d’une même équation du second degré, excepté le seul cas où l’équation
sera décomposable en deux facteurs rationnels du premier degré, les deux surfaces dont il s’agit ne seront proprement que deux nappes d’une même surface.
18. Mais, dans la recherche de l’équation commune à ces deux nappes, on peut procéder plus rapidement en opérant comme il suit : la double valeur de
dans les formules
laquelle renferme implicitement l’équation de condition, donne, en chassant les dénominateurs et ordonnant par rapport à
et
![{\displaystyle \left\{{\frac {\operatorname {d} P}{\operatorname {d} x}}(Z-z)-(1+pP)\right\}\alpha =\left\{qP-{\frac {\operatorname {d} P}{\operatorname {d} y}}(Z-z)\right\}\beta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c4030b3f8f8a59f92ca1c925d9f8e04ec050bf1)
![{\displaystyle \left\{{\frac {\operatorname {d} Q}{\operatorname {d} y}}(Z-z)-(1+qQ)\right\}\beta =\left\{pQ-{\frac {\operatorname {d} Q}{\operatorname {d} x}}(Z-z)\right\}\alpha \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5822d56987bfcf4892155e0366e653c80e6e8f2)
d’où, en multipliant membre à membre, réduisant et ordonnant par rapport à ![{\displaystyle Z-z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/045dc46f8dd5fdaad65543d6e0dd2a9edf04877d)
![{\displaystyle \left.{\begin{array}{c}\left\{{\frac {\operatorname {d} P}{\operatorname {d} x}}{\frac {\operatorname {d} Q}{\operatorname {d} y}}-{\frac {\operatorname {d} P}{\operatorname {d} y}}{\frac {\operatorname {d} Q}{\operatorname {d} x}}\right\}(Z-z)^{2}\\\\-\left\{(1+pP){\frac {\operatorname {d} Q}{\operatorname {d} y}}+(1+qQ){\frac {\operatorname {d} P}{\operatorname {d} x}}-qP{\frac {\operatorname {d} Q}{\operatorname {d} x}}-pQ{\frac {\operatorname {d} P}{\operatorname {d} y}}\right\}(Z-z)\\\\+(1+pP+qQ)=0.\end{array}}\right\}\quad (\xi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f6164f6f28472821e3c86438ebcea8e152ee901)
Dans cette équation, la coordonnée
appartient toujours au point de contact qui d’ailleurs, se trouvant sur (D), doit satisfaire à ses équations. La recherche de l’équation du lieu des points de contact, c’est-à-dire, de l’équation de la surface à laquelle chacune des droites du faisceau se trouve deux fois tangente, se réduira donc simplement à éliminer
entre l’équation (S), les deux équations (D) et l’équation
C’est le procédé que nous avons promis (7).
Appliquons ce procédé au faisceau donné par les trois équations
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
![{\displaystyle X-x+{\frac {2y-x}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {2x-y}{z-c}}(Z-z)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f9e257003dd4dca363279d7f6bb17f7fb3a95c2)
Ayant ici
![{\displaystyle P={\frac {2y-x}{z-c}},\qquad Q={\frac {2x-y}{z-c}},\qquad p=q=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa44f3ee51c3f5c2301241b53147025065b7adc1)
on trouvera successivement
![{\displaystyle 1+pP={\frac {(z-c)-(2y-x)}{z-c}},\qquad qP=-{\frac {2y-x}{z-c}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d44022496a56b1400146d22c87c7e230fd60d4ad)
![{\displaystyle 1+qQ={\frac {(z-c)-(2x-y)}{z-c}},\qquad pQ=-{\frac {2x-y}{z-c}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b06452532e4888fe42c91265c7d8a6f9d485a27)
![{\displaystyle 1+pP+qQ={\frac {(z-c)-(x+y)}{z-c}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b84d08b70e18f38279175952be16ae34d1be0cfa)
![{\displaystyle {\begin{aligned}&{\frac {\operatorname {d} P}{\operatorname {d} x}}=-{\frac {(z-c)+p(2y-x)}{(z-c)^{2}}}=-{\frac {(z-c)-(2y-x)}{(z-c)^{2}}},\\\\&{\frac {\operatorname {d} Q}{\operatorname {d} y}}=-{\frac {(z-c)+q(2x-y)}{(z-c)^{2}}}=-{\frac {(z-c)-(2x-y)}{(z-c)^{2}}},\\\\&{\frac {\operatorname {d} P}{\operatorname {d} y}}={\frac {2(z-c)-q(2y-x)}{(z-c)^{2}}}={\frac {2(z-c)+(2y-x)}{(z-c)^{2}}},\\\\&{\frac {\operatorname {d} Q}{\operatorname {d} x}}={\frac {2(z-c)-p(2x-y)}{(z-c)^{2}}}={\frac {2(z-c)+(2x-y)}{(z-c)^{2}}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2e4c520c66f2354a287a3dbbb2f9d3fd0809f47)
et de là
![{\displaystyle {\frac {\operatorname {d} P}{\operatorname {d} x}}{\frac {\operatorname {d} Q}{\operatorname {d} y}}-{\frac {\operatorname {d} P}{\operatorname {d} y}}{\frac {\operatorname {d} Q}{\operatorname {d} x}}=-3.{\frac {(z-c)+(x+y)}{(z-c)^{3}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fc627a464808c382773369ed08bef6855d7fa16)
Au moyen de ces valeurs, l’équation
devient
![{\displaystyle 3\left\{(z-c)+(x+y)\right\}(Z-z)^{2}-2(z-c)\left\{(z-c)-(2x+y)\right\}(Z-z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b87a60096c7a9d18c19c16bc9cad23f510b248f1)
![{\displaystyle -(z-c)^{2}\left\{(z-c)-(x+y)\right\}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95001b244d0dce608f6d312b446496fbdff52f9e)
et il ne s’agit plus que d’éliminer
ou, ce qui revient au même
entre elle et les trois équations du faisceau. Mais on peut remarquer auparavant que cette équation se décompose comme il suit :
![{\displaystyle \left\{3(Z-z)+(z-c)\right\}\left\{\left[(z-c)+(x+y)\right](Z-z)-(z-c)\left[(z-c)-(x+y)\right]\right\}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e307e0b59ae1048f6d8084fc08ea585f1c97604)
En égalant d’abord le premier facteur à zéro, il viendra
![{\displaystyle 3(Z-c)-2(z-c)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82db1e1c1790d5d9ff5903101b8e819ed7f6469f)
équation au moyen de laquelle on pourra éliminer
des trois équations du faisceau, qui deviendront ainsi
![{\displaystyle 3(Z-c)+2(x+y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd9635e28d4d4967f0b42050451a70446b0a1345)
![{\displaystyle 2(x+y)=3X,\qquad 2(x+y)=3Y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35ce2eed9d32613e4ee9bd8bcbba363e962ffd1d)
on n’aura donc plus que la seule inconnue
à éliminer entre elles, ce qui conduira à deux résultats distincts ; d’où on peut conclure que, dans le cas particulier qui nous occupe, les droites dont le faisceau se compose sont toutes tangentes, non à une même surface mais à une ligne. L’élimination de
effectuée, on obtient, pour la double équation de cette ligne,
![{\displaystyle X=Y=-(Z-c).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/594ca6d9c4af04b329149edb179e5f8bdf334323)
C’est précisément (8) la double équation de l’axe du cylindre auquel toutes les droites du faisceau sont normales, comme on pouvait bien s’y attendre.
En égalant, au contraire, le second facteur à zéro, en vertu de l’équation
on obtient simplement
![{\displaystyle z-c=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30f392654c02f280f53050b7ed1839ea7c549f19)
équation au moyen de laquelle celles du faisceau se réduisent à
![{\displaystyle x+y=0,\qquad 2y-x=0,\qquad 2x-y=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a13e02e27928bf960daceef1fcb073af82caa3d)
équations auxquelles on ne peut satisfaire qu’en posant
![{\displaystyle x=0,\qquad y=0,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9199400a3ac05cec44e025c15dcaeea659a7a506)
d’où
![{\displaystyle \quad z=c.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/686e9dc10db0ac596a285c33405dc64379fb5b66)
Ce sont les équations du point que nous avons déjà rencontré (4) et qui ne saurait être admis comme solution du problème, puisque
ont disparu.
§. III.
Démonstration des théorèmes de M. Dupin.
19. À quelque loi mathématique que soient assujettis les rayons de lumière qui composent un même faisceau, et à quelque base qu’ils soient rapportés ; s’il se trouve sur leur route une surface à la rencontre de laquelle ils doivent se réfléchir ou se réfracter, on pourra toujours (§. I.) substituer cette surface, comme nouvelle base, à leur base primitive ; et dès-lors la direction du rayon incident émanée de chacun de ses points, ne dépendra plus uniquement que des coordonnées de ce point.
Soit donc
un point d’incidence, située sur une surface soit réfléchissante soit séparatrice de deux milieux, donnée par l’équation
![{\displaystyle z=\operatorname {f} (x,y)\,;\qquad (s)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/215d683f09959f544dfdadf751080d4e8dcfe3ca)
à quelque faisceau qu’appartienne d’ailleurs le rayon incident, ses équations pourront toujours être amenées à la forme
![{\displaystyle X-x+P'(Z-z)=0,\qquad Y-y+Q'(Z-z)=0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a8d0050cf3be5babc3b999d2376e47d25f7aca9)
(R′)
étant des fonctions déterminées des variables indépendantes
et
dont la forme dépendra, à la fois, de la loi mathématique à laquelle les rayons du faisceau seront assujettis et de la nature de la surface (s).
20. Soient prises pour les équations du rayon réfléchi ou réfracté
![{\displaystyle X-x+P''(Z-z)=0,\qquad Y-y+Q''(Z-z)=0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/25e53209821d7d273744c5dfede002c2dac3cb2e)
(R″)
si, comme nous le supposons, la surface réfléchissante ou séparatrice est donnée, et que de plus, dans le cas de la réfraction, la nature des milieux séparés par cette surface soit connue,
et
seront des fonctions déterminées, bien qu’encore inconnues, de
et
et par suite de
et
Cherchons, d’après les lois de l’optique, les valeurs de ces deux fonctions.
Les équations de la normale au point d’incidence sont
![{\displaystyle X-x+p(Z-z)=0,\qquad Y-y+q(Z-z)=0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/afadb93e7f217bc6a77f531eec035b6db35d666c)
(N)
et l’on sait que d’abord elle doit se trouver dans un même plan avec le rayon incident et le rayon réfléchi ou réfracté ; ce qui donne, pour première équation du problème,
![{\displaystyle {\frac {P'-p}{Q'-q}}={\frac {P''-p}{Q''-q}}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a02213e8623bb20c41cc019149b0381518256c76)
(I)
En second lieu, s’il s’agit de réflexion, on devra avoir
![{\displaystyle \operatorname {Sin} .(R',N)=-\operatorname {Sin} .(R'',N)\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6338079663fc0c6f5b6dc34407b9b03bb190a6d8)
ou
![{\displaystyle \quad \operatorname {Sin} .^{2}(R',N)=\operatorname {Sin} .^{2}(R'',N)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b00dc016edbf557f45f35327ec8be881c2e6a1b)
tandis que, s’il s’agit de réfraction, on aura
![{\displaystyle {\frac {\operatorname {Sin} .(R',N)}{\lambda '}}={\frac {\operatorname {Sin} .(R'',N)}{\lambda ''}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cedf7129e8ac639f49c7e7b3594581ebca0b1e60)
ou
![{\displaystyle \quad {\frac {\operatorname {Sin} .^{2}(R',N)}{\lambda '^{2}}}={\frac {\operatorname {Sin} .^{2}(R'',N)}{\lambda ''^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbd587b43cd3b0f4102ec4f3a97a09879e438271)
et
étant deux nombres constants, dépendant de la nature des milieux séparés par la surface (s). On voit par là que le cas de la réflexion rentre, comme cas particulier, dans celui de la réfraction, et qu’il se déduit de ce dernier en posant
de sorte qu’il nous suffira de nous occuper de ce dernier.
Or, on a, par les formules connues
![{\displaystyle \operatorname {Cos} .(R',N)={\frac {1+pP'+qQ'}{\sqrt {\left(1+p^{2}+q^{2}\right)\left(1+P'^{2}+Q'^{2}\right)}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dc5c6d566a28d2d1cdcd02b940c7a9437b6dabe)
![{\displaystyle \quad \operatorname {Cos} .(R'',N)={\frac {1+pP''+qQ''}{\sqrt {\left(1+p^{2}+q^{2}\right)\left(1+P''^{2}+Q''^{2}\right)}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/adf5af1cdc583e2708b730be26fdeeecfa6fc092)
d’où
![{\displaystyle \operatorname {Sin} .^{2}(R',N)={\frac {\left(1+p^{2}+q^{2}\right)\left(1+P'^{2}+Q'^{2}\right)-(1+pP'+qQ')^{2}}{\left(1+p^{2}+q^{2}\right)\left(1+P'^{2}+Q'^{2}\right)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20ebd55419da37eaed44d1baa56c89cd42a0da5b)
![{\displaystyle \operatorname {Sin} .^{2}(R'',N)={\frac {\left(1+p^{2}+q^{2}\right)\left(1+P''^{2}+Q''^{2}\right)-(1+pP''+qQ'')^{2}}{\left(1+p^{2}+q^{2}\right)\left(1+P''^{2}+Q''^{2}\right)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b439139754ef8718dd3435481ca972f70adfccf7)
on aura donc, en substituant et supprimant le facteur commun aux dénominateurs des deux membres de l’équation résultante,
![{\displaystyle {\frac {\left(1+p^{2}+q^{2}\right)\left(1+P'^{2}+Q'^{2}\right)-(1+pP'+qQ')^{2}}{\lambda '^{2}\left(1+P'^{2}+Q'^{2}\right)}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6851c00162700ad28eed57bef6f179a318730803)
![{\displaystyle {\frac {\left(1+p^{2}+q^{2}\right)\left(1+P''^{2}+Q''^{2}\right)-(1+pP''+qQ'')^{2}}{\lambda ''^{2}\left(1+P''^{2}+Q''^{2}\right)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a58effc4630890e36655622873ab3103668f2a86)
(II)
21. Telles sont donc les deux équations qui devront donner
et
en
et
elles donneront, à la vérité, deux systèmes de valeurs pour ces deux inconnus, tandis que la nature de la question n’en comporte qu’un seul, attendu qu’à un même rayon incident il ne saurait jamais répondre qu’un seul rayon réfléchi ou réfracté ; mais on reconnaîtra toujours facilement quel est celui de ces deux systèmes qui doit répondre à chaque cas, en observant que, pour le cas de la réflexion, où il faut faire
on doit rejeter le système
puisqu’en général le rayon réfléchi ne doit pas se confondre avec le rayon incident. On reconnaîtra, au contraire, le système de valeurs qui convient à la réfraction en ce qu’en y faisant
il doit donner
puisque, lorsque les deux milieux séparés par la surface (s) sont de même nature, le rayon incident, après avoir rencontré cette surface, doit poursuivre sa route sans changer de direction.
22. La recherche de
et
en
et
au moyen des équations (I) et (II), étant assez laborieuse, essayons de les combiner entre elles de manière à en déduire deux autres qui se montrent plus traitables, ou que même nous puissions nous dispenser de résoudre pour parvenir au but que nous avons principalement en vue. En vertu de l’équation (I), on a
![{\displaystyle \left(1+q^{2}\right)\left({\frac {P'-p}{Q'-q}}\right)^{2}-2pq\left({\frac {P'-p}{Q'-q}}\right)+\left(1+p^{2}\right)=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/617df99938d80bc9a7883c9c2cbabab9a60b114c)
![{\displaystyle \left(1+q^{2}\right)\left({\frac {P''-p}{Q''-q}}\right)^{2}-2pq\left({\frac {P''-p}{Q''-q}}\right)+\left(1+p^{2}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9e060fff678b48e71cae07c9ebbaaed2d2767e5)
ou bien
![{\displaystyle {\frac {\left(1+q^{2}\right)\left({\frac {P'-p}{Q'-q}}\right)^{2}-2pq\left({\frac {P'-p}{Q'-q}}\right)+\left(1+p^{2}\right)}{\left(1+q^{2}\right)\left({\frac {P''-p}{Q''-q}}\right)^{2}-2pq\left({\frac {P''-p}{Q''-q}}\right)+\left(1+p^{2}\right)}}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8b550c7f16e7a890979a45f765627ab80349dfc)
d’où
![{\displaystyle \left({\frac {Q'-q}{Q''-q}}\right)^{2}.{\frac {\left(1+q^{2}\right)\left({\frac {P'-p}{Q'-q}}\right)^{2}-2pq\left({\frac {P'-p}{Q'-q}}\right)+\left(1+p^{2}\right)}{\left(1+q^{2}\right)\left({\frac {P''-p}{Q''-q}}\right)^{2}-2pq\left({\frac {P''-p}{Q''-q}}\right)+\left(1+p^{2}\right)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbe56246d5775668e02ab48106e5f8fbad5123aa)
![{\displaystyle =\left({\frac {Q'-q}{Q''-q}}\right)^{2}=\left({\frac {P'-p}{P''-p}}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9508bea80e46c71c43ea2eab7f7bdc16f5c6f558)
ou, en exécutant la multiplication dans le premier membre,
![{\displaystyle {\frac {\left(1+q^{2}\right)(P'-p)^{2}-2pq(P'-p)(Q'-q)+\left(1+p^{2}\right)(Q'-q)^{2}}{\left(1+q^{2}\right)(P''-p)^{2}-2pq(P''-p)(Q''-q)+\left(1+p^{2}\right)(Q''-q)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39376fd1b8ff44624238e7f64cc292ad822e972a)
![{\displaystyle =\left({\frac {Q'-q}{Q''-q}}\right)^{2}=\left({\frac {P'-p}{P''-p}}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9508bea80e46c71c43ea2eab7f7bdc16f5c6f558)
ou encore
![{\displaystyle {\frac {\left(1+p^{2}+q^{2}\right)\left(1+P'^{2}+Q'^{2}\right)-(1+pP'+qQ')^{2}}{\left(1+p^{2}+q^{2}\right)\left(1+P''^{2}+Q''^{2}\right)-(1+pP''+qQ'')^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ceb965fddfc02b2476d00d79c735991c76ab580)
![{\displaystyle =\left({\frac {Q'-q}{Q''-q}}\right)^{2}=\left({\frac {P'-p}{P''-p}}\right)^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4c906b1674a345f004370bb57eec647efdf3b22)
mais l’équation (II) peut être écrite ainsi
![{\displaystyle {\frac {\left(1+p^{2}+q^{2}\right)\left(1+P'^{2}+Q'^{2}\right)-(1+pP'+qQ')^{2}}{\left(1+p^{2}+q^{2}\right)\left(1+P''^{2}+Q''^{2}\right)-(1+pP''+qQ'')^{2}}}={\frac {\lambda '^{2}\left(1+P'^{2}+Q'^{2}\right)}{\lambda ''^{2}\left(1+P''^{2}+Q''^{2}\right)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11e9161011b082a99913cb4f298fc510e85f0edb)
donc
![{\displaystyle \left({\frac {Q'-q}{Q''-q}}\right)^{2}=\left({\frac {P'-p}{P''-p}}\right)^{2}={\frac {\lambda '^{2}\left(1+P'^{2}+Q'^{2}\right)}{\lambda ''^{2}\left(1+P''^{2}+Q''^{2}\right)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b766936b073ea24de9195ff3c69498152ec045d6)
c’est-à-dire,
![{\displaystyle \left.{\begin{array}{ll}{\frac {P''-p}{\lambda ''{\sqrt {1+P''^{2}+Q''^{2}}}}}&=\pm {\frac {P'-p}{\lambda '{\sqrt {1+P'^{2}+Q'^{2}}}}},\\\\{\frac {Q''-q}{\lambda ''{\sqrt {1+P''^{2}+Q''^{2}}}}}&=\pm {\frac {Q'-q}{\lambda '{\sqrt {1+P'^{2}+Q'^{2}}}}}.\end{array}}\right\}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/edd1cf738767b827c53b86a9dded80bc00d2af45)
(III)
équations qui pourront remplacer (I) et (II), dans la recherche de
et
en
et
Dans le cas de la réflexion, on prendra les signes inférieurs, en posant
tandis qu’au contraire, dans le cas de la réfraction, ce sera les signes supérieurs qu’il faudra prendre (21).
23. On tire des équations (III), par différentiation,
![{\displaystyle {\begin{array}{ll}{\frac {1}{\lambda ''}}.{\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P''-p}{\sqrt {1+P''^{2}+Q''^{2}}}}&=\pm {\frac {1}{\lambda '}}.{\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P'-p}{\sqrt {1+P'^{2}+Q'^{2}}}},\\\\{\frac {1}{\lambda ''}}.{\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q''-q}{\sqrt {1+P''^{2}+Q''^{2}}}}&=\pm {\frac {1}{\lambda '}}.{\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q'-q}{\sqrt {1+P'^{2}+Q'^{2}}}}\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06e7a7d92e48aa584cc49d2174b82a00dda0def0)
d’où en retranchant,
![{\displaystyle {\begin{aligned}&{\frac {1}{\lambda ''}}\left\{{\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P''-p}{\sqrt {1+P''^{2}+Q''^{2}}}}-{\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q''-q}{\sqrt {1+P''^{2}+Q''^{2}}}}\right\}\\\\=\pm &{\frac {1}{\lambda '}}\left\{{\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P'-p}{\sqrt {1+P'^{2}+Q'^{2}}}}-{\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q'-q}{\sqrt {1+P'^{2}+Q'^{2}}}}\right\}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d65d088ca7f0a2399deba539b2b8c45310826b0e)
donc, suivant qu’on aura ou qu’on n’aura pas
![{\displaystyle {\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P'-p}{\sqrt {1+P'^{2}+Q'^{2}}}}={\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q'-q}{\sqrt {1+P'^{2}+Q'^{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/824d8fe2625e311f03c8b3da85eb9d92dc68d30d)
on aura ou on n’aura pas
![{\displaystyle {\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P''-p}{\sqrt {1+P''^{2}+Q''^{2}}}}={\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q''-q}{\sqrt {1+P''^{2}+Q''^{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68d752b0c7c941f6dcbe2d505cf9ceb93d4082fd)
et réciproquement ; or, la première de ces équations exprime (9) et (16), que les rayons incidens peuvent être traversés orthogonalement par une même surface ; et la seconde exprime la même chose à l’égard des rayons réfléchis ou réfractés ; donc, suivant que des rayons incidens sont ou ne sont pas de nature à pouvoir être traversés orthogonalement par une même surface, les rayons réfléchis ou réfractés sont aussi ou ne sont pas de nature à pouvoir être traversés orthogonalement par une même surface.
24. Soient présentement un nombre quelconque de surfaces réfléchissantes et séparatrices de divers milieux, se succédant comme on voudra dans l’espace. Suivant que les rayons incidens qui tomberont sur la première de ces surfaces pourront ou ne pourront pas être traversés orthogonalement par une même surface, les rayons, réfléchis ou réfractés par celle-ci, et se dirigeant vers la seconde, pourront eux-mêmes ou ne pourront pas être traversés orthogonalement par une même surface ; mais ces derniers peuvent, à leur tour, être considérés comme incidens par rapport à cette seconde surface ; d’où il suit que les rayons réfléchis ou réfractés par celle-ci, et se dirigeant comme incidens vers la troisième, se trouveront encore dans les mêmes circonstances, et ainsi de suite, jusqu’à la dernière surface ; d’où l’on voit que, pour les rayons de lumière qui composent un même faisceau, la faculté de pouvoir être traversés orthogonalement par une même surface ne saurait être perdue ni acquise par l’effet d’une suite de réflexions et de réfractions, en nombre quelconque, opérées à la rencontre de surfaces mathématiques quelconques, séparant des milieux homogènes de quelque nature qu’ils puissent être.
25. Et, comme la vérité de cette proposition, dans le cas où il n’y a que des réfractions, est indépendante tant du nombre et de la proximité des surfaces séparatrices des divers milieux que de la variation de nature plus ou moins rapide des milieux que ces surfaces séparent, il doit encore en être de même pour des rayons de lumière qui traversent un milieu dont la densité ou la nature chimérique varie par degrés insensibles, suivant une loi mathématique quelconque ; c’est-à-dire, qu’après être sortis d’un tel milieu, ces rayons seront ou ne seront pas normaux à une même surface suivant qu’avant d’y pénétrer ils étaient déjà ou n’étaient pas normaux à une même surface.
26. Soient des rayons de lumière décrivant des lignes courbes dans un milieu variant continuellement de densité ou de nature chimique, suivant une loi mathématique quelconque ; concevons à travers le milieu deux surfaces courbes passant par des points jouissant d’un même pouvoir réfringent ; par les points où les rayons curvilignes percent ces deux surfaces, menons-leur des tangentes ; ces tangentes formeront deux faisceaux de droites ; or, il est aisé de conclure de ce qui précède que, suivant que les droites de l’un des faisceaux pourront ou ne pourront pas être traversées orthogonalement par une même surface courbe, les droites de l’autre faisceau pourront aussi ou ne pourront pas être traversées orthogonalement par une même surface courbe.
27. En particulier, des rayons émanés d’un même point fixe ou parallèles à une même droite fixe, ce qui revient à être émanés d’un point infiniment éloigné, sont normaux à une même surface sphérique, laquelle se réduit à un plan, dans le second cas ; donc, des rayons émanés d’un même point fixe ou parallèles à une même droite fixe, ce qui est le cas le plus ordinaire, après avoir subi un nombre quelconque de réflexions et de réfractions à la rencontre de surfaces mathématiques quelconques, séparant des milieux homogènes de quelle nature on voudra, ou encore après avoir traversé un milieu variant continuellement de densité ou de nature chimique suivant une loi mathématique quelconque, peuvent toujours être traversés orthogonalement par une même surface. Ainsi, par exemple, les rayons de lumière qui partent de l’un des points d’un corps céleste, après avoir traversé l’atmosphère, parviennent à notre œil dans des directions normales à une même surface.
28. On voit aussi par là que la recherche de la surface caustique à laquelle donnent naissance des rayons qui, émanés du point fixe, ont subi des réflexions et des réfractions en nombre quelconque, et que conséquemment l’étude de toutes les circonstances de la vision ; dans les cas même les plus compliqués, se réduit finalement à la recherche de la surface, lieu des centres de courbure d’une certaine surface déterminée. C’est la recherche de cette dernière surface qui doit donc présentement nous occuper.
29. Mais, pour parvenir au but, il nous faut d’abord résoudre, par rapport à
et
les équations (I) et (II) ou, ce qui revient au même, les équations (III), par lesquelles nous les avons remplacées (22). Pour y parvenir simplement, posons
![{\displaystyle \pm {\frac {\lambda ''}{\lambda '}}{\frac {P'-p}{\sqrt {1+P'^{2}+Q'^{2}}}}=a,\qquad \pm {\frac {\lambda ''}{\lambda '}}.{\frac {Q'-q}{\sqrt {1+P'^{2}+Q'^{2}}}}=b\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4c662fe6a17901f4587f82b941ba5d2cb23d0b8)
ces équations deviendront ainsi
![{\displaystyle {\begin{aligned}P''-p&=a{\sqrt {1+P''^{2}+Q''^{2}}}\\\\Q''-q&=b{\sqrt {1+P''^{2}+Q''^{2}}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a7e54ffc05210b17da2af32ba7c29d32c8d7764)
qui, successivement divisées et multipliées membre à donnent
![{\displaystyle b(P''-p)=a(Q''-q),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e247ec6b9a0f0b32fd1b6bcb283748d1b857016d)
![{\displaystyle (P''-p)(Q''-q)=ab(1+P''^{2}+Q''^{2})^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62ce7cdf0e14da0754a5a702566efaabde08abd5)
posant alors
![{\displaystyle P''-p=A,\quad Q''-q=B,\quad 1+p^{2}+q^{2}=k,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fd9fc5ac852bf91e8f3763aeaa6a8e5f7936b16)
(o)
et remarquant que
![{\displaystyle 1+P''^{2}+Q''^{2}=(P''-p)^{2}+(Q''-q)^{2}+2p(P''-p)+2q(Q''-q)+\left(1+p^{2}+q^{2}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ebd5f42c80a31cc5f75ad59753af42acec1c587)
on pourra leur donner cette autre forme
![{\displaystyle bA=aB,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a25413055dc6b8f35f185e16a6ac167e6f5fc890)
![{\displaystyle AB=ab\left(A^{2}+B^{2}+2pA+2qB+k\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb3d95ec143922dbb64a319d2b6db6d4bef7c1d6)
on en tirera alors, par élimination
![{\displaystyle {\frac {A}{a}}={\frac {B}{b}}={\frac {-(pa+qb)\pm {\sqrt {(pa+qb)^{2}-k\left(a^{2}+b^{2}-1\right)}}}{a^{2}+b^{2}-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8e9932662b06d49cdd3f91b8527a76cc0765a39)
c’est-à-dire,
![{\displaystyle {\begin{aligned}&A=a.{\frac {-(pa+qb)\pm {\sqrt {(pa+qb)^{2}-k\left(a^{2}+b^{2}-1\right)}}}{a^{2}+b^{2}-1}},\\\\&B=b.{\frac {-(pa+qb)\pm {\sqrt {(pa+qb)^{2}-k\left(a^{2}+b^{2}-1\right)}}}{a^{2}+b^{2}-1}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13b131b4d285823d752f4b6c7b040d23fde02d97)
En remettant pour
leurs valeurs et posant, pour abréger,
![{\displaystyle 1+P'^{2}+Q'^{2}=g,\qquad 1+pP'+qQ'=h,\qquad (\varpi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54262e1580f06a39eab135b43b62aa7b17c992b5)
il viendra
![{\displaystyle \left.{\begin{aligned}P''-p&=\lambda ''(P'-p).{\frac {\lambda ''(k-h)\pm {\sqrt {\lambda ''^{2}h^{2}+\left(\lambda '^{2}-\lambda ''^{2}\right)gk}}}{\lambda ''^{2}(k-2h)-\left(\lambda '^{2}-\lambda ''^{2}\right)g}},\\\\Q''-q&=\lambda ''(Q'-q).{\frac {\lambda ''(k-h)\pm {\sqrt {\lambda ''^{2}h^{2}+\left(\lambda '^{2}-\lambda ''^{2}\right)gk}}}{\lambda ''^{2}(k-2h)-\left(\lambda '^{2}-\lambda ''^{2}\right)g}}.\end{aligned}}\right\}\quad (\rho )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2eb3552a21044af1304580564f97905224c77fdb)
Il est visible (21) que, pour le cas de la réfraction, où lorsqu’on fait
on doit avoir
et
ce sera les signes inférieurs qu’il faudra prendre ; d’où il suit que, pour le cas de la réflexion, il faudra prendre les signes supérieurs, en posant
Alors les formules se simplifieront d’une manière notable, et l’on aura
![{\displaystyle P''-p={\frac {k(P'-p)}{k-2h}},\qquad Q''-q={\frac {k(Q'-q)}{k-2h}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae27b5ebf70e0f9ea16baf0e20c44c4b2716fa09)
d’où
![{\displaystyle \left.{\begin{aligned}P''={\frac {kP'-2ph}{k-2h}}&={\frac {\left(1+p^{2}+q^{2}\right)P'-2p(1+pP'+qQ')}{\left(1+p^{2}+q^{2}\right)-2(1+pP'+qQ')}},\\\\Q''={\frac {kQ'-2qh}{k-2h}}&={\frac {\left(1+p^{2}+q^{2}\right)Q'-2q(1+pP'+qQ')}{\left(1+p^{2}+q^{2}\right)-2(1+pP'+qQ')}},\end{aligned}}\right\}\quad (\sigma )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61d2472a2e8d7ea603eeaf792ce14498ab94b5b3)
Pour appliquer ces dernières formules à un exemple, supposons que la surface donnée par l’équation
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
soit une surface réfléchissante ; que, cette surface étant prise pour base, les équations des rayons incidens soient
![{\displaystyle X-x+{\frac {2y-x}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {2x-y}{z-c}}(Z-z)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/527273d35e9349b213fe325777ed53e56c7b2411)
et cherchons les équations des rayons réfléchis. Ayant ici
![{\displaystyle P'={\frac {2y-x}{z-c}},\quad Q'={\frac {2x-y}{z-c}},\quad p=q=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79179634106b3930bec506da844b7398b87a3e0)
nous trouverons
![{\displaystyle 1+pP'+qQ'={\frac {(z-c)+p(2y-x)+q(2x-y)}{z-c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9d811b75f0ce65cccf6f75138e5cb0da95c3214)
![{\displaystyle ={\frac {(z-c)-(2y-x)(2x-y)}{z-c}}={\frac {(z-c)-(x+y)}{z-c}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f1411859059d030eadb4a1039d0fc02a38408ac)
c’est-à-dire,
![{\displaystyle 1+pP'+qQ'={\frac {2(z-c)}{z-c}}=2,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdb29b9a5cb4ad1f8eff6b6f436b6e839fdd9d88)
et comme d’ailleurs
![{\displaystyle 1+p^{2}+q^{2}=3,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db0e7748428ae63c5e228ea5f0f6f227289b8290)
il viendra, en substituant dans les formules (![{\displaystyle \sigma ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2161fefc8d1e371b3ac75f1b7692f1cbd2db12d8)
![{\displaystyle {\begin{aligned}&P''=-{\frac {4(z-c)+3(2y-x)}{z-c}}={\frac {4(x+y)-3(2y-x)}{z-c}}={\frac {7x-2y}{z-c}},\\\\&Q''=-{\frac {4(z-c)+3(2x-y)}{z-c}}={\frac {4(x+y)-3(2x-y)}{z-c}}={\frac {7y-2x}{z-c}}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf605811a82be1ae690909baed3924227c50374f)
de manière que les équations du rayon réfléchi seront
![{\displaystyle X-x+{\frac {7x-2y}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {7y-2x}{z-c}}(Z-z)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4190844c69d5754421fecba38b75a31154b94535)
Puisque, dans cet exemple, les rayons incidens sont tous (8) normaux à une même surface, il doit en être de même (23) des rayons réfléchis ; et c’est ce qu’on peut vérifier immédiatement. En posant ici
![{\displaystyle P={\frac {7x-2y}{z-c}},\quad Q={\frac {7y-2x}{z-c}},\quad p=q=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05f87b2304675b14176d0678cd7679ce8b026da2)
nous aurons
![{\displaystyle {\begin{aligned}&P-p={\frac {(z-c)+(7x-2y)}{z-c}}={\frac {(7x-2y)-(x+y)}{z-c}}={\frac {3(2x-y)}{z-c}},\\\\&Q-q={\frac {(z-c)+(7y-2x)}{z-c}}={\frac {(7y-2x)-(x+y)}{z-c}}={\frac {3(2y-x)}{z-c}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b963c3b2dd3a104729fbe425245e1fc0502a2f2e)
![{\displaystyle {\sqrt {1+P^{2}+Q^{2}}}={\frac {\sqrt {(z-c)^{2}+(7x-2y)^{2}+(7y-2x)^{2}}}{z-c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b33b8932b4eb7c09f4eb10a1821a3bb1146052f)
![{\displaystyle ={\frac {\sqrt {(x+y)^{2}+(7x-2y)^{2}+(7y-2x)^{2}}}{z-c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c3f6aefb1d5067ba1c43eb375a879dff3c99d0a)
c’est-à-dire,
![{\displaystyle {\sqrt {1+P^{2}+Q^{2}}}={\frac {3{\sqrt {6\left(x^{2}-xy+y^{2}\right)}}}{z-c}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bff3c0be7e82ed0109b2bf640ffdaf0a21a0c98)
donc
![{\displaystyle {\frac {P-p}{\sqrt {1+P^{2}+Q^{2}}}}={\frac {2x-y}{\sqrt {6\left(x^{2}-xy+y^{2}\right)}}},\quad {\frac {Q-q}{\sqrt {1+P^{2}+Q^{2}}}}={\frac {2y-x}{\sqrt {6\left(x^{2}-xy+y^{2}\right)}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/145379c3bc6e63ecf2cadb37d30cd5527ae7f964)
et de là
![{\displaystyle {\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P-p}{\sqrt {1+P^{2}+Q^{2}}}}={\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q-q}{\sqrt {1+P^{2}+Q^{2}}}}=-{\frac {9xy}{\left\{6\left(x^{2}-xy+y^{2}\right)\right\}^{\frac {3}{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b61e33eae81aac8153ed98df5f12ced11932a1a3)
qui est en effet (9) et (16) le caractère auquel on reconnaît que les droites d’un faisceau sont normales à une même surface.
Si l’on veut présentement connaître à quelles surfaces les rayons réfléchis, donnés par les trois équations
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
![{\displaystyle X-x+{\frac {7x-2y}{z-c}}(Z-z)=0,\qquad Y-y+{\frac {7y-2x}{z-c}}(Z-z)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2660ab1e53d1aac26a2bc71aa1d25bb0d1f0c9b)
sont normaux, il faudra opérer comme nous l’avons enseigné (8), et pour cela il faudra d’abord rendre les équations de ces rayons indépendantes de la base, ce qu’on fera (5) en posant d’abord les trois équations
![{\displaystyle (z-c)(x-x')+(7x-2y)(z-z')=0,\ (z-c)(y-y')+(7y-2x)(z-z')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec875ebda341762cbdeae73319cb79aaf66c83ec)
![{\displaystyle x+y+z=c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6cf540e39f0e472ed3b4b86404f7c34f18f3267)
desquelles on tirera
![{\displaystyle {\begin{aligned}x&=-{\frac {1}{6}}.{\frac {5(z'-c)-(x'+y')}{2(z'-c)+5(x'+y')}}\left\{(z'-c)+(4x'+y')\right\},\\\\y&=-{\frac {1}{6}}.{\frac {5(z'-c)-(x'+y')}{2(z'-c)+5(x'+y')}}\left\{(z'-c)+(4y'+x')\right\},\\\\z-c&=+{\frac {1}{6}}.{\frac {5(z'-c)-(x'+y')}{2(z'-c)+5(x'+y')}}\left\{2(z'-c)+5(x'+y')\right\}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a251dd8448d5f4d1267aa489503901c0eb1ab50)
de là
![{\displaystyle {\begin{aligned}7x-2y&=-{\frac {1}{6}}.{\frac {5(z'-c)-(x'+y')}{2(z'-c)+5(x'+y')}}\left\{5(z'-c)+(26x'-y')\right\},\\\\7y-2x&=-{\frac {1}{6}}.{\frac {5(z'-c)-(x'+y')}{2(z'-c)+5(x'+y')}}\left\{5(z'-c)+(26y'-x')\right\}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30400bb56c347bdacfcf1eb496995eed9a610a34)
donc
![{\displaystyle {\begin{aligned}&P'=P={\frac {7x-2y}{z-c}}=-{\frac {5(z'-c)+(26x'-y')}{2(z'-c)+5(x'+y')}},\\\\&Q'=Q={\frac {7y-2x}{z-c}}=-{\frac {5(z'-c)+(26y'-x')}{2(z'-c)+5(x'+y')}}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68f6671ace4a4e4f4796015c4f2b14e8047574f2)
de sorte que les équations du faisceau réfléchi, rendues indépendantes de sa base réfléchissante, sont
![{\displaystyle {\begin{aligned}&X-x-{\frac {5(z'-c)+(26x'-y')}{2(z'-c)+5(x'+y')}}(Z-z)=0,\\\\&Y-y-{\frac {5(z'-c)+(26y'-x')}{2(z'-c)+5(x'+y')}}(Z-z)=0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51fc4ba03134e8c6adf4015578bc214f87a71124)
En conséquence, l’équation différentielle des surfaces auxquelles tous ces rayons sont normaux sera (8), en supprimant les accents désormais superflus et chassant les dénominateurs,
![{\displaystyle \left\{5(z-c)+(26x-y)\right\}\operatorname {d} x+\left\{5(z-c)+(26y-x)\right\}\operatorname {d} y+\left\{2(z-c)+5(x+y)\right\}\operatorname {d} z=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c4392f3dc0510be472f6eb09150522f97f2e2cb)
En l’écrivant ainsi
![{\displaystyle \left\{(z-c)+5x\right\}(\operatorname {d} z+5\operatorname {d} x)+\left\{(z-c)+5y\right\}(\operatorname {d} z+5\operatorname {d} y)+(x-y)(\operatorname {d} x-\operatorname {d} y)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7048887dff04f4f8b8357a5babb567accc1c83ad)
elle devient, en multipliant par 2,
![{\displaystyle \operatorname {d} .\left\{(z-c)+5x\right\}^{2}+\operatorname {d} .\left\{(z-c)+5y\right\}^{2}+\operatorname {d} .(x-y)^{2}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d27e2529c52481b2e80a57cbb13ed37875fee327)
d’où, en intégrant
![{\displaystyle (5x+z-c)^{2}+(5y+z-c)^{2}+(x-y)^{2}=r'^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bf84cc6a9db71d81ae1e133fac6cf2fe8293dee)
étant la constante arbitraire. Cette équation est évidemment celle d’une suite de cylindres droits concentriques, dont l’axe commun est donné par la double équation
[4]
30. En général, des rayons lumineux incidens, normaux, à une surface donnée (s′), se réfléchissant ou se réfractant à la rencontre d’une seconde surface donnée (s) ; si l’on veut savoir à quelle surface inconnue (s″) les rayons réfléchis ou réfractés seront normaux, il faudra d’abord (5) amener le faisceau incident à avoir pour base la surface réfléchissante ou séparatrice ; conclure ensuite les valeurs de
et
dans les équations du faisceau réfléchi ou réfracté de celles de
et
dans les équations du faisceau incident, à l’aide des formules
rendre enfin ces valeurs de
et
(5) indépendantes de toute base ; et alors l’équation différentielle de la surface cherchée (s″) sera
![{\displaystyle \operatorname {d} z''=P''\operatorname {d} x''+Q''\operatorname {d} y''.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80cce51a5580aa64a9fbbe86c0f94e4cb34c3648)
Si les rayons réfléchis ou réfractés, devenus ainsi normaux à cette dernière surface, devaient subir une seconde réflexion ou une seconde réfraction ; par l’application du même procédé on déterminerait la surface à laquelle ils devraient devenir normaux après l’avoir subi ; on pourrait en faire de même à l’égard d’une troisième réflexion ou réfraction, d’une quatrième, et ainsi indéfiniment ; de sorte qu’au moyen de ce qui précède nous sommes en état de résoudre ce problème général : étant données une suite de surfaces réfléchissantes et séparatrices de divers milieux,
ainsi que la nature des milieux séparés par ces surfaces, et connaissant la surface à laquelle sont normaux, avant d’avoir atteint la première, les rayons d’un faisceau qui doit les rencontrer toutes, déterminer la surface à laquelle seront normaux les rayons du même faisceau, après avoir quitté la dernière ?
§. IV.
Démonstration de quelques Théorèmes nouveaux.
31. Nous venons de voir comment, étant données une première surface à laquelle des rayons incidens sont normaux, et une seconde surface, à la rencontre de laquelle ces rayons doivent se réfléchir ou se réfracter, on peut assigner une troisième surface à laquelle, après la réflexion ou la réfraction, ces rayons devront être normaux.
Renversons présentement le problème, et demandons-nous à la rencontre de quelle surface des rayons de lumière, normaux à une surface donnée, doivent-ils se réfléchir ou se réfracter, pour qu’après la réflexion ou la réfraction ils se trouvent normaux à une autre surface donnée ?
En admettant que le problème soit généralement possible, la solution s’en offrira, pour ainsi dire d’elle-même, d’après les résultats déjà obtenus. Soient, en effet, deux surfaces données
![{\displaystyle z'=\operatorname {f} '(x',y'),\quad (s')\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8f0e304304844547e118756b61a92b1e8db9a4a)
d’où
![{\displaystyle \quad \operatorname {d} z'=p'\operatorname {d} x'+q'\operatorname {d} y',\quad (\operatorname {d} s')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b920ee2730a94791ba721583281ecd3701ed1668)
![{\displaystyle z''=\operatorname {f} ''(x'',y''),\ (s'')\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/28bfdb35df51ea41fc50a1ed75f14e93a621f00f)
d’où
![{\displaystyle \quad \operatorname {d} z''=p''\operatorname {d} x''+q''\operatorname {d} y'',\ (\operatorname {d} s'')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/637afa976928419eb9d70802450dd91b4166048c)
et supposons que, les rayons incidens devant être normaux à la première et les rayons réfléchis ou réfractés normaux à la seconde, il faille trouver la surface réfléchissante ou séparatrice, dont nous supposerons l’équation
![{\displaystyle z=\operatorname {f} (x,y),\quad (s)\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/259e310fc93a05c641c14aa9639897b2c5b6336f)
d’où
![{\displaystyle \quad \operatorname {d} z=p\operatorname {d} x+q\operatorname {d} y,\quad (\operatorname {d} s)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2eea25ddf68ae0e0642e7d1d0237e548b5659dd8)
la question se trouvera réduite à trouver
en fonction de
que nous supposerons les coordonnées du point d’incidence.
En prenant la surface (s’) pour base du faisceau incident, les équations de ce faisceau seront
![{\displaystyle X-x'+p'(Z-z')=0,\qquad Y-y'+q'(Z-z')=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcad4cc0035ec59f72b30681c4c72d69d19bed13)
si l’on veut ensuite à cette base substituer la surface inconnue (s), il faudra (5) chercher les valeurs de
en fonction de
au moyen de l’élimination de
entre les cinq équations
![{\displaystyle \left.{\begin{array}{c}x-x'+P'(z-z')=0,\qquad Y-y'+Q'(z-z')=0,\\\\P'=p'\qquad \qquad Q'=q',\\\\z'=\operatorname {f} '(x',y').\end{array}}\right\}\quad (\tau ')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4df4c2c4ea9db6f26207d4a940b39631e2e11bdd)
Pareillement, en prenant la surface (s) pour base du faisceau réfléchi ou réfracté, les équations de ce faisceau seront
![{\displaystyle X-x''+p''(Z-z'')=0,\qquad Y-y''+q''(Z-z'')=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b4f3d36f0ffb4a7947675704a16d854cccb4c6b)
et, pour les ramener à la base inconnue (s), il faudra (5) déterminer
en fonction de
au moyen de l’élimination de
entre les cinq équations
![{\displaystyle \left.{\begin{array}{c}x-x''+P''(z-z'')=0,\qquad Y-y''+Q''(z-z'')=0,\\\\P''=p''\qquad \qquad Q''=q'',\\\\z''=\operatorname {f} ''(x'',y'').\end{array}}\right\}\quad (\tau '')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c4d23a8ae2f0b4d0cc2d9682b40eae0e6060799)
Cela posé, les équations (III) du §. II donnent
![{\displaystyle \left.{\begin{aligned}&p={\frac {\lambda 'P''{\sqrt {1+P'^{2}+Q'^{2}}}\mp \lambda ''P'{\sqrt {1+P''^{2}+Q''^{2}}}}{\lambda '{\sqrt {1+P'^{2}+Q'^{2}}}\mp \lambda ''{\sqrt {1+P''^{2}+Q''^{2}}}}},\\\\&q={\frac {\lambda 'Q''{\sqrt {1+P'^{2}+Q'^{2}}}\mp \lambda ''Q'{\sqrt {1+P''^{2}+Q''^{2}}}}{\lambda '{\sqrt {1+P'^{2}+Q'^{2}}}\mp \lambda ''{\sqrt {1+P''^{2}+Q''^{2}}}}}\,;\end{aligned}}\right\}\quad (\nu )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3084d1df81c3817671a41f11d5419b0470299c54)
en se rappelant toujours que, pour le cas de la réfraction, il faut prendre les signes supérieurs, tandis que, pour celui de la réflexion, ce sont au contraire les signes inférieurs qu’il faut prendre, en posant
Substituant donc, dans ces deux formules, les valeurs de
en
obtenues par le procédé qui vient d’être indiqué plus haut, si alors l’équation
![{\displaystyle \operatorname {d} z=p\operatorname {d} x+q\operatorname {d} y\qquad (\operatorname {d} \mathrm {s} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfef1d6d80641e923a7be21b7605aeffcd025b22)
est intégrable, son intégrale
![{\displaystyle z=\operatorname {f} (x,y)\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bd6890ec2290624aa128710dbf9b269598ebfc5)
(s)
sera l’équation de la surface réfléchissante ou séparatrice cherchée.
Si l’on introduit dans l’équation
les valeurs de
et
données par les formules
et qu’après avoir chassé les dénominateurs on rassemble les termes affectés des mêmes radicaux, on pourra donner à l’équation résultante la forme suivante, beaucoup plus commode pour les applications,
![{\displaystyle {\frac {\operatorname {d} z-P'\operatorname {d} x-Q'\operatorname {d} y}{\lambda '{\sqrt {1+P'^{2}+Q'^{2}}}}}=\pm {\frac {\operatorname {d} z-P''\operatorname {d} x-Q''\operatorname {d} y}{\lambda ''{\sqrt {1+P''^{2}+Q''^{2}}}}}.\qquad (\varphi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/714989860129cb929c79d0e1018b577d862cabe9)
Il faudra, pour la réfraction, prendre le signe supérieur du second membre, tandis que, pour la réflexion, on prendra son signe inférieur, en posant ![{\displaystyle \lambda ''=\lambda ',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7752cadf600b1dd5fb8ee7e094908881c92cd46d)
Pour appliquer ces généralités à un exemple, proposons-nous de rechercher quelle devrait être une surface réfléchissante pour que les rayons incidens et les rayons réfléchis fussent respectivement normaux à deux surfaces cylindriques, données par les équations
![{\displaystyle (x'+z'-c)^{2}+(y'+z'-c)^{2}+(x'-y')^{2}=r'^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2723d1f513425a0f2aba9bc1489802d57441cf3)
![{\displaystyle (5x''+z''-c)^{2}+(5y''+z''-c)^{2}+(x''-y'')^{2}=r''^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/667a210c585c70ed1c9677e212bfddbc6e2fb85d)
Nous savons déjà, (5) et (29), qu’on aura ici
![{\displaystyle {\begin{array}{ll}P'=-{\frac {(z-c)+(2x-y)}{2(z-c)+(x+y)}},&Q'=-{\frac {(z-c)+(2y-x)}{2(z-c)+(x+y)}},\\\\P''=-{\frac {5(z-c)+(26x+y)}{2(z-c)+5(x+y)}},&Q''=-{\frac {5(z-c)+(26y+x)}{2(z-c)+5(x+y)}}\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11d8805d53e7100c602361d7674fa0896a028b10)
et par suite
![{\displaystyle {\begin{aligned}&{\sqrt {1+P'^{2}+Q'^{2}}}={\frac {\sqrt {6\left\{(z-c)^{2}+(x+y)(z-c)+\left(x^{2}-xy+y^{2}\right)\right\}}}{2(z-c)+(x+y)}},\\\\&{\sqrt {1+P''^{2}+Q''^{2}}}={\frac {3{\sqrt {6\left\{(z-c)^{2}+5(x+y)(z-c)+\left(13x^{2}-xy+13y^{2}\right)\right\}}}}{2(z-c)+5(x+y)}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c58848711794e74262ee09ed758c1a478eb554ff)
Ces valeurs étant substituées dans l’équation
on obtiendra, pour l’équation différentielle de la surface cherchée,
![{\displaystyle {\begin{aligned}&{\frac {\left\{(z-c)+(2x-y)\right\}\operatorname {d} x+\left\{(z-c)+(2y-x)\right\}\operatorname {d} y+\left\{2(z-c)+(x+y)\right\}\operatorname {d} z}{\sqrt {6\left\{(z-c)^{2}+(x+y)(z-c)+\left(x^{2}-xy+y^{2}\right)\right\}}}}\\\\=-&{\frac {\left\{5(z-c)+(26x-y)\right\}\operatorname {d} x+\left\{5(z-c)+(26y-x)\right\}\operatorname {d} y+\left\{2(z-c)+(x+y)\right\}\operatorname {d} z}{3{\sqrt {6\left\{(z-c)^{2}+5(x+y)(z-c)+\left(13x^{2}-xy+13y^{2}\right)\right\}}}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/070e6a00a9d00c88fcee31454ad7e629c8a86f51)
En multipliant ses deux membres par
cette équation revient à
![{\displaystyle \operatorname {d} .{\sqrt {(z-c)^{2}+(x+y)(z-c)+\left(x^{2}-xy+y^{2}\right)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78a7d525620f9d0acb7c9aa7ea500d83bfa91cca)
![{\displaystyle =-{\frac {1}{3}}\operatorname {d} .{\sqrt {(z-c)^{2}+5(x+y)(z-c)+\left(13x^{2}-xy+13y^{2}\right)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7206184a8ad4939a032d1f38d42b0e8f3a6ff7c8)
d’où en intégrant
![{\displaystyle C+3{\sqrt {(z-c)^{2}+(x+y)(z-c)+\left(x^{2}-xy+y^{2}\right)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af7d55604fee49bc48b5babfbde3d42016795c59)
![{\displaystyle +{\sqrt {(z-c)^{2}+5(x+y)(z-c)+\left(13x^{2}-xy+13y^{2}\right)}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8922dad8c1cde2a4c3790db16db3e86eb7bb71cb)
Le problème, à raison de la constante
a donc une infinité de solutions. En posant cette constante nulle, et chassant les radicaux, il vient, en réduisant,
![{\displaystyle 2(z-c)^{2}+(x+y)(z-c)-\left(x+y^{2}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53cd45fbfa976b598cd9292ccdf67b12547b9fe9)
ou bien
![{\displaystyle (x+y+z-c)\left\{2(z-c)-(x+y)\right\}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a18a7e7ea6c85f6ac4f7519c76d5a71632739624)
équation commune de deux plans dont les équations individuelles sont
![{\displaystyle x+y+z=c,\qquad x+y=2(z-c)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d5e180e1c854f4646b515801bcb1d05f54a570b)
ce sont les équations des deux plans perpendiculaires l’un à l’autre qui divisent en deux parties égales les quatre angles formés par les axes des deux cylindres et sont perpendiculaires au plan de ces axes. On reconnaît le premier pour le plan réfléchissant des exemples précédens.
32. Dans l’exemple que nous avons choisi, nous étions bien sûrs de rencontrer une équation différentielle intégrable, puisque le problème que nous nous étions proposé n’était que le renversement d’un problème antérieurement résolu ; m, mais il est très-aisé de prouver que généralement non seulement l’équation
sera toujours intégrable ; mais que même ses deux membres le seront séparément et immédiatement, sans l’intervention d’aucun facteur. Si en effet on y met pour
sa valeur
elle devient, en changeant les signes,
![{\displaystyle {\frac {(P'-p)\operatorname {d} x+(Q'-q)\operatorname {d} y}{\lambda '{\sqrt {1+P'^{2}+Q'^{2}}}}}={\frac {(P''-p)\operatorname {d} x+(Q''-q)\operatorname {d} y}{\lambda ''{\sqrt {1+P''^{2}+Q''^{2}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd082f07cbaeceba2f1e478d0547717aa8e86251)
et alors les conditions d’intégrabilité de ses deux membres sont respectivement
![{\displaystyle {\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P'-p}{\sqrt {1+P'^{2}+Q'^{2}}}}={\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q'-q}{\sqrt {1+P'^{2}+Q'^{2}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/824d8fe2625e311f03c8b3da85eb9d92dc68d30d)
![{\displaystyle {\frac {\operatorname {d} .}{\operatorname {d} y}}{\frac {P''-p}{\sqrt {1+P''^{2}+Q''^{2}}}}={\frac {\operatorname {d} .}{\operatorname {d} x}}{\frac {Q''-q}{\sqrt {1+P''^{2}+Q''^{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1e47c2f4e90a1fbfa3ff1545263244a9dc40113)
or, nous avons vu (9) et (16) que ces conditions sont toujours satisfaites, lorsque les rayons (R’) et (R") sont normaux à une surface courbe ; ce qui est précisément le cas où nous nous trouvons ici.
Ainsi, deux surfaces courbes étant données et quelconques, on peut toujours, et même d’une infinité de manières différentes, trouver une surface réfléchissante ou séparatrice de deux milieux donnés, telle que des rayons incidens, normaux à l’une des deux surfaces données, après avoir été réfléchis ou réfractés, à la rencontre d’une telle surface, deviennent normaux à l’autre surface donnée[5].
33. Soient maintenant des rayons incidens normaux à une même surface courbe, assujettis à un nombre quelconque de réflexions et de réfractions, à la rencontre d’une suite de surfaces quelconques, séparant des milieux également quelconques ; ces rayons en s’échappant de la dernière surface, seront encore (24) normaux à une même surface courbe, entièrement déterminée ; et il résulte de ce qui précède qu’on pourrait également faire devenir les rayons incidens normaux à cette même surface soit par une réflexion soit par une réfraction unique ; donc, pour des rayons de lumière normaux à une même surface, l’effet de tant de réflexions et de réfractions qu’on voudra, à la rencontre de surfaces quelconques, séparant des milieux homogènes également quelconques, peut toujours être remplacé, et même d’une infinité de manières différentes, soit par une réflexion, soit par une réfraction unique.
34. Donc aussi (25) pour des rayons de lumière normaux à une même surface courbe, l’effet d’un trajet à travers un milieu variant insensiblement de densité ou de nature chimique peut toujours être remplacé, et même d’une infinité de manières différentes, soit par une réflexion unique à la rencontre d’un miroir d’une forme et d’une situation déterminées, soit par une réfraction unique à la rencontre d’une surface également déterminée, séparant deux milieux homogènes d’une nature donnée. Ainsi, par exemple, l’effet de la réfraction atmosphérique sur les rayons de lumière émanés d’une même étoile fixe peut être remplacé par l’action sur ces mêmes rayons d’un miroir de forme invariable mais mobile, qui sera évidemment une surface de révolution autour de la droite qui joindra l’étoile au centre de la terre, et dont l’axe fera une révolution en vingt-quatre heures autour de l’axe du monde.
35. On peut donc ramener toutes les recherches relatives aux circonstances de la vision, par l’intermédiaire de tant de miroirs et de milieux qu’on voudra, à celle des circonstances de la vision à l’aide d’un simple miroir d’une forme et d’une situation déterminée. À la vérité, dans tout ceci nous avons fait abstraction de la différente réfrangibilité des rayons de la lumière ; mais, si l’on veut y avoir égard, il arrivera seulement que le rapport de
à
aura plusieurs valeurs, et qu’on aura en conséquence autant de miroirs que de rayons différens. Les surfaces et les milieux dont on aura employé l’intermédiaire pour aider à la vision corrigeront donc d’autant mieux l’aberration de réfrangibilité que la série de miroirs dont il vient d’être question occupera un moindre espace et cette aberration deviendra tout-à-fait nulle, si les miroirs extrêmes de cette série coïncident exactement.