前提是你得知道矩阵通过一系列 (有限步) 行初等变换可以转化到阶梯型, 而对于方阵而言阶梯型一定是上三角阵, 所以只要证明那一系列行变换都是三角矩阵就行了.
第二类初等变换是对角阵, 第三类初等变换是三角矩阵, 唯有第一类变换需要验证
事实上第一类初等变换可以用另外两类变换来表示, 见
http://zhidao.baidu.com/question/363611351.html追问1.对第一类初等变换证明看了好几遍,还是看不懂啊%>_<%?
追答用 [a,b;c,d] 表示
a b
c d
那么
[0,1;1,0] = [1,0;0,-1] * [1,0;-1,1] * [1,1;0,1] * [1,0;-1,1]
本回答被提问者采纳