Prove that:
2cosπ13cos9π13+cos3π13+cos5π13=0
We have L.H.S.
= 2 cos π13 cos 9π13+ cos 3π13+ cos 5π13
= cos (9π13+π13)+cos(9π13−π13)+cos3π13+cos5π13
[∵ 2 cos A cos B = cos (A+B) + cos (A-B)]
= cos 10π13+ cos 8π13 + cos 3π13 + cos 5π13
= cos (π−3π13)+cos(π−5π13)+cos3π13+cos5π13
[∵cos(π−θ)=−cosθ]
=- cos 3π13−cos5π13+cos3π13+cos5π13 = 0
= R.H.S.