本文利用万有Ｄ′Ａｌｅｍｂｅｒｔ原理和反函数定理得到了可控变质量高阶非完整系统Ｂｏｌｔｚｍａｎｎ—Ｈａｍｅｌ方程的Ｎｉｅｌｓｅｎ形式，证明了该方程与广义Ｎｉｅｌｓｅｎ形式的等价性。......