例 3.82

依赖于

  • 无显式依赖

被以下题目直接调用

例 3.82

阶实反对称阵, 是同阶对角阵且主对角元素全大于零,求证:。特别地,,从而 都是非异阵。

解答

证明 先证明 ,只需证明 只有零解。因为 ,转置可得 ,上述两式相加即得 。若设 ,则有

由于 都大于零并且 都是实数,故只能是 ,即有

再证明本题的结论。设 ,则 是关于 的多项式,从而是关于 的连续函数。注意到对任意的实数 仍是实反对称阵,故由上面的讨论可得

上处处不为零的连续函数。注意到当 时,,因此 只能是 上取值恒为正数的连续函数。特别地,