三角函数降幂公式.