高中常用的三角函数公式有哪些?在什么地方应用?