正交矩阵中列向量正交,为什么行向量一定正交？

证明：
设A=[a1...an]
a1..an是一组线性无关的列向量
经过施密特标准正交化后
B=[b1...bn] b1..bn是标准正交的列向量组
所以 BTB=[b1T]
.. * [b1..bn]= E.....(1) E是单位阵 T表示转置
[bnT]
B=[c1] b1..bn是B的行向量组
..
[cn]
将(1)两边取转置
B*BT=E
[c1]
.. * [c1T...cnT]=E
[cn]
根据分块矩阵乘法
[c1c1T c1c2T ...c1cnT]
... = E
[cnc1T cnc2T ... cncnT]
所以
(ci,cj)=cicjT= 1 i=j 这里cicj是行向量
0 i不等于j
上式说明B的行向量组是一组标准正交的向量
即证

这个你们没证明过？
若一个方阵的行向量是正交的则列向量都是正交的。

因为阵是满秩的。