다음의 증명에서, qj 는 generalized coordinate 이고, qj 의 닷은 generalized velocity 이다.