谁知道哪里有劳斯稳定判据的严格数学论证啊?自动控制原理

Δ(S)=an(S+r1)(S+r2) …(S+rn)=anSn+an(r1+r2+…+rn)Sn-1+n n 1 2 n+an(r1r2+r2r3+r1r3+…)Sn-2+n-3+an(r1r2r3+r1r2r4+r1r2r5+…)Sn-3+…+a r r r r+anr1r2r3…rn=anSn+an(所有根之和)Sn-1+n n+an(所有根两两乘积之...谢谢，请问哪本书上有啊。自动控制原理上都没有。n次多项式根与系数的关系，复变函数的书也没有啊。现代控制系统 英文 Dorf 第12版 Modern Control Systems