用分析法,欲证原式,则证cos40(cos10+√3sin10)=cos10=sin80=2sin40cos40即证(cos10+√3sin10)/2=sin40即证sin30cos10+cos30sin10=sin40根据两角和三角函数的展开式,显然成立。所以原式得证。