salut tt monde si en multiplie l'equation par s(pi/7) on trouve que sin(pi/7)(cos(pi/7)-cos(2pi/7)+cos(3pi/7))=1/2sinpi/7
donc on a (1) sin(pi/7)*cos(pi)/7 =1/2sin(2pi/7)
est on a (2) sin(pi/7)*cos(2pi/7)=1/2(sin(3pi/7)-sin(pi/7))
(3) cos(3pi/7)*sin(pi/7)=1/2(sin(4pi/7)-sin(2pi/7) alors
1-2+3 en trouve que
sin(pi/7)(cos(pi/7)-cos(2pi/7)+cos(3pi/7))=1/2(sin(pi/7)+sin(4pi/7)-sin(3pi/7)) donc nous savons que sin(4pi/7)=sin(3pi/7)
alors on conclure que
cos(pi/7)-cos(2pi/7)+cos(3pi/7)=1/2