Пусть у нас есть матрица
c характеристическим многочленом вида
, тогда в ЖНФ все клетки будут иметь на диагонали
. Если обозначить за
количество жордановых клеток порядка
, то
, где
.
Это ещё далеко не решает задачу. С размерами жордановых клеток вопросов действительно никаких -- проблема в том, чтобы построить базис. А с этим в любом варианте морока (даже если отвлечься от довольно существенных здесь погрешностей округления).
И при доказательстве существования -- это тоже не всё. Это очевидно только в том случае, что существование жордановой формы уже известно, что вовсе не тривиально.