微积分 竖直方向弹簧振子的能量