Thanks vafa, very clear working. But may I ask, how does (cos pi/7)(cos 2pi/7)(cos 3pi/7) equate to (cos 2pi/7)(cos 4pi/7)(cos 6pi/7) as ninetypercent stated? Now I know that both yield 1/8, but exactly can they be proved to be equivalent (other than just stating that their values are the same)?