GÉOMÉTRIE ÉLÉMENTAIRE.
Démonstration d’un théorème de M. Lhuilier,
énoncé dans la Bibliothèque universelle (mars 1824, p. 169).
Par un Abonné.
≈≈≈≈≈≈≈≈≈
PROBLÈME. Déterminer l’aire du polygone dont les sommets sont les pieds des perpendiculaires abaissées sur les directions des côtés d’un polygone régulier donné, d’un point donné sur le plan de ce polygone ?
Solution. Soient
le nombre des côtés du polygone régulier donné, et
le rayon du cercle circonscrit. Soit pris son centre pour origine des coordonnées rectangulaires, et faisons passer l’axe des
positifs par l’un quelconque de ses sommets. Les équations d’un sommet quelconque seront de la forme
![{\displaystyle x=r\operatorname {Cos} .{\frac {2n\pi }{m}},\qquad y=r\operatorname {Sin} .{\frac {2n\pi }{m}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42cfad30e7c2242970224cb17eeb42af573d0aa1)
où
représente un nombre entier positif quelconque. On en conclura les équations du sommet qui suit immédiatement celui-là en y changeant
en
ce qui donnera
![{\displaystyle x=r\operatorname {Cos} .{\frac {2(n+1)\pi }{m}},\qquad y=r\operatorname {Sin} .{\frac {2(n+1)\pi }{m}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5603ea9476fe60ff9deb79d7eb6b028ef4eaaff)
l’équation de la droite qui passera par ces deux points sera donc l’équation de l’un quelconque des côtés du polygone. Cette équation est
![{\displaystyle y-r\operatorname {Sin} .{\frac {2n\pi }{m}}={\frac {\operatorname {Sin} .{\frac {2(n+1)\pi }{m}}-\operatorname {Sin} .{\frac {2n\pi }{m}}}{\operatorname {Cos} .{\frac {2(n+1)\pi }{m}}-\operatorname {Cos} .{\frac {2n\pi }{m}}}}\left(x-r\operatorname {Cos} .{\frac {2n\pi }{m}}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe5d2251a7094d88c5c7e2a6df7bc9ec9c12914c)
et, en observant que
on la réduira simplement à
![{\displaystyle y-r\operatorname {Sin} .{\frac {2n\pi }{m}}=-\operatorname {Cot} .{\frac {(2n+1)\pi }{m}}\left(x-r\operatorname {Cos} .{\frac {2n\pi }{m}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b45391cad0e061f48862a48a9ee821246ee50e5)
ou bien
![{\displaystyle \left(x-r\operatorname {Cos} .{\frac {2n\pi }{m}}\right)\operatorname {Cos} .{\frac {(2n+1)\pi }{m}}+\left(y-r\operatorname {Sin} .{\frac {2n\pi }{m}}\right)\operatorname {Sin} .{\frac {(2n+1)\pi }{m}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a84e216e42288a3648f0ed8ca966acabcf0a939)
ou en transposant
![{\displaystyle x\operatorname {Cos} .{\frac {(2n+1)\pi }{m}}+y\operatorname {Sin} .{\frac {(2n+1)\pi }{m}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf304993d431c691ab46d9f3cd291b6dc19eba2f)
![{\displaystyle r\left\{\operatorname {Cos} .{\frac {2n\pi }{m}}\operatorname {Cos} .{\frac {(2n+1)\pi }{m}}+\operatorname {Sin} .{\frac {2n\pi }{m}}\operatorname {Sin} .{\frac {(2n+1)\pi }{m}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b341ee2e1dc5af35fb62a33b97861ad8aa001666)
ou enfin, en simplifiant,
![{\displaystyle x\operatorname {Cos} .{\frac {(2n+1)\pi }{m}}+y\operatorname {Sin} .{\frac {(2n+1)\pi }{m}}=r\operatorname {Cos} .{\frac {\pi }{m}}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a259c94a4f9c3dad4e1e4d1e557ebab8623f0a45)
(1)
Soit
la distance du centre du polygone au point donné sur son plan, et soit
l’angle que fait cette distance
avec l’axe des
les équations de ce point seront
![{\displaystyle x=k\operatorname {Cos} .\alpha ,\qquad y=k\operatorname {Sin} .\alpha \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1369257084f537a07e818a376fac506161524f4f)
et l’équation de la perpendiculaire abaissée de ce même point sur la direction du côté dont nous venons de déterminer l’équation sera
![{\displaystyle (x-k\operatorname {Cos} .\alpha )\operatorname {Sin} .{\frac {(2n+1)\pi }{m}}-(y-k\operatorname {Sin} .\alpha )\operatorname {Cos} .{\frac {(2n+1)\varpi }{m}}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/984607c29cb8cd04f2696ca4fcb0035b10b013ce)
(2)
mais l’équation (1) peut être mise sous cette autre forme
![{\displaystyle (x-k\operatorname {Cos} .\alpha )\operatorname {Cos} .{\frac {(2n+1)\varpi }{m}}+(y-k\operatorname {Sin} .\alpha )\operatorname {Sin} .{\frac {(2n+1)\varpi }{m}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9324b8f2adf2ad05ac175c6b240ed9bddb3fccbc)
![{\displaystyle r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .\left[{\frac {(2n+1)\varpi }{m}}-\alpha \right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/749df8ee7a3735f5afebbd2d20a60a42a1e4d039)
(3)
En considérant les équations (2 et 3) comme les deux équations d’un même problème,
et
seront alors les coordonnées du pied de la perpendiculaire. On tire d’ailleurs de leur combinaison
![{\displaystyle x-k\operatorname {Cos} .\alpha =\left\{r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .\left[{\frac {(2n+1)\varpi }{m}}-\alpha \right]\right\}\operatorname {Cos} .{\frac {(2n+1)\varpi }{m}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b71fd5d0dba1fbb12a266d445903290fa67f1ac)
![{\displaystyle y-k\operatorname {Sin} .\alpha =\left\{r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .\left[{\frac {(2n+1)\varpi }{m}}-\alpha \right]\right\}\operatorname {Sin} .{\frac {(2n+1)\varpi }{m}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80ba355f401c16f5387f967dd8a23ba817cd2dca)
d’où il est facile de conclure pour la longueur
de cette perpendiculaire
![{\displaystyle p=r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .\left[{\frac {(2n+1)\varpi }{m}}-\alpha \right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce4acee6c5ae3a7184f5b95d755b585b57995c33)
Si l’on représente par
la perpendiculaire qui précède immédiatement celle-là, on en conclura la longueur de celle de
en y changeant
en
ce qui donnera
![{\displaystyle p'=r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .\left[{\frac {(2n-1)\varpi }{m}}-\alpha \right]\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cd1811debbedde85c0ed816c8da2bc382ee35b3)
on pourra ensuite mettre ces deux valeurs sous cette autre forme
![{\displaystyle p=r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .\left[\left({\frac {2n\varpi }{m}}-\alpha \right)+{\frac {\varpi }{m}}\right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51bf48727197ceb9fb32273994c1d5ee5d4da3ad)
![{\displaystyle p'=r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .\left[\left({\frac {2n\varpi }{m}}-\alpha \right)+{\frac {\varpi }{m}}\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4957f10e120002437f0583d3c9611cea3fd6d0c4)
Il est manifeste d’ailleurs que l’angle de ces deux perpendiculaires sera égal à l’angle extérieur ou encore à l’angle au centre du polygone donné, c’est-à-dire que cet angle sera égal à
d’où il suit que ces perpendiculaires formeront avec la droite qui joint leurs pieds un triangle dont l’aire sera, suivant les principes connus,
En mettant donc pour
et
les valeurs ci-dessus, on obtiendra pour l’aire de ce triangle
![{\displaystyle {\frac {1}{2}}\left\{r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .\left[\left({\frac {2n\varpi }{m}}-\alpha \right)+{\frac {\varpi }{m}}\right]\right\}\times }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4e43d83526183db1bd8d1de33cee7d80ad1d5f4)
![{\displaystyle \left\{r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .\left[\left({\frac {2n\varpi }{m}}-\alpha \right)-{\frac {\varpi }{m}}\right]\right\}\operatorname {Sin} .{\frac {2\varpi }{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/166d5e780a08ea11b27d787adb5b9da54021c359)
Le polygone dont l’aire est demandée sera composé de
triangles dont on déduira l’aire de cette expression, en y mettant tour à tour pour
tous les nombres naturels, depuis
jusqu’à
inclusivement. On aura donc l’aire demandée en sommant l’expression ci-dessus depuis la première de ces deux limites jusqu’à la seconde.
Mais, pour faciliter cette sommation, remarquons d’abord que les deux facteurs qui suivent le coefficient
peuvent être écrits ainsi
![{\displaystyle r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .{\frac {\varpi }{m}}\operatorname {Cos} .\left({\frac {2n\varpi }{m}}-\alpha \right)+k\operatorname {Sin} .{\frac {\varpi }{m}}\operatorname {Sin} .\left({\frac {2n\varpi }{m}}-\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84660ed3c8503fc3665fcce3c2863d10eabae526)
![{\displaystyle r\operatorname {Cos} .{\frac {\varpi }{m}}-k\operatorname {Cos} .{\frac {\varpi }{m}}\operatorname {Cos} .\left({\frac {2n\varpi }{m}}-\alpha \right)-k\operatorname {Sin} .{\frac {\varpi }{m}}\operatorname {Sin} .\left({\frac {2n\varpi }{m}}-\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0baa55f9a5de57997f923862b34f838983f744c9)
ce qui donne pour leur produit
![{\displaystyle \left\{r-k\operatorname {Cos} .\left({\frac {2n\varpi }{m}}-\alpha \right)\right\}^{2}\operatorname {Cos} .{\frac {\varpi }{m}}-k^{2}\operatorname {Sin} .^{2}{\frac {\varpi }{m}}\operatorname {Sin} .^{2}\left({\frac {2n\varpi }{m}}-\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f94048db286d4e9896e84f1c385c269262368e6b)
ou en développant
![{\displaystyle r^{2}\operatorname {Cos} .^{2}{\frac {\varpi }{m}}-2kr\operatorname {Cos} .^{2}{\frac {\varpi }{m}}\operatorname {Cos} .\left({\frac {2n\varpi }{m}}-\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/954fb34dec97c5898650174c10efba700bd4cba3)
![{\displaystyle +k^{2}\operatorname {Cos} .^{2}{\frac {\varpi }{m}}\operatorname {Cos} .^{2}\left({\frac {2n\varpi }{m}}-\alpha \right)-k^{2}\operatorname {Sin} .^{2}{\frac {\varpi }{m}}\operatorname {Sin} .^{2}\left({\frac {2n\varpi }{m}}-\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5823200378c85f4ebff5f5a4f05cc07702cdfbc5)
mais on sait que
et
; en conséquence, ce produit pourra être mis sous cette autre forme
![{\displaystyle r^{2}\operatorname {Cos} .^{2}{\frac {\varpi }{m}}-2kr\operatorname {Cos} .^{2}{\frac {\varpi }{m}}\operatorname {Cos} .\left({\frac {2n\varpi }{m}}-\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/954fb34dec97c5898650174c10efba700bd4cba3)
![{\displaystyle +{\frac {1}{2}}k^{2}\operatorname {Cos} .^{2}{\frac {\varpi }{m}}\left\{1+\operatorname {Cos} .\left({\frac {4n\varpi }{m}}-2\alpha \right)\right\}-{\frac {1}{2}}k^{2}\operatorname {Sin} .^{2}{\frac {\varpi }{m}}\left\{1-\operatorname {Cos} .\left({\frac {4n\varpi }{m}}-2\alpha \right)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae1535c88c2ae02c5a247c45264beee230b58de6)
ce qui revient à
![{\displaystyle r^{2}\operatorname {Cos} .^{2}{\frac {\varpi }{m}}-2kr\operatorname {Cos} .^{2}{\frac {\varpi }{m}}\operatorname {Cos} .\left({\frac {2n\varpi }{m}}-\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/954fb34dec97c5898650174c10efba700bd4cba3)
![{\displaystyle +{\frac {1}{2}}k^{2}\left(\operatorname {Cos} .^{2}{\frac {\varpi }{m}}-\operatorname {Sin} .^{2}{\frac {\varpi }{m}}\right)+{\frac {1}{2}}k^{2}\operatorname {Cos} .\left({\frac {4n\varpi }{m}}-2\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2459ca7c5e1078f63103854df0a446582ec865a3)
ou encore
![{\displaystyle r^{2}\operatorname {Cos} .^{2}{\frac {\varpi }{m}}+{\frac {1}{2}}k^{2}\operatorname {Cos} .{\frac {2\varpi }{m}}-2kr\operatorname {Cos} .^{2}{\frac {\varpi }{m}}\operatorname {Cos} .\left({\frac {2n\varpi }{m}}-\alpha \right)+{\frac {1}{2}}k^{2}\operatorname {Cos} .\left({\frac {4n\varpi }{m}}-2\alpha \right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c75e84a7a85e45c6d835c518cea02e1cbc24e55c)
ou enfin
![{\displaystyle {\frac {1}{2}}r^{2}+{\frac {1}{2}}\left(r^{2}+k^{2}\right)\operatorname {Cos} .{\frac {\varpi }{m}}-2kr\operatorname {Cos} .^{2}{\frac {\varpi }{m}}\operatorname {Cos} .\left({\frac {2n\varpi }{m}}-\alpha \right)+{\frac {1}{2}}k^{2}\operatorname {Cos} .\left({\frac {4n\varpi }{m}}-2\alpha \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23b74a4dd1435d335f4cb528bc2e95fddc670ccb)
Pour avoir l’aire du triangle, il faudra encore multiplier ce développement par
ce qui donnera finalement
![{\displaystyle {\frac {1}{4}}\left\{r^{2}+\left(r^{2}+k^{2}\right)\operatorname {Cos} .{\frac {2\varpi }{m}}\right\}\operatorname {Sin} .{\frac {2\varpi }{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0b33a44b470acf9f89981880328b697897f7cde)
![{\displaystyle -{\frac {1}{4}}k\left\{4r\operatorname {Cos} .^{2}{\frac {2\varpi }{m}}\operatorname {Cos} .\left({\frac {2n\pi }{m}}-\alpha \right)-k\operatorname {Cos} .\left({\frac {4n\pi }{m}}-2\alpha \right)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41a999a7a89a3d6b81effa4dbd5e0d75f6a84efb)
Il résulte de là que l’aire cherchée du polygone sera
![{\displaystyle {\frac {m}{4}}\left\{r^{2}+\left(r^{2}+k^{2}\right)\operatorname {Cos} .{\frac {2\varpi }{m}}\right\}\operatorname {Sin} .{\frac {2\varpi }{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7fa4ba49097896973bad81e4c62070735aec27c)
![{\displaystyle -{\frac {1}{4}}k\left\{4r\operatorname {Cos} .^{2}{\frac {2\varpi }{m}}\Sigma \operatorname {Cos} .\left({\frac {2n\pi }{m}}-\alpha \right)-k\Sigma \operatorname {Cos} .\left({\frac {4n\pi }{m}}-2\alpha \right)\right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc05444b7085cdbce55c16e57c3e453ee3cf4ea1)
les sommes étant prises depuis
jusqu’à
Or, il est connu[1] que
![{\displaystyle \operatorname {Cos} .a+\operatorname {Cos} .(a+d)+\operatorname {Cos} .(a+2d)+\ldots +\operatorname {Cos} .\left[a+(m-1)d\right]=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/442b6214a3444700b0052e4c302caf59ef0ffe9c)
![{\displaystyle {\frac {\operatorname {Cos} .\left[a+{\frac {1}{2}}(m-1)d\right]\operatorname {Sin} .{\frac {1}{2}}md}{\operatorname {Sin} .{\frac {1}{2}}d}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19b0ea193b7c4787ddbf0f03001061bd3d9eabc9)
Posant donc, 1.o
![{\displaystyle a=-\alpha ,\qquad d={\frac {2\varpi }{m}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d709f8dfd917638e3c7aa42f611f68aaa2379278)
il viendra
![{\displaystyle \Sigma \operatorname {Cos} .\left({\frac {2n\pi }{m}}-\alpha \right)={\frac {\operatorname {Cos} .\left[{\frac {(m-1)\pi }{m}}-\alpha \right]\operatorname {Sin} .\varpi }{\operatorname {Sin} .{\frac {\varpi }{m}}}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a543d20612a898ebdd823ffdbd59e1f5489e6039)
Posant, en second lieu,
![{\displaystyle a=-2\alpha ,\qquad d={\frac {4\varpi }{m}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26bf4e481431c064c003d27a79614cce2bbf1d6e)
nous trouverons
![{\displaystyle \Sigma \operatorname {Cos} .\left({\frac {4n\varpi }{m}}-2\alpha \right)={\frac {\operatorname {Cos} .\left[{\frac {2(m-1)\pi }{m}}-2\alpha \right]\operatorname {Sin} .2\varpi }{\operatorname {Sin} .{\frac {2\pi }{m}}}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4dd9028397139e3cb2e9d579f71d3c4ea8295d6)
En conséquence, l’aire du polygone se réduit simplement à
![{\displaystyle {\frac {m}{4}}\left\{r^{2}+\left(r^{2}+k^{2}\right)\operatorname {Cos} .{\frac {2\pi }{m}}\right\}\operatorname {Sin} .{\frac {2\pi }{m}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f77d9e20540e45cee7d29387b2f3a3a36089f06)
c’est-à-dire qu’elle sera tout-à-fait indépendante de
; d’où résulte ce théorème :
THÉORÈME. Si de l’un quelconque des points du plan d’un polygone régulier on abaisse des perpendiculaires sur les directions de ses côtés, les droites qui joindront consécutivement les pieds de ces perpendiculaires formeront un nouveau polygone non régulier, inscrit au premier, dont l’aire ne dépendra uniquement que du rayon du cercle circonscrit au polygone primitif et de la distance de son centre au point d’où partent les perpendiculaires ; de sorte que cette aire sera la même pour toutes, les situations de ce point sur une même circonférence concentrique au polygone primitif.
C’est en cela que consiste le théorème de M. Lhuilier que nous nous étions proposé de démontrer, et qu’on peut encore énoncer de la manière suivante :
THÉORÈME. Le lieu des points du plan d’un polygone régulier desquels abaissant des perpendiculaires sur les directions de ses côtés, l’aire du polygone qui a ses sommets aux pieds de ces perpendiculaires est constante et donnée, est une circonférence ayant même centre que le polygone régulier donné.
Dans le cas particulier où
c’est-à-dire lorsque le polygone donné est un quarré, à cause de
et de
l’aire du nouveau polygone se réduit à
c’est-à-dire qu’alors cette aire est constamment moitié de celle du quarré donné, quelle que soit la situation du point de départ des perpendiculaires. M. Lhuilier regarde ce cas comme une exception tout-à-fait extraordinaire sous le point de vue logique ; mais nous ne saurions partager sa surprise à cet égard. Les exceptions de ce genre sont en effet très-fréquentes dans les sciences exactes ; et, lorsqu’on dit qu’une quantité est fonction de plusieurs autres, on veut seulement dire qu’elle ne dépend au plus que de celles-là, sans prétendre qu’elle dépende de toutes dans tous les cas. Le rayon du cercle des points de la circonférence duquel peuvent partir les perpendiculaires est déterminé, en général, pour un polygone à construire d’une aire donnée ; mais, dans un cas particulier, ce rayon devient indéterminé s’il n’est pas impossible ; circonstance fort ordinaire dans les recherches mathématiques.
Que, par exemple, on demande de construire un quadrilatère dont les quatre côtés consécutifs soient
le problème sera indéterminé, parce qu’en général il faut cinq conditions pour déterminer un quadrilatère ; mais si, pour en lever l’indétermination, on exige en outre que les deux diagonales du quadrilatère à construire se coupent à angles droits, on trouvera aisément qu’alors le problème n’est possible qu’autant qu’on a
![{\displaystyle a^{2}+d^{2}=b^{2}+c^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afa69cd81caa40b7f7015fc8ff22516547892150)
et que, si les quatre côtés donnés satisfont à cette condition, le problème demeure indéterminé.
L’aire du polygone régulier donné est
![{\displaystyle {\frac {m}{2}}r^{2}\operatorname {Sin} .{\frac {2\pi }{m}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f44d90090bc9c916783b8f35539e3844ac4f7410)
mais, si l’on suppose
le point de départ des perpendiculaires sera le centre même de ce polygone, et le second polygone sera le polygone régulier formé par les droites qui joignent les milieux des côtés consécutifs de celui-là. L’aire de ce second polygone se réduira alors à
![{\displaystyle {\frac {m}{2}}r^{2}\operatorname {Cos} .^{2}{\frac {\varpi }{m}}\operatorname {Sin} .{\frac {2\varpi }{m}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f1b1ecc092fcb4a8f3df033640e72f17d9c1a7b)
comme on le trouverait d’ailleurs directement.
La distance
étant quelconque, plus
sera grand et plus le polygone régulier donné tendra à devenir un cercle ; donc aussi l’autre polygone tendra de plus en plus à devenir une ligne courbe ; et il le deviendra en effet lorsque
sera infini ; mais, dans ce cas, on aura
et ![{\displaystyle m\operatorname {Sin} .{\frac {2\varpi }{m}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/875e3a1d2c1664148f5793166cb165beb43622d6)
en conséquence, la surface terminée par cette courbe aura pour expression
![{\displaystyle \varpi r^{2}+{\frac {1}{2}}\varpi k^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8aba5d28fb449949b702d3dfb0ed068af0c9b460)
c’est-à-dire qu’elle excédera la surface du cercle donné d’une quantité égale à la moitié de la surface du cercle qui aurait à pour rayon. Cherchons l’équation de cette courbe.
Soit
![{\displaystyle x^{2}+y^{2}=r^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60b89b48ee74a19a6a664ae575f3bbf4fef7ea9d)
l’équation du cercle donné ; l’équation de la tangente en l’un quelconque
des points de sa circonférence sera
![{\displaystyle xx'+yy'=r^{2},\qquad \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e7087604ccc0726301483158eb939f44b5cccae)
(1)
sous la condition
![{\displaystyle x'^{2}+y'^{2}=r^{2}.\qquad \qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/00e548cd80b6c1a0fa6f591ef9be741c4e83409e)
(2)
Si d’un point fixe
nous abaissons une perpendiculaire sur cette tangente, l’équation de cette perpendiculaire sera
![{\displaystyle (x-a)y'-(y-b)x'=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7c685a4f05d20103b739a36a18b935bfd4bbb3a)
(3)
Si donc nous éliminons
et
entre ces trois équations, l’équation résultante en
et
sera celle du lieu des pieds de toutes les perpendiculaires, c’est-à-dire, l’équation de la courbe cherchée.
On tire des équations (1) et (3), par l’élimination alternative de
et
![{\displaystyle \left\{x(x-a)+y(y-b)\right\}x'=r^{2}(x-a),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b64bbfa24bbbec801d1addc021b3cdbdd269866d)
![{\displaystyle \left\{x(x-a)+y(y-b)\right\}y'=r^{2}(y-b)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/860cc2fe65054e13e974fec4255d411542b76949)
prenant la somme des quarrés de ces dernières, en ayant égard à l’équation (2) et divisant ensuite par
, on aura pour l’équation de la courbe dont il s’agit
![{\displaystyle \left\{x(x-a)+y(y-b)\right\}=r^{2}\left\{(x-a)^{2}+(y-b)^{2}\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb3b24355719f9c86689c5f97d81b90bdb3689e4)
Cette équation est celle de la courbe décrite par le sommet d’un angle droit mobile dont l’un des côtés est constamment tangent à un cercle, tandis que l’autre passe constamment par un point fixe pris sur le plan de ce cercle.
La solution que nous avons donnée du problème est sans doute fort différente de celle de M. Lhuilier, à en juger du moins par la manière dont ce géomètre a coutume de procéder dans ses divers ouvrages. Il y aura sans doute mis plus d’art et de finesse que nous, et aura par suite été plus brief. Mais nous pensons que notre solution n’en sera pas pour cela moins utile, précisément parce que c’est pour ainsi dire une solution terre-à-terre. Il importe en effet que les commençans se persuadent bien que, si beaucoup d’habitude et de sagacité peuvent être nécessaires pour traiter une question de mathématiques avec élégance et brièveté, l’analise algébrique met néanmoins aux mains des hommes les plus ordinaires toutes les ressources nécessaires pour arriver d’une manière plus ou moins rapide et pour ainsi dire mécanique, à la solution de tous les problèmes qui peuvent être proposés. Et, comme nous ne saurions nous promettre d’avoir toujours l’esprit convenablement disposé au moment même où nous avons besoin de résoudre un problème, le plus grand service que puissent nous rendre les sciences est de nous faire devenir machines par rapport à la plupart des objets dont nous avons à nous occuper ; d’autant que, comme l’a dit un écrivain philosophe, les machines ont sur l’intelligence le précieux avantage de n’éprouver ni distraction ni lassitude.
M. Lhuilier observe, avec beaucoup de raison, que ce n’est point savoir la science que de savoir simplement démontrer et résoudre les théorèmes et les problèmes qui se trouvent traités dans l’auteur qu’on a étudié, et qu’il est nécessaire que les jeunes gens s’exercent ensuite à aller d’eux-mêmes. C’est pourtant une chose tout-à-fait négligée dans la plupart des écoles publiques, et dont même on ne s’occupait nulle part il y a moins de quarante ans. Cela tient à ce que le plus souvent on confie l’enseignement à des hommes qui ont tout juste le degré d’intelligence nécessaire pour comprendre les auteurs qu’ils enseignent. Ce fâcheux état de choses ne pourra aller, au surplus, qu’en empirant, tant qu’on ne travaillera pas à former d’habiles professeurs ; et on en trouvera peu de tels à former aussi long-temps qu’on n’environnera pas les fonctions de l’enseignement d’une considération qui y attire des hommes capables et les dédommage des avantages qu’ils pourraient obtenir dans les autres carrières de la vie civile.
Lyon, le 17 mai 1824.