现代控制理论基础里有关状态空间矩阵对角化的一个结论的推导

下面图片出不来请转https://www.bilibili.com/read/cv272268

我是那种书上没给证明的结论一定要自己推导一遍，否则心理面就感觉过意不去，今天学到了下面一个结论，并且书上没有给证明，我就试着自己去证明了下，我的证明是不严格的，但是意思表达清楚了。如果恰好有也在学这部分内容的小伙伴也不是很明白并且书上也没有证明的可以来看看，没有的话就当我自己复习一遍，更加熟记结论了。

上面证明有几步就省略了，我相信看到这个标题还进来看的你一定是学过线性代数的，里面涉及到的矩阵乘法，特征值，特征向量的求法，齐次线性方程组非零解的条件，线性无关的定义，矩阵的秩，矩阵的行列式与矩阵的秩之间的关系你都是知道的。