Prove that: 1. 2cos π/13 cos 9π/13 + cos 3π/13 + cos 5π/13 = 0