研究首先,建立转动相对论系统的约束Birkhoff方程;其次,利用等时变分与非等时变分之间的关系建立系统的非等时变分方程;然后,研究转动相对论Birkhoff约束系统的第一积分与积分不变量之间的关系,证明由系统的一个第一积分可以构造一个积分不变量,并给出自由Birkhoff系统的相应结果;最后,讨论转动相对论Hamilton系统、相对论Birkhoff系统和Hamilton系统、经典转动系统和等时变分情形下的积分不变量的构造,结果表明相关的结论均为该定理的特款给出一个例子说明结果的应用