5.2.1 三角函数的简化公式