用微积分推导简谐运动的位移时间公式