Prove that 2cos(π/13)cos(9π/13) + cos(3π/13) + cos(5π/13) = 0.
Hint. Convert the product 2cos(pi/13)cos(9pi/13) to a sum first, then look for angles that are supplementary to the two remaining cosine terms.
2cosAcosB = cos(A-B)+cos(A+B), with A=pi/13, B=9pi/13: 2cos(pi/13)cos(9pi/13) = cos(-8pi/13)+cos(10pi/13) = cos(8pi/13)+cos(10pi/13). Now 8pi/13 = pi-5pi/13, so cos(8pi/13) = -cos(5pi/13); and 10pi/13 = pi-3pi/13, so cos(10pi/13) = -cos(3pi/13). Substituting: LHS = -cos(5pi/13)-cos(3pi/13)+cos(3pi/13)+cos(5pi/13) = 0.
✦ Working through each part gives: lHS = 0, matching the RHS.
