简谐运动微分方程推导