Если определитель
не ноль, то можно брать логарифм. Пусть
--- жорданова форма
. Тогда
,
. Определим
. Матрица
--- блочно диагональная. Определим её логарифм поблочно. Осталось лишь определить логарифм от жордановой клетки
вида
, где
--- матрица из единичек над главной диагональю. Положим
Второе слагаемое справа можно определить через ряд Маклорена. В нём будет лишь конечное число слагаемых, т.к. матрица
нильпотентна.
То, что это действительно логарифм, проверяется непосредственно (
). Чтобы это показать, можно воспользоваться тем, что
.