pourtant c´est juste...
car
cos(pi/15) = cos(pi/15) [oui, je sais c´est c*n mais c´est pour expliquer]
cos(29.pi/15)
= cos(29.pi/15 - 2.pi) [car cos(a-2.pi) = cos(a)] = cos(-pi/15)
= cos(pi/15) [car cos(-a) = cos(a)]
cos(13.pi/30) = cos(13.pi/30)
cos(17.pi/30) = - cos(17.pi/30 - pi) [car cos(a-pi) = - cos(a)]
= - cos(-13.pi/30)
= - cos(13.pi/30) [car cos(-a) = cos(a)]
donc si on fait le total on a
cos(pi/15) + cos(pi/15) + cos(13.pi/30) - cos(13.pi/30) = 2.cos(pi/15)
CQFD