破解两道较复杂三角函数小题

立方和公式，完全平方公式，多次积化和差，反证法。

三倍角公式，求导。