La regla de Cramer es un teorema en lgebra lineal, que da la solucin de un sistema lineal de ecuaciones en trminos de determinantes.

Recibe este nombre en honor a Gabriel Cramer (1704 - 1752), quien public la regla en su Introduction l'analyse des lignes courbes algbriques de 1750, aunque Colin Maclaurin tambin public el mtodo en su Treatise of Geometry de 1748 (y probablemente saba del mtodo desde 1729).[1] La regla de Cramer es de importancia terica porque da una expresin explcita para la solucin del sistema. Sin embargo, para sistemas de ecuaciones lineales de ms de tres ecuaciones su aplicacin para la resolucin del mismo resulta excesivamente costosa: computacionalmente, es ineficiente para grandes matrices y por ello no es usado en aplicaciones prcticas que pueden implicar muchas ecuaciones. Sin embargo, como no es necesario pivotar matrices, es ms eficiente que la eliminacin gaussiana para matrices pequeas, particularmente cuando son usadas operaciones SIMD. Si es un sistema de ecuaciones. es la matriz de coeficientes del sistema,

es el vector columna de las incgnitas y es el vector columna de los trminos independientes. Entonces la solucin al sistema se presenta as:

donde es la matriz resultante de reemplazar la j-sima columna de por el vector columna . Hgase notar que para que el sistema sea compatible determinado, el determinante de la matriz ha de ser no nulo. Frmulas explcitas para sistemas pequeos Sistema de 2 ecuaciones con 2 incgnitas Para la resolucin de un sistema de dos ecuaciones con dos incgnitas, de la forma. Dado el sistema de ecuaciones:

Lo representamos en forma de matrices:

Entonces, x e y pueden ser encontradas con la regla de Cramer, con una divisin de determinantes, de la siguiente manera:

Sistema de 3 ecuaciones con 3 incgnitas La regla para un sistema de tres ecuaciones con tres incgnitas es similar, con una divisin de determinantes:

Que representadas en forma de matriz es:

x, y, z pueden ser encontradas como sigue:

Demostracin Sean:

Usando las propiedades de la multiplicacin de matrices:

Entonces:

Por lo tanto:

Aparte, recordando la definicin de determinante, la sumatoria definida acumula la multiplicacin del elemento adjunto o cofactor de la posicin ij, con el elemento i-simo del vector (que es precisamente el elemento i-simo de la columna j, en la matriz ).

Cramer obtuvo las incgnitas despejadas de un sistema en funcin de determinantes.

Resolvamos el sistema:

Las frmulas son:

Recordemos que la frmula de los determinantes (3x3) es:

Como se puede observar , para que podamos utilizar el mtodo de Cramer , el determinante de la matriz de los coeficientes no debe ser 0 para que el denominador de las frmulas no se anule . Si diese 0 es que una de las incgnitas se puede poner en funcin de las otras , es decir , tendramos parmetros . La forma de resolver este problema es pasar al otro miembro (al lado del trmino independiente) la incgnita que tomemos como parmetro y de esta forma tendremos un determinante que no se anula

pero de menor grado . Al aplicar las frmula de Cramer tendremos un parmetro en la columna de los trminos independientes . El mtodo de Cramer sirve para resolver sistemas de ecuaciones lineales. Se aplica a sistemas que cumplan las dos condiciones siguientes: El nmero de ecuaciones es igual al nmero de incgnitas. El determinante de la matriz de los coeficientes es distinto de cero. Tales sistemas se denominan sistemas de Cramer.

Sea el determinante de la matriz de coeficientes.

Y sean: 1, 2 , 3 ... , n los determinantes que se obtiene al sustituir los coeficientes del 2 miembro (los trminos independientes) en la 1 columna , en la 2 columna, en la 3 columna y en la ensima columna respectivamente. Un sistema de Cramer tiene una sola solucin que viene dada por las siguientes expresiones

Ejercicios: Resolver por la mtodo de Cramer: