勞斯陣列的推導

勞斯陣列是劳斯–赫尔维茨稳定性判据中，用來判斷系統是否穩定的方式，是透過系統的特徵多項式係數所建立的陣列。勞斯陣列和是古典控制理論的核心，結合了歐幾里得算法和施图姆定理來計算。

柯西指標 
給定系統

 

假設的根都不在虛軸上，並且令

  = 是的根的實部為負數的個數，
  = 是的根的實部為正數的個數，

因此可得
 

將以極座標型式表示，可得

 

其中
 

且
 

根據(2)會發現

 

其中

 

若的第i個根的實部為正，則（用y=(RE[y],IM[y])的表示法）

  

且

 

且

 

同樣地，若的第i個根的實部為負，

  

且

 

且

 

由(9)至(11)式可知，若的第i個根實部為正，則，由(12)至(14)式可知，若的第i個根實部為負，則。因此

 

若定義

 

則可以得到以下的關係

結合(3)式及(17)式可得

 且

因此，給定次的方程，只需要計算，就可以得到根的實部為負的個數，以及根的實部為正的個數。

配合(6)式及圖1，相對的圖，將在區間(a,b)之間變化，其中，而，都是的整數倍，若此變化會使函數增加，表示在從點a到點b的過程中，從「跳到」的次數比從「跳到」的次數多一次。相反的，此變化會使函數減少，表示在從點a到點b的過程中，從「跳到」的次數比從「跳到」的次數少一次。

因此，是從跳到的次數，減掉同函數從跳到的次數，兩者差的倍。假設在處，有定義

若起始點是在不連續點（, i = 0, 1, 2, ...），則因為公式(17)（和都是整數，因此也是整數），其結束點也會在不連續點。此時可以調整指標函數（正跳躍和負跳躍的差值）的計算方式，將正切函數的X軸移動，也就是在上加。此時的指標函數在各種的係數組合下都有定義，就是在起始點（及結束點）連續的區間(a,b) = 內計算，再在起始點連續的區間，計算

 

差值是從正跳躍和負跳躍的差值，若計算從到所產生的差值，即為相角正切的，其相角為或，視是否是的整數倍而定。

勞斯準則 
為了要推導勞斯準則，會將的奇次方項和偶次方項分開來列：

 

因此可得到

 

若為偶數：

若為奇數：

 

可以看出若為奇數，根據(3)式，為奇數。若為奇數，也是奇數。同樣的，若 是偶數，也是偶數。(15)式可以看出若是偶數，是的整數倍。因此在為偶數時，有定義，是n為偶數時使用的正確指標，在而在為奇數時，有定義，也是n為奇數時使用的正確指標。 

因此，根據(6)式及(23)式，為偶數時：

 

因此，根據(19)式及(24)式，為奇數時：

因此可以計算相同的柯西指標：

參考資料
Hurwitz, A., "On the Conditions under which an Equation has only Roots with Negative Real Parts", Rpt. in Selected Papers on Mathematical Trends in Control Theory, Ed. R. T. Ballman et al.  New York: Dover 1964
Routh, E. J., A Treatise on the Stability of a Given State of Motion.  London: Macmillan, 1877.  Rpt. in Stability of Motion, Ed. A. T. Fuller.  London: Taylor & Francis, 1975
Felix Gantmacher (J.L. Brenner translator) (1959) Applications of the Theory of Matrices, pp 177–80, New York: Interscience.

文中证明
控制理论
信号处理
多項式