问题 2021S07

依赖于

被以下题目直接调用

问题 2021S07

为有理数, 使得

为奇异阵. 证明: .

解答

的友阵, 则 , 从而 . 由 A 奇异可知, 存在非零向量 , 使得 . 又 是 C 的特征多项式, 故由 Cayley-Hamilton 定理可知 . 下面用反证法来证明. 若 不全为零, 则 是一个非零有理系数多项式, 满足 . 另一方面, 容易验证 没有有理根, 故 在 Q 上不可约, 于是 . 因此, 存在 , 使得 . 在上式中代入 x = C, 并作用在 上有

这与 矛盾! 事实上, 本题是例 5.80 的变种. 也可以用特征值来直接证明结论. 设 的特征值为 , 则 的特征值为 . 由 奇异可知 至少有一个特征值为零, 不妨设 . 由于 的特征多项式 上不可约, 故 的极小多项式, 于是 , 从而 , 即有 .