弹性势能公式的推导过程如下：

基于胡克定律 ：

胡克定律指出弹簧的回复力与形变量成正比，公式表示为 $F = -kx$，其中 $F$ 为回复力，$k$ 为弹簧常数，$x$ 为形变量。

弹性势能 $E$ 可以看作是外力对弹簧做功的积累，即 $E = int F , dx$。

将 $F = -kx$ 代入上式，得到 $E = int -k , dx = -frac{1}{2}kx^2$。

由于弹性势能是正值，所以最终得到 $E = frac{1}{2}kx^2$。

基于能量守恒 ：

当弹簧被压缩或拉伸时，外力对弹簧做功，将动能转化为弹性势能。

设弹簧的伸长量为 $x$，外力为 $F$，则弹性势能 $E$ 可以表示为 $E = frac{1}{2}Fx$。

由于 $F = kx$，代入上式可得 $E = frac{1}{2}kx^2$。

基于势能定义 ：

势能定义为物体在保守力场中位置的能量。

对于弹簧，其势能可以表示为 $E = frac{1}{2}kx^2$，这是因为弹簧的势能与其伸长量的平方成正比，且比例系数为弹簧的劲度系数 $k$。

基于拉格朗日方程 ：

拉格朗日方程是分析力学中的一个重要方程，可以用来推导弹簧的弹性势能公式。

根据拉格朗日方程，弹簧的拉格朗日量 $L$ 为 $L = TV = frac{1}{2}mdot{x}^2 + frac{1}{2}kx^2$，其中 $m$ 为弹簧的质量，$dot{x}$ 为弹簧的伸长速度，$V$ 为弹簧的势能。

由于弹簧的势能 $V$ 与其伸长量的平方成正比，且比例系数为弹簧的劲度系数 $k$，因此 $E = frac{1}{2}kx^2$。

基于弹性力的推导 ：

弹簧的弹性势能等于自势能零点开始保守力做功的负值。

外力拉弹簧时，外力的功与弹簧反抗形变而施于外界之力做的功大小相等而符号相反，因此，弹性势能等于自势能零点开始外力做功的正值。

取弹簧自由端为势能零点，设弹簧在外力 $F$ 的作用下发生形变量 $x$，将这个形变过程等分成很多小段，每一小段中可近似认为拉力是不变的。

拉力的总功为 $W = kx^2/2$，因此弹性势能 $E = W = frac{1}{2}kx^2$。

综上所述，弹性势能公式 $E = frac{1}{2}kx^2$ 可以通过多种方法推导得出，包括基于胡克定律、能量守恒、势能定义、拉格朗日方程以及弹性力的推导。这些方法都得到了相同的结果，验证了公式的正确性。