利用存在n个无关特征向量和秩不等式证明可对角化

先来看引理

引理证明 分块矩阵广义初等变换

最后来看本题证明

可以再补充一个问题