简谐运动的周期公式是谁提出的