在《线性代数》中，相似矩阵是一个核心概念。两个方阵A和B若满足存在可逆矩阵P，使得P⁻¹AP = B，则称A与B相似。本文将以一道具体题目为例，详细阐述相似矩阵的判定与计算过程。
题目： 已知矩阵 A = [[1, 2], [0, 1]]， B = [[1, 0], [1, 1]]，判断A与B是否相似。若相似，求出可逆矩阵P；若不相似，说明理由。
第一步：相似的必要条件——特征值相同
我们检查矩阵A与B是否拥有相同的特征值。这是两个矩阵相似的必要条件（但非充分条件）。
对于矩阵A：
其特征多项式为 |λE - A| = |λ-1, -2; 0, λ-1| = (λ-1)²。
因此，矩阵A的特征值为 λ₁ = λ₂ = 1（二重根）。
对于矩阵B：
其特征多项式为 |λE - B| = |λ-1, 0; -1, λ-1| = (λ-1)²。
因此，矩阵B的特征值也为 λ₁ = λ₂ = 1（二重根）。
特征值相同，满足相似的必要条件，我们需进一步判断。
第二步：进一步判断相似性
对于特征值全相同的方阵，常用的判断方法是考察其若尔当标准型（或考察其几何重数/代数重数）。
- 对于矩阵A：
求解齐次线性方程组 (1·E - A)X = 0，即 [[0, -2], [0, 0]]X = 0。
解得基础解系为 α = [1, 0]ᵀ。
因此，特征值1对应的特征子空间维数（即几何重数）为1，而其代数重数为2。几何重数小于代数重数，故矩阵A不可对角化。其若尔当标准型为 J = [[1, 1], [0, 1]]（一个二阶若尔当块）。
- 对于矩阵B：
求解齐次线性方程组 (1·E - B)X = 0，即 [[0, 0], [-1, 0]]X = 0。
解得基础解系为 β = [0, 1]ᵀ。
因此，特征值1对应的几何重数也为1，代数重数为2。矩阵B同样不可对角化。其若尔当标准型同样为 J = [[1, 1], [0, 1]]。
由于两个矩阵拥有相同的若尔当标准型（且均为二阶若尔当块），根据相似矩阵的性质（相似的矩阵有相同的若尔当标准型），可以判定矩阵A与矩阵B相似。
第三步：求解可逆矩阵P
设存在可逆矩阵P，使得 P⁻¹AP = B。
这等价于求解矩阵方程 AP = PB。
设 P = [[a, b], [c, d]]，代入方程：
[[1, 2], [0, 1]] [[a, b], [c, d]] = [[a, b], [c, d]] [[1, 0], [1, 1]]
计算左右两边：
左边 = [[a+2c, b+2d], [c, d]]
右边 = [[a+b, b], [c+d, d]]
对应元素相等，得到方程组：
① a+2c = a+b => b = 2c
② b+2d = b => 2d = 0 => d = 0
③ c = c+d => 自动满足（因d=0）
④ d = d => 自动满足
将 d=0 和 b=2c 代入，并确保P可逆（即行列式 ad - bc ≠ 0）。
此时 P = [[a, 2c], [c, 0]]，其行列式 det(P) = a0 - (2c)c = -2c²。
为使P可逆，需 det(P) ≠ 0，即 c ≠ 0。
我们可以取一组简单的非零值，例如令 c=1, a=1，则 b=2, d=0。
因此，得到一个满足条件的可逆矩阵 P = [[1, 2], [1, 0]]。
验证：
计算 P⁻¹ = (1/(0-2)) [[0, -2], [-1, 1]] = [[0, 1], [0.5, -0.5]]。
计算 P⁻¹AP = [[0, 1], [0.5, -0.5]] [[1, 2], [0, 1]] [[1, 2], [1, 0]]。
先计算中间步骤 AP = [[1, 2], [0, 1]] [[1, 2], [1, 0]] = [[3, 2], [1, 0]]。
再计算 P⁻¹(AP) = [[0, 1], [0.5, -0.5]] * [[3, 2], [1, 0]] = [[1, 0], [1, 1]]。
结果确实等于B，验证正确。
结论：
矩阵A与矩阵B相似。满足 P⁻¹AP = B 的可逆矩阵P不唯一，其中一个例子是 P = [[1, 2], [1, 0]]。
**** 判断两个矩阵是否相似，通常遵循以下步骤：1) 检查特征值是否相同（必要条件）；2) 若特征值相同，进一步比较若尔当标准型（或可对角化性质及特征子空间维数）。若两者完全相同，则矩阵相似。求解变换矩阵P时，通常通过解矩阵方程 AP = PB 来实现。
