展开 三角函数公式与推导过