一个非零距阵所对应的行简化接阶梯距阵唯一

其秩(rank,我不知道你们学的是不是叫秩）是固定的，故化为标准型是一定的，至于梯形阵，我不太清楚你所用的定义，不过我猜就是row echelon form（REF）,可以通过对化简为REF形式的过程的归纳加以证明。