\mathbb{R}-matrisler üst üçgenselleştirilebilir değil diye tahmin ediyorum. Çünkü Ae_1=ke_1 olması gerektiğinden döndürme matrislerinde olmuyor gibi. (Bununla ilgili bir kelam bulamadım hiçbir yerde, bir şey mi kaçırıyorum?) O zaman matrisi üst üçgenselleştiremediğimizden kanıtı yapamayız gibi geldi. Üst üçgenselleştirsek bile \exp'yi kolayca hesaplayabilir miyiz?