推导弹性势能的表达式

类比于研究匀变速直线运动的求位移的方法，将弹簧的形变过程分成很多小段，每一小段中近似认为拉力是不变的。通过细分过程化变力为恒力，再利用功的定义求解。