L.H.S.=2cosπ13cos9π13+cos3π13+cos5π13=cos(9π13+π13)+cos(9π13−π13)+cos3π13+cos5π13=cos(10π13)+cos(8π13)+cos3π13+cos5π13=cos(10π13)+cos(8π13)+cos(π−10π13)+cos(π−8π13)
=cos(10π13)+cos(8π13)−cos(10π13)−cos(8π13) {∵cos(π−x)=−cos x}
=0=R.H.S.
Hence proved.