高中物理简谐运动的基本公式有哪些?怎么推导的