GÉOMÉTRIE TRANSCENDANTE.
Démonstration de quelques théorèmes sur les enveloppes ;
≈≈≈≈≈≈≈≈≈
L’enveloppe des cordes qui retranchent d’un cercle des segmens égaux, est évidemment un autre cercle, concentrique au premier et touchant ces cordes à leur milieu. On sait aussi que l’enveloppe des cordes qui retranchent des segmens équivalens d’une section conique quelconque, touche également ces cordes à leur milieu ; mais cette propriété n’est pas particulière à ces sortes de courbes, et nous allons faire voir qu’elle est générale pour toutes les courbes planes quelles qu’elles soient. Nous démontrerons ensuite quelques autres propositions analogues que le lecteur ne trouvera peut-être pas dépourvues d’intérêt.
§. I.
Pour éviter les répétitions, nous allons, avant d’entrer en matière, établir quelques formules et convenir de quelques locutions qui nous seront utiles pour parvenir à notre but.
Soit
![{\displaystyle y=\varphi (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7850c1acdd96123e117d4c4f9b02d81230468a03)
l’équation d’une courbe plane quelconque, rapportée à des axes rectangulaires. Soient en outre
deux points déterminés quelconques de cette courbe ; de telle sorte au’on ait
![{\displaystyle \beta =\varphi (\alpha ),\qquad \beta '=\varphi (\alpha ')\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08d9311f94e5e0889acb9f440a3065a006438c20)
l’équation de la corde qui joindra ces deux points sera
![{\displaystyle (\alpha '-\alpha )(y-\beta )-(\beta '-\beta )(x-\alpha )=\gamma =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98c668507f51e416e27b28150654a8948ddf660a)
En supposant qu’il existe, entre
et
une relation donnée par l’équation
![{\displaystyle U=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0b0018b01bf10819f22fa9bcae90c444ef3f933)
l’équation de l’enveloppe de toutes les cordes
sera le résultat de l’élimination des cinq quantités
entre les six équations
![{\displaystyle \beta =\varphi (\alpha ),\qquad \beta '=\varphi (\alpha '),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e51a935ad20ec53a964ebe31a52ef003864d845)
![{\displaystyle (\alpha '-\alpha )(y-\beta )-(\beta '-\beta )(x-\alpha )=\gamma =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a2cb080af38c94becf1ef612ccde806d0cf1c20)
![{\displaystyle \left[(y-\beta )-(x-\alpha ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right]{\frac {\operatorname {d} \alpha '}{\operatorname {d} \alpha }}-\left[(y-\beta ')-(x-\alpha '){\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right]={\frac {\operatorname {d} \gamma '}{\operatorname {d} \alpha }}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21bf9d77d3ef58de2bb53373855b10039b064787)
![{\displaystyle U=0,\qquad \left({\frac {\operatorname {d} U}{\operatorname {d} \alpha '}}\right){\frac {\operatorname {d} \alpha '}{\operatorname {d} \alpha }}+\left({\frac {\operatorname {d} U}{\operatorname {d} \alpha }}\right)={\frac {\operatorname {d} U}{\operatorname {d} \alpha }}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8d1967d97cbe2ec8cd077068993fa7d70158858)
Mais, si l’on ne veut trouver que le point de contact de l’une des cordes contenues dans
avec l’enveloppe, il suffira d’éliminer
entre les deux équations
![{\displaystyle {\frac {\operatorname {d} \gamma }{\operatorname {d} \alpha }}=0,\qquad {\frac {\operatorname {d} U}{\operatorname {d} \alpha }}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69c8ca55163816e7692fda709121f12d4beca16d)
ce qui donnera l’équation
![{\displaystyle \left[(y-\beta )-(x-\alpha ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right]\left({\frac {\operatorname {d} U}{\operatorname {d} \alpha }}\right)+\left[(y-\beta ')-(x-\alpha '){\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right]\left({\frac {\operatorname {d} U}{\operatorname {d} \alpha '}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aa5a05c38849cd3f9df5be8e9d4d57a72f17ae4)
![{\displaystyle =V=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9cbc9be11e0c306619f2feea2b2d93abf427234)
et de déterminer ensuite les valeurs de
et de
qui satisfont aux deux équations
![{\displaystyle \gamma =0,\qquad V=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/334a806f52665a7957a52a75497c5ed581dca594)
ce qui revient à déterminer le point d’intersection des lignes exprimées par ces mêmes équations. Or, comme la première est la corde elle-même, il suffira de construire l’autre, que l’on voit être également une droite, laquelle coupera conséquemment la corde au point cherché ; ce qui prouve, en premier lieu, que jamais l’enveloppe ne saurait toucher une corde en plusieurs points.
Or l’équation
est satisfaite, quelle que puisse être la relation
en posant à la fois
![{\displaystyle (y-\beta )={\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}(x-\alpha ),\ (l)\qquad (y-\beta ')={\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}(x-\alpha '),\ (l')\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/356f9c793839478b1c620b51b7574de3f2bcc10d)
donc l’équation
est celle d’une droite qui joint le point cherché au point d’intersection des deux droites
point qu’à l’avenir nous désignerons par ![{\displaystyle (s).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4053f6bd171b810d3ab5873a901dbaf6b1f8448a)
Quant aux droites
on voit que chacune d’elles est une parallèle menée à l’une des extrémités de la corde
à la tangente à l’autre extrémité de cette corde. À l’avenir nous appellerons triangle sur la corde le triangle formé par
avec les deux droites
le point
de concours de ces droites en sera dit le sommet, et ces droites en seront les côtés. Ce triangle, joint au triangle formé par la corde et les tangentes à ses deux extrémités, forme un parallélogramme dont
est une diagonale.
§. II.
Supposons que les aires des segmens retranchés de la courbo
soient constantes et équivalentes à un quarré donné
et posons
![{\displaystyle \int _{\alpha '}^{0}\varphi (x)\operatorname {d} x=A',\qquad \int _{\alpha }^{0}\varphi (x)\operatorname {d} x=A\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a2418b9f687185a4d69aea791c60e76ec51cf25)
nous aurons
![{\displaystyle A'-A-{\frac {1}{2}}(\alpha '-\alpha )(\beta '+\beta )-c^{2}=U=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66900aafd79fae2880ffd66437b80fb14f2f1854)
![{\displaystyle \left({\frac {\operatorname {d} U}{\operatorname {d} \alpha '}}\right)={\frac {\operatorname {d} A'}{\operatorname {d} \alpha '}}-{\frac {1}{2}}(\beta '+\beta )-{\frac {1}{2}}(\alpha '-\alpha ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}={\frac {1}{2}}\left[(\beta '-\beta )-(\alpha '-\alpha ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25b5927f26e9272e8693ee5b99fae262176b1d38)
![{\displaystyle \left({\frac {\operatorname {d} U}{\operatorname {d} \alpha }}\right)=-{\frac {\operatorname {d} A}{\operatorname {d} \alpha }}+{\frac {1}{2}}(\beta '+\beta )-{\frac {1}{2}}(\alpha '-\alpha ){\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}={\frac {1}{2}}\left[(\beta '-\beta )-(\alpha '-\alpha ){\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb1ebeee84df32bcf363b9fa3594d6c61d7261d2)
Substituant ces valeurs dans l’équation
elle deviendra
![{\displaystyle \left[(y-\beta )-(x-\alpha ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right]\left[(\beta '-\beta )-(\alpha '-\alpha ){\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right]+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd04b584db5038619150f95defbde6d776a10e1)
![{\displaystyle \left[(y-\beta ')-(x-\alpha '){\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right]\left[(\beta '-\beta )-(\alpha '-\alpha ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right]=V=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac95f89c5784d1ebcfb0b53d518c35080870b721)
et on voit aisément qu’elle sera satisfaite par les valeurs de
et
qui satisferont aux deux équations
![{\displaystyle {\begin{aligned}&(y-\beta )-(x-\alpha ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}-(\beta '-\beta )-(\alpha '-\alpha ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}=0,\\\\&(y-\beta ')-(x-\alpha '){\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}-(\beta '-\beta )-(\alpha '-\alpha ){\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}=0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e63ee1036f5c71b677344fd6f166bc314cc8b09)
lesquelles se réduisent simplement à
![{\displaystyle (y-\beta ')={\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}(x-x'),\qquad (y-\beta )={\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}(x-x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81997bb8b32ee2f4fdc6eed490f8fc25301ce6f8)
qu’on reconnaît pour les équations des tangentes aux deux extrémités de la corde
La droite
que nous savons déjà passer par le point
passe donc aussi, dans le cas présent, par le point de concours des deux tangentes ; elle est donc la deuxième diagonale du parallélogramme dont il a été question ci-dessus ; elle coupe donc la première
en son milieu, et conséquemment ce milieu sera le point de contact de la corde
avec l’enveloppe de toutes les cordes qui retranchent de la courbe des segmens équivalens. On a donc ce théorème général :
L’enveloppe des cordes qui retranchent d’une courbe plane quelconque des segmens équivalens, touche chacune de ces cordes en son milieu[1].
§. III.
Supposons, en second lieu, que les arcs de la courbe
![{\displaystyle y=\varphi (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7850c1acdd96123e117d4c4f9b02d81230468a03)
sous-tendus par la corde mobile
doivent être tous d’une même longueur donnée
et posons
![{\displaystyle \int _{\alpha '}^{0}\operatorname {d} x{\sqrt {1+\left({\frac {\operatorname {d} y}{\operatorname {d} x}}\right)^{2}}}=A'\,;\qquad \int _{\alpha }^{0}\operatorname {d} x{\sqrt {1+\left({\frac {\operatorname {d} y}{\operatorname {d} x}}\right)^{2}}}=A\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e8dd4070d426065c8f9d1cc7aa627952f48514d)
nous aurons
![{\displaystyle A'-A-c=U=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59faee2eb10c5fc88dc53b8c33349ead9a413e27)
d’où
![{\displaystyle \left({\frac {\operatorname {d} U}{\operatorname {d} \alpha '}}\right)={\sqrt {1+\left({\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right)^{2}}},\qquad \left({\frac {\operatorname {d} U}{\operatorname {d} \alpha }}\right)=-{\sqrt {1+\left({\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right)^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abfcda739790a8e5de6fdd888d54e33f865a6bec)
en conséquence, l’équation
sera ici
![{\displaystyle y={\frac {{\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}{\sqrt {1+\left({\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right)^{2}}}-{\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}{\sqrt {1+\left({\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right)^{2}}}}{{\sqrt {1+\left({\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right)^{2}}}-{\sqrt {1+\left({\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right)^{2}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0d8cc1c393c9bd3046194739cda8b95e1adf36b)
![{\displaystyle x-{\frac {\left(\beta -\alpha {\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right){\sqrt {1+\left({\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right)^{2}}}-\left(\beta '-\alpha '{\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right){\sqrt {1+\left({\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right)^{2}}}}{{\sqrt {1+\left({\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right)^{2}}}-{\sqrt {1+\left({\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right)^{2}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/730d4aba89959a1d1f5ba1aa9ecb19ada926f9e9)
or, comme cette droite doit passer par le point
de concours des deux droites
il s’ensuit qu’en désignant par
et
les coordonnées de ce point, l’équation
pourra prendre la forme
![{\displaystyle y-b={\frac {{\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}{\sqrt {1+\left({\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right)^{2}}}-{\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}{\sqrt {1+\left({\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right)^{2}}}}{{\sqrt {1+\left({\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right)^{2}}}-{\sqrt {1+\left({\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right)^{2}}}}}(x-\alpha ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5aa328ea84b3f2a5e5d618cc38e100840627b07b)
Dans la même hypothèse, les équations des deux droites
prennent la forme
![{\displaystyle y-b={\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}(x-a),\qquad y-b={\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}(x-a),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d803dd2110b29cf28203ce042ecd8f957579307)
et dès lors on reconnaît la première pour l’équation de la droite qui divise en deux parties égales l’angle des droites
de sorte qu’on a ce théorème :
L’enveloppe des cordes qui sous-tendent des arcs de même longueur d’une courbe plane quelconque, touche chacune de ces cordes au point va elle est coupée en raison inverse des longueurs des tangentes à ses deux extrémités ; ou, en d’autres termes, le point de contact de l’enveloppe avec chaque corde et le point où sa direction est rencontrée par la droite qui divise en deux parties égales l’angle des tangentes à ses deux extrémités, sont des points symétriquement situés par rapport au milieu de cette corde.
§. IV.
Supposons encore que, dans la courbe
![{\displaystyle y=\varphi (x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb4fc295ad6eaacaec1b62a1d98534fd62312057)
les cordes
doivent toutes être d’une même longueur donnée
nous aurons
![{\displaystyle (\alpha '-\alpha )^{2}+(\beta '-\beta )^{2}-c^{2}=U=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fac2140581a4c492b045b118ad3aa8051c86179)
d’où
![{\displaystyle \left({\frac {\operatorname {d} U}{\operatorname {d} \alpha '}}\right)=+2\left[(\alpha '-\alpha )+(\beta '-\beta ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}\right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae432531fbabab18f43fe2144e2bdb84406a6cf6)
![{\displaystyle \left({\frac {\operatorname {d} U}{\operatorname {d} \alpha }}\right)=-2\left[(\alpha '-\alpha )+(\beta '-\beta ){\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e20c90f3e88aff0cf5b2262d44ee983305b8eff)
en conséquence l’équation
deviendra
![{\displaystyle (\beta '-\beta )\left\{y-{\frac {\left(\beta '{\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}-\beta {\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right)+(\alpha '-\alpha ){\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}{\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}}{{\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}-{\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/047d20b483f83c384ab990975a4977c13bcc89ed)
![{\displaystyle +(\alpha '-\alpha )\left\{x-{\frac {\left(\alpha {\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}-\alpha '{\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}\right)+(\beta '-\beta )}{{\frac {\operatorname {d} \beta '}{\operatorname {d} \alpha '}}-{\frac {\operatorname {d} \beta }{\operatorname {d} \alpha }}}}\right\}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6282ec6df5b45259dea7d10f29c1db1ff9358866)
or l’équation de la corde
étant
![{\displaystyle (\alpha '-\alpha )(y-\beta )-(\beta '-\beta )(x-\alpha )=\gamma =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a2cb080af38c94becf1ef612ccde806d0cf1c20)