如何证明简谐运动?