谁还记得这个公式怎么推出来的?(三角函数)