线性代数问题,n阶矩阵A可对角化,a是它的一个特征值,xo是它对应的特征向量,证（aE-A)x=xo无解

线性代数问题,n阶矩阵A可对角化,a是它的一个特征值,xo是它对应的特征向量,证（aE-A)x=xo无解
其中E为单位矩阵

这主要是关于A“可对角化"这个性质的.如果你知道Jordan标准型,那么可以想象,如果
(aE-A)x=x_0
有解的话,那么A在化成Jordan型之后,涉及x_0的那部分不是对角化的,而是一个大一些的Jordan块.如果你还没有学Jordan型,有如下证法.
假设T^(-1)AT=D是n阶对角矩阵,那么D的特征值就一一对应于A的特征值,D的特征向量就是T^(-1)（左）乘A的特征向量,这可以直接看出来：Ax=ax推出D (T^(-1)x) = a (T^(-1)x).
因此u_0=T^(-1) x_0是D的特征向量,对应的特征值是a.假如
(aE-A)x=x_0的话,那么u=T^(-1)x满足
(aE-D)u=u_0.
但是对于对角矩阵D,这是不可能的.你可以直接把它写出来计算.过程是这样的（一直到这段的结尾.建议你不看,因为你自己可以算,看我的反而乱套）.对角矩阵的特征向量就是R^n中的坐标向量,也就是说,u_0的n个分量里,只有1个（比如说第k个）不是0,其余都是0.那么D在第k行第k列处的元素就是a,所以(aE-D)在第k行第k列处的元素是0,于是(aE-D)整个第k行、第k列都是0（它是对角矩阵）.那么对于任意u,(aE-D)u的第k个分量都是0,所以不能等于u_0.
对于楼上（还是应该叫楼下啊）,补充一下,你可以尝试A是非对角的一个Jordan块,比如A是2×2矩阵,只有右上角是1,其他都是0,a=0,x_0是列向量(1,0),它是A对应于a=0的特征向量.这时题述方程有解,并且任何列向量,只要第二个分量是-1,都是它的解.这时|aE-A|仍为0（参照你原先解答的第7行）.正如追问中所说,|aE-A|不为0,是有唯一解的条件,但现在的解不是唯一的.实际上,如果A不能对角化,对应于x_0的那块是个大的Jordan块的话,那么题述方程有解x,并且在x上面加上任意实数倍的x_0,都仍然是那个方程的解（这可以直接从x_0是特征值看出）,这是你在补充回答里面“有无数个解”的情形,在楼主的第二次追问中也给了个说法,不过那里他的那个x_0似乎不是A属于a的特征向量罢了.
再问： 下面的方法我看懂了，我学过Jordan，但为什么有解的话，就会不能对角化呢？或者说（入-a）就有重根呢（是这个意思吧）？
再答： 如果有解，那么就比如刚才说的，矩阵A是2×2的矩阵，右上角是1，其余三个数都是0，唯一的特征值是a=0，x_0是列向量(1,0)，这时那个解，x，只要第二个分量是-1就行了。这时候你看A是不能对角化的，实际上A自己已经是Jordan型了。 具体来讲，假设T^(-1) AT=D，其中D是A的Jordan型。那么A可以对角化的意思就是D是对角矩阵。这时候就是AT=TD。如果你把T的列向量记为x_1，x_2的话（我仍然暂时假设A是2×2的矩阵。一般的方阵也类似，但是度娘这里排版实在没法弄），D如果是对角矩阵diag(a_1,a_2)，那么就有 A x_1 = a_1 x_1； A x_2 = a_2 x_2， 如果D不是对角矩阵，那么D就形如 (a 1) (0 a)， 这时你把AT=TD写开，就成了 A x_1 = a x_1； A x_2 = x_1 + a x_2， 其中x_1就是特征向量，而x_2就是你所说的那个方程的解（拿x_1当x_0用），而那个方程就是这么得来的（我是说，因为这些原因，那个方程才会有人关注）。既然你学过Jordan型，那么你知道，假如A是个3×3的矩阵如下 (a 1 0) (0 a 1) (0 0 a)， 那么就还有个x_3满足(aE-A) x_3 = x_2。这样的x_2和x_3是所谓的广义特征向量（因为Jordan型是对角型的一般情形，对角型的时候称为特征向量）。 这个问题的背景大概就如上所述。你可以试着对一般的矩阵A，自己从头开始（从理论开始自己推，而不是套一个算法）找一个矩阵T使得T^(-1) AT是Jordan型，就可以理解为什么人们会关注上面的那些问题了。
再问： 我只看出来如果方程有解的话 可以存在一个T使得T-1AT=貌似Jordan标准型的非对角矩阵（一个主对角线元素任意，位于上方的次对角线为0或1，其他地方全为零的矩阵） 但是这个矩阵不一定是Jordan （我可笨了，你建议我找一个矩阵T使得T^(-1) AT是Jordan型，但是我只会对具体矩阵A求J，抽象我不会，还望不吝赐教）
再答： 你所说“这个矩阵不一定是Jordan”，是指的A本身不一定是Jordan型么？如果是，那么当然。我举那个例子只是为了方便，直接取A自己为Jordan型，免得再求一些难算的特征向量而已。 对于一般的情形，假如T^(-1) AT=D是Jordan型，那么AT=TD，然后把T的列向量记为x_1，...，x_n，则A (x_1 x_2 ... x_n) = (x_1 x_2 ... x_n) D，把它写开：左边是个n×n的矩阵，其中的列向量是Ax_1，Ax_2，...，Ax_n了；右边也是个n×n的矩阵，列向量是(x_1 x_2 ... x_n)乘以 『D的列向量』。而D的列向量都是(0,0,...,0,a,0,...,0)或者(0,0,...,0,1,a,0,...,0)这种样子的（排版问题，只好写成行向量的样子）。这样等式两边的对应列向量相等，就知道对于每个x_k，要么是 (1) A x_k = a x_k，其中a是D对角线上的第k个元素（这个时候在D里面，这个a上面的那个数是0)，要么 (2) A x_k = x_(k-1) + a x_k，其中a是D对角线上的第k个元素（这个时候在D里面，这个a上面的那个数是1)。所以T的这些列向量就是矩阵A的特征向量或者广义特征向量。为了把一个矩阵化成Jordan型，你大概知道是得求出这些向量，实际上就是在求T，以及D里面次对角线上哪些地方是1（就是满足上面方程(2)的对应的地方），哪些地方是0（就是满足上面方程(1)的对应的地方）。