Gọi k là hệ số đàn hồi của lò xo, ℓ0 là chiều dài tự nhiên của lò xo, ℓ là chiều dài của lò xo tại thời điểm khảo sát. Lực đàn hồi của lò xo có biểu thức nào sau đây?