cos(2pi/7)+cos(4pi/7)+cos(6pi/7)=1/2

Помогите плиз, пробовал через формулы суммы, половинного угла, двойного, но ничего не выходит(

Да, и если вас не затруднит, посмотрите пожалуйста эту тему...