2cos13πcos139π+cos133π
+cos135π=cos(13π+139π)+cos(13π−139π)
+cos133π+cos135π
∵2cosAcosB=cos(A+B)+cos(A−B)
=cos1310π+cos(−138π)+cos133π+cos135π
=cos1310π+cos138π+cos133π+cos135π
∵cos(−θ)=cosθ
=cos(π−133π)+cos(π−135π)+cos133π+cos135π
=−cos133π−cos135π+cos133π+cos135π
=0