El determinante por cofactores y la matriz inversa por la adjunta
Dos de las cuentas más repetidas del álgebra lineal —el determinante y la matriz inversa— salen del mismo objeto: los cofactores. Este artículo define menores y cofactores, demuestra por qué el desarrollo de Laplace da el determinante desarrollando por cualquier fila o columna, y de ahí deduce la inversa por la adjunta y la fórmula directa del .
Menores y cofactores. Dada una matriz cuadrada de orden , el menor es el determinante de la submatriz que queda al tachar la fila y la columna . El cofactor es ese menor con un signo alternado: Los signos forman un tablero de ajedrez que empieza en arriba a la izquierda; ese factor es el que hace que la fórmula respete el carácter alternado del determinante (intercambiar dos filas le cambia el signo).
Desarrollo de Laplace. Fijada una fila cualquiera, y lo mismo recorriendo una columna. Que el resultado no dependa de la fila elegida no es casualidad: el determinante queda caracterizado por ser la única función de las filas que es multilineal, alternada y vale en la identidad; el desarrollo por cofactores cumple esas tres propiedades para cada fila, así que todas las expansiones coinciden. En la práctica conviene desarrollar por la fila o columna con más ceros: cada cero elimina un menor entero.
La adjunta y por qué da la inversa. Se llama adjunta a la traspuesta de la matriz de cofactores, , es decir . La identidad clave es La demostración es corta: la entrada del producto vale . Si eso es exactamente el desarrollo de Laplace, y da . Si , esa suma es el desarrollo del determinante de la matriz que resulta de sustituir la fila por la fila : una matriz con dos filas repetidas, cuyo determinante es . Fuera de la diagonal todo se anula, y queda .
La inversa. Si , dividir la identidad anterior entre despeja Ahí se ve de golpe el criterio de invertibilidad: una matriz cuadrada tiene inversa si y solo si su determinante no es nulo. De paso, esta misma identidad es la que hace funcionar la regla de Cramer.
El caso . Para los cofactores son , , y ; al trasponer, y por tanto La regla de «cambiar la diagonal, cambiar el signo a la otra y dividir entre el determinante» no es un truco suelto: es el caso de la adjunta.
Cuándo conviene. El desarrollo por cofactores tiene un coste que crece como , así que para matrices grandes la vía práctica es la eliminación de Gauss (coste ). Los cofactores siguen siendo la herramienta estructural: dan la fórmula cerrada de la inversa, la regla de Cramer y el criterio , y son perfectamente cómodos en y .
En MathOperator, la calculadora de determinante desarrolla los menores y cofactores uno a uno, y la de matriz inversa muestra la adjunta y la división por el determinante. Puedes probar [[1,2,3],[4,5,6],[7,8,10]] o [[2,1],[1,2]].