常识点有二：1. 从秩的视点描写向量组等价；2. 初等改换之前部队式开道，尽量削减字母型矩阵的初等改

换，数字型矩阵无所谓。