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: imm (l' arobase) e.fr (Immae)
Groupes: fr.sci.maths
Organisation: Ecole Normale Superieure, Paris
Date: 24. Sep 2008, 10:54:41
En utilisant le fait que cos(x) = 1/2*(exp(i*x) + exp(-i*x)) pour tout
x réel, ça fait quelques calculs mais ça marche.
Sinon, tu peux utiliser cos(2x) = cos(x)^2 - sin(x)^2, mais ça demandera
peut-être de calculer cos(pi/9) (à vérifier, je n'ai pas essayé)
| Date | Sujet | | Auteur |
| 01.01. |  | | |
|
