sin函数诱导公式的用法