三角函数公式及求导公式