Re: cos(pi/9) cos(2pi/9) cos(4pi/9) = 1/8
Sujet: Re: cos(pi/9) cos(2pi/9) cos(4pi/9) = 1/8
De: denis.feldmann.sansspam (l' arobase) neuf.fr (Denis Feldmann)
Groupes: fr.sci.maths
Organisation: Club-Internet / T-Online France
Date: 24. Sep 2008, 15:34:02
Quelque chose de plus abstrait, donc de plus général : utiliser le polynôme de Chebyshev qui va bien ( cos(9 Arc cos X) ici, si je ne m'abuse), dont les racines sont les cos cherchés, et se rappeler de la formule donnant le produit des racines...
| Date | Sujet | | Auteur |
| 01.01. |  | | |
|
