案例5 三角函数诱导公式的推导