Ich sehe gerade, dass ich das formuliert hatte.
Es ist das Integral über die Kraft aber ds.
Und die Kraft der Feder ist ja
Federkonstante * Auslenkung und die
Auslenkung ändert sich ja beim Entspannen der
Feder dauernd. Also ist es k*s.
Deshalb: Integral über k*s ds
von x bis 0.