Regla de Cramer
La regla de Cramer es un teorema del álgebra lineal que da la solución de un sistema lineal de ecuaciones en términos de determinantes. Recibe este nombre en honor al matemático suizo Gabriel Cramer (1704-1752), quien publicó la regla en su Introduction à l'analyse des lignes courbes algébriques de 1750, aunque Colin Maclaurin también publicó el método en su Treatise of Geometry de 1748 (y probablemente sabía del método desde 1729).
La regla de Cramer es de importancia teórica porque da una expresión explícita para la solución del sistema. Sin embargo, para sistemas de ecuaciones lineales de más de tres ecuaciones su aplicación para la resolución del mismo resulta excesivamente costosa: computacionalmente, es ineficiente para grandes matrices y por ello no es usado en aplicaciones prácticas que pueden implicar muchas ecuaciones. Sin embargo, como no es necesario pivotar matrices, es más eficiente que la eliminación gaussiana para matrices pequeñas, particularmente cuando son usadas operaciones SIMD.
Sistema de ecuaciones :
Se resuelve como se muestra en la segunda línea :
Por sustitución de la primera línea :
Resultado: , por lo tanto .
Por regla de Cramer definimos:
Si es un sistema de ecuaciones, es la matriz de coeficientes del sistema, es el vector columna de las incógnitas, y es el vector columna de los términos independientes, entonces la solución al sistema se presenta así:
Donde es la matriz resultante de reemplazar la j-ésima columna de por el vector columna . Hágase notar que para que el sistema sea compatible determinado, el determinante de la matriz ha de ser no nulo o cero.
Pongamos la matriz A y los vectores X y B para que podamos escribir lo mismo así:
Supongamos finalmente que la matriz A es invertible, entonces existe una solución única:
Por ejemplo, continuamos calculando inverso de A :
Calculamos X :
