简谐运动表达式推导