一体系是有n个自由度的几何可变体系,加入n个约束后就成为无多余约束的几何不变体系