Bổ đề:Tính tổng hữu hạn của A=cos x+cos 2x+...+cos nxA=12sinx2.2sinx2(cosx+cos2x+...cosnx)
A=12sinx2(sin3x2−sinx2+sin5x2−sin3x2+sin7x2−sin5x2+...+sin(2n+1)x2−sin(2n−1)x2.
A=12sinx2(sin(2n+1)x2−sinx2)
A=12sinx2.2cos(n+1)x2.sinnx2
Áp dụng bổ đề trên với n=2014(để ý sinx2=0 khôg là nghiệm) ta được cos2015x2.sin2014x2=−12.sinx2
⇔12sin4029x2−12sinx2=−12sinx2
⇔sin4029x2=0