TRIGONOMÉTRIE.
Note sur le problème de la trisection de l’angle ;
M. Querret, professeur de Mathématiques transcendantes
à la faculté des sciences de Montpellier.
≈≈≈≈≈≈≈≈≈
On sait qu’en désignant par
un angle quelconque, on a
![{\displaystyle \operatorname {Sin} .3\alpha =3\operatorname {Sin} .\alpha -4\operatorname {Sin} ^{3}\alpha ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80a37469f59bd73adf3d8686ce9a7ccb4616f1a6)
d’où, en posant,
et ![{\displaystyle \operatorname {Sin} .\alpha =x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15ac1c90f5e6a06f92017dbf1935c1c31c1cf62d)
![{\displaystyle x^{3}-{\frac {1}{4}}x+{\frac {1}{2}}m=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0547fae77618e0fdca81f47cd1176283eda61f94)
(1)
On démontre ordinairement que cette équation a ses trois racines réelles, soit par la considération de la multiplicité des angles auxquels répond un même sinus, soit en faisant voir qu’elle tombe dans le cas irréductible.
Mais on peut aussi déduire immédiatement cette vérité de la forme même de l’équation qu’il s’agit de résoudre. Et d’abord, comme elle est d’un degré impair, elle doit avoir au moins une racine réelle.
En second lieu, paçce que
est un nombre plus petit que l’unité, on doit avoir
![{\displaystyle 1>{\frac {3}{4}}\mp {\frac {1}{4}}m\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cea17ea270085c6c2d5e373f307df4ca3ab4e7e)
ce qui donne
![{\displaystyle 1-{\frac {3}{4}}+{\frac {1}{4}}m>0,\qquad -1+{\frac {3}{4}}-{\frac {1}{4}}m<0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e8d9a68a493d90e7b6b25070020862cd884bb77)
or les premiers membres de ces inégalités ne sont autre chose que les résultats de la substitution de
et
à la place de
dans le premier membre de l’équation (1) ; donc, soit que cette équation ait trois racines réelles soit qu’elle n’en ait qu’une seule, elle doit avoir une racine réelle comprise entre
et ![{\displaystyle -1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c1ae9e73ea72a95921a7fbeba221311687f1367)
Or tout nombre abstrait compris entre
et
peut être considéré comme le sinus tabulaire d’un certain angle, d’où il suit que nous pouvons représenter une des racines de l’équation (1) par
ce qui donnera la condition
![{\displaystyle \operatorname {Sin} .^{3}\alpha -{\frac {3}{4}}\operatorname {Sin} .\alpha +{\frac {1}{4}}m=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0271a64c26bf957637e1f06f2b398f73047a30c)
(2)
Or on peut prouver que, l’angle
étant pris de manière à satisfaire à cette condition,
et
seront les trois racines de la proposée, ou, en d’autres termes, que l’équation (1) sera identique avec
![{\displaystyle \left\{x-\operatorname {Sin} .\alpha \right\}\left\{x-\operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)\right\}\left\{x-\operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)\right\}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2838438239e3c180c095be82b03b22a0df32ab41)
(3)
ou, en multipliant, avec
![{\displaystyle {\begin{array}{r|r|r}x^{3}\qquad -\operatorname {Sin} .\alpha &x^{2}+\operatorname {Sin} .\alpha \operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)&x-\operatorname {Sin} .\alpha \operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)\times \\&&\operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)=0,\\-\operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)&+\operatorname {Sin} .\alpha \operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)&\\\\-\operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)&+\operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)\left({\frac {4}{3}}\varpi +\alpha \right)&\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e7afedf0c132a4d69e2bba8c248e08b4349555b)
équation dans laquelle il s’agit présentement d’exécuter les réductions.
Or, en vertu du théorème
on a d’abord
![{\displaystyle \operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)+\operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)=2\operatorname {Sin} .(\varpi +\alpha )\operatorname {Cos} .{\frac {1}{3}}\varpi =-\operatorname {Sin} .\alpha ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bb76588985597fd900e066d7d55b8cec2da6c0c)
au moyen de quoi le coefficient de
s’anéantit. On conclut ensuite de là
![{\displaystyle \operatorname {Sin} .\alpha \operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)+\operatorname {Sin} .\alpha \operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)=-\operatorname {Sin} .^{2}\alpha \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27f06a093071e2a46237d0b0fae3eaccbf0d2a4f)
d’un autre côté, parce que ![{\displaystyle \operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)=-\operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab3b2187f3ff144c4aa8ee645801cbb87b9ba0a2)
![{\displaystyle \operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)\operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)=-\operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)\operatorname {Sin} .\left({\frac {2}{3}}\varpi -\alpha \right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6eeb9b2a0c3ced6bfb03040148e8e533a4a6b5c2)
ou par la formule ![{\displaystyle \operatorname {Sin} .(p+q)\operatorname {Sin} .(p-q)={\frac {1}{2}}(\operatorname {Cos} .2q-\operatorname {Cos} .2p),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff1ef5e34e96ce7b0f831d661d52b646e7b29a92)
![{\displaystyle \operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)\operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)={\frac {1}{2}}\left(\operatorname {Cos} .{\frac {4}{3}}\varpi -\operatorname {Cos} .2\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c77f02203fd088784d8e2d0b61046b743c7bd526)
ou bien
![{\displaystyle \operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)\operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)=-{\frac {1}{4}}-{\frac {1}{2}}+\operatorname {Sin} .^{2}\alpha =-{\frac {3}{4}}+\operatorname {Sin} .^{2}\alpha \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c96fa6590e2e0de0e62685a56f2476a7e405cefa)
au moyen de quoi le coefficient de
se réduit à ![{\displaystyle {\frac {3}{4}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d3d0b89a38f17da8c3c589f243c1916a39ac09a)
Enfin, d’après ce dernier résultat
![{\displaystyle \operatorname {Sin} .\alpha \operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)\operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)=-\operatorname {Sin} .\alpha \left({\frac {3}{4}}-\operatorname {Sin} .^{2}\alpha \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e6658c7c7350bb657cba97f0655849478c6f192)
ou encore (2)
![{\displaystyle \operatorname {Sin} .\alpha \operatorname {Sin} .\left({\frac {2}{3}}\varpi +\alpha \right)\operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right)=\operatorname {Sin} .^{3}\alpha -{\frac {3}{4}}\operatorname {Sin} .\alpha =-{\frac {1}{4}}m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a32d99c2f5bad497a01ce02f5d896c37b067022)
de sorte que le dernier terme se réduit à
L’équation réduite est donc finalement
![{\displaystyle x^{3}-{\frac {3}{4}}x+{\frac {1}{4}}m=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b8ad847fb64198760898f6267a0692d88bfec04)
c’est-à-dire exactement la même que la proposée qui, conséquemment doit, comme elle, avoir pour ses trois racines,
et ![{\displaystyle \operatorname {Sin} .\left({\frac {4}{3}}\varpi +\alpha \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/660c9a08a5db40332a2b908fca64c9257f7be61d)
Si l’on avait
ou
ce qui pourrait être, l’équation deviendrait
![{\displaystyle x^{3}-{\frac {3}{4}}x+{\frac {1}{4}}m=0\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/90e7ebbb6a5bb4329d2c64a051e190c8457b6cbd)
ou
![{\displaystyle \quad x^{3}-{\frac {3}{4}}x-{\frac {1}{4}}m=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d514672ea655305ae2ba49e816d972c0f3ad938)
elle serait satisfaite par
ou
on aurait donc
ou
les trois racines seraient donc
![{\displaystyle \operatorname {Sin} .{\frac {1}{6}}\varpi ,\ \operatorname {Sin} .{\frac {5}{6}}\varpi ,\ \operatorname {Sin} .{\frac {9}{6}}\varpi ,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/aeceebb0f9e9c30ba9d0946cedd96a19e22de151)
ou
![{\displaystyle \quad \operatorname {Sin} .{\frac {1}{2}}\varpi ,\ \operatorname {Sin} .{\frac {7}{6}}\varpi ,\ \operatorname {Sin} .{\frac {11}{6}}\varpi \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2fdbc0a08108bf934419ba65c477737487259f6)
ou bien encore
![{\displaystyle +{\frac {1}{2}},+{\frac {1}{2}},-1\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d22341d4e52246a75916655417a6bebf159c4d5)
ou
![{\displaystyle \quad +1,-{\frac {1}{2}},-{\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b042901b61073af2c6f591913cb56fe3c9ac18d4)
c’est-à-dire que, dans l’un et dans l’autre cas, elle aurait deux racines égales. On parviendrait à la même conclusion en divisant l’équation par
ou par
le quotient serait
![{\displaystyle \left(x-{\frac {1}{2}}\right)^{2}=0\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/724d850c8acfb16b41bc7fd5bf39d0ee000fb2a2)
ou
![{\displaystyle \quad \left(x+{\frac {1}{2}}\right)^{2}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b77bbfad6269df5b52326f354069db7fa885570)
On pourrait employer le même procédé pour démontrer la réalité de toutes les racines de l’équation
![{\displaystyle x^{5}-{\frac {5}{4}}x^{3}+{\frac {5}{16}}x-{\frac {1}{16}}m=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ead086ab8e3036f00e2f5ff73d68b41e723cb6bf)
à laquelle conduit le problème de la quintisection de l’angle ; mais, comme le calcul est un peu long, nous ne nous y arrêterons pas.