摘要

在n维空间Rn中证明了约束x2+y2+z2=v0是可积微分约束,速度为常数的质点将在n维Riemann空间Rn中沿测地线作匀速运动.