简谐运动的证明与周期计算