Buenas, me gustaría aclarar una duda. En un ejercicio de matemática me piden usar el principio de inducción para una demostración, ¿alguien me explica cómo se usa formalmente?

Si a alguien le interesa el ejercicio:

Demostrar que si una matriz de n por n tiene n autovalores distintos, entonces es diagonalizable.

(Debería poder hacerse con casi nada de álgebra lineal, porque no es parte del programa, pero a los tipos les cabió meter esto en una unidad de ecuaciones diferenciales)