Sujet: Re: cos(pi/9) cos(2pi/9) cos(4pi/9) = 1/8
De: astanoff (l' arobase) gmail.com (Valeri Astanoff)
Groupes: fr.sci.maths
Organisation: http://groups.google.com
Date: 24. Sep 2008, 11:26:16
On 24 sep, 11:57, "Cenekemoi" <thie...@no.spam.invalid> wrote:
Bonjour à Valeri Astanoff <astan...@gmail.com> qui nous a écrit :
Bonjour à tous,
Je sèche avec mon neveu sur la démonstration de cette identité.
Quelqu'un pourrait-il nous mettre sur la voie?...
par exemple :http://www.ilemaths.net/forum-sujet-120445.html
Merci pour le lien.
(le "membre geo3" est manifestement assez dégourdi en trigo!)
v.a.
