那个一个很重要的变形公式,叫一角一函数 也叫什么合异变形的,就是大多数是sinx+cosx 的形式的 那公式是什么来的?