一个 必要 和 充分 条件，使得一个 特征值 的 实 
矩阵 
具有 负 实部，是方程
 |
有一个解，其中 
是一个 
矩阵，且 
是一个 正定二次型。
李雅普诺夫第一定理
使用 Wolfram|Alpha 探索
参考文献
Gradshteyn, I. S. 和 Ryzhik, I. M. Tables of Integrals, Series, and Products, 6th ed. San Diego, CA: Academic Press, p. 1122, 2000。在 Wolfram|Alpha 中被引用
李雅普诺夫第一定理请按如下方式引用
Weisstein, Eric W. “李雅普诺夫第一定理。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/LyapunovsFirstTheorem.html