Nome Teorema matrice 2x2 ha autovalore ha doppia molteplicita ?

[TheBarbarios]

A lezione il mio professore ha dimostrato il seguente teorema. Incuriosito, ho provato a cercarlo su internet ma non conoscendone il nome non ho trovato nessun risultato. Qualcuno sa come si chiama o dove trovarlo?

Teorema:
Sia A una matrice 2x2 non diagonalizzabile e sia il polinomio caratteristico f(x) = (x-p)^2. Allora, esiste una matrice P 2x2 tale che

$$ P^{-1} A P = \begin{bmatrix}
p & 1 \\
0 & p
\end{bmatrix}
$$


Grazie a questo teorema poi si riesce a calcolare agevolmente la potenza n-esima di matrici del tipo $$A = \begin{bmatrix}
1 & 4 \\
-1 & -3 \\
\end{bmatrix}$$

[TheBarbarios]

Grazie mille, mi sembra proprio la forma canonica di Jordan.