К определению окрестности мнимой оси, которая не пересекается со спектром действительного полинома

Для действительного полинома $f(z)=\sum_{\nu=0}^na_\nu z^\nu$ с корнями в правой (или, как следствие, в левой) полуплоскости оценивается расстояние от мнимой оси до спектра $f:\min\operatorname{Resp}(f)\ge-1/\operatorname{tr}(H_1H^{-1})>0$, где $H:=[a_{n+i-2j}]_{i,j=\overline{1,n}}$, $H_1:=[ka_k]$, $k:=n+i-2j+1$, $i,j=\overline{1,n}$ Библ. 4 назв.