(b1,...,bt) = (a1,...,at) K
K=
1 1 ... 1
0 1 ... 1
.
0 0 ... 1
由于 |K|=1 ≠ 0
所以 K 可逆
所以 r(b1,...,bt) = r(a1,...,at) = t
所以 b1,b2…也线性无关
(b1,...,bt) = (a1,...,at) K
K=
1 1 ... 1
0 1 ... 1
.
0 0 ... 1
由于 |K|=1 ≠ 0
所以 K 可逆
所以 r(b1,...,bt) = r(a1,...,at) = t
所以 b1,b2…也线性无关