This is derivation, which is different from using momentum to define force. That definition actually has many benefits in Hamiltonian mechanics. The key challen

This is derivation, which is different from using momentum to define force. That definition actually has many benefits in Hamiltonian mechanics. The key challenge is to intuitively understand why such definition makes intuitive sense.