简谐运动表达式的推导过程