Пусть у нас есть матрица
![$\mathbf A$ $\mathbf A$](https://dxdy-02.korotkov.co.uk/f/1/f/9/1f932ce252dc49d856218165fa7a0b4b82.png)
c характеристическим многочленом вида
![$\varphi_{\mathbf A}(\lambda) = (\alpha_0 - \lambda)^n$ $\varphi_{\mathbf A}(\lambda) = (\alpha_0 - \lambda)^n$](https://dxdy-03.korotkov.co.uk/f/2/0/3/2036d8b68a3d11d322c72e39d284adb882.png)
, тогда в ЖНФ все клетки будут иметь на диагонали
![$\alpha_0$ $\alpha_0$](https://dxdy-02.korotkov.co.uk/f/1/4/4/1444c1b272ccbb529a05e07463acf38682.png)
. Если обозначить за
![$m_i$ $m_i$](https://dxdy-01.korotkov.co.uk/f/4/7/b/47b592a798cd56ccf668b67abad36a6182.png)
количество жордановых клеток порядка
![$i$ $i$](https://dxdy-04.korotkov.co.uk/f/7/7/a/77a3b857d53fb44e33b53e4c8b68351a82.png)
, то
![$m_i = r_{i-1} - 2r_i + r_{i+1}, \; i = 1,\,2,\,\dots,\,n$ $m_i = r_{i-1} - 2r_i + r_{i+1}, \; i = 1,\,2,\,\dots,\,n$](https://dxdy-02.korotkov.co.uk/f/9/1/b/91b32b845808412dffefe7bd71db578182.png)
, где
![$r_i = \mathop{\mathrm{rank}\nolimits} (\mathbf A - \alpha_0 \mathbf E)^i$ $r_i = \mathop{\mathrm{rank}\nolimits} (\mathbf A - \alpha_0 \mathbf E)^i$](https://dxdy-02.korotkov.co.uk/f/d/8/5/d857f3b91ae89ed59826b85d1e539d8982.png)
.
Это ещё далеко не решает задачу. С размерами жордановых клеток вопросов действительно никаких -- проблема в том, чтобы построить базис. А с этим в любом варианте морока (даже если отвлечься от довольно существенных здесь погрешностей округления).
И при доказательстве существования -- это тоже не всё. Это очевидно только в том случае, что существование жордановой формы уже известно, что вовсе не тривиально.