AP wrote:
"Michaël Grünewald" <michaelgrunewald@yahoo.fr> a écrit dans le message de
Variante:
cos(2pi/9) cos(4pi/9) cos(8pi/9) = - 1/8
pour cos(2pi/9) cos(4pi/9) cos(8pi/9) = - 1/8
idem en considérant T_5-T_4 qui lui est de degré 5
Autrement, je suis tombé sur cette relation en développant les cosinus de Valeri en exponentielles complexes. On trouve 1/8 fois la somme des racines 9èmes de l'unité hormis 1.
--
Michaël
