用一下相抵标准型就行了.存在阶数分别为m,r,r,n的可逆矩阵P1,Q1,P2,Q2,使得F=P1[I_r,0]Q1G=P2[I_r;0]Q2那么FG=P1[Q1P2,0;0,0]Q2这个不是最基本的相抵变换吗,可以用Gauss消去法实现对任何矩阵A,总存在可逆阵P,Q使得PA...

如图~