フックの法則
See. Hooke's law is the potential energy of the spring itself: