展开 三角函数的推导公式