Regla de Cramer

La regla de Cramer es un teorema del 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]

Entonces, x e y pueden ser encontradas con la regla de

Cramer, con una divisin de determinantes, de la siguiente manera:





a e 
 e b




c f 
f d
af ec
ed bf
 =
 =
x = 
; y = 


ad bc
ad bc
a b 
a b 
 c d
 c d
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
0.1.1 Ejemplo
tres ecuaciones su aplicacin para la resolucin del mismo resulta excesivamente costosa: computacionalmente,
Ejemplo de la resolucin de un sistema e de 2x2:
es ineciente para grandes matrices y por ello no es usado en aplicaciones prcticas que pueden implicar muchas Dado
ecuaciones. Sin embargo, como no es necesario pivotar
matrices, es ms eciente que la eliminacin gaussiana
para matrices pequeas, particularmente cuando son usa- 3x + 1y = 9
das operaciones SIMD.
Si Ax = b es un sistema de ecuaciones. A es la matriz 2x + 3y = 13
de coecientes del sistema, x = (x1 , . . . , xn ) es el vector que matricialmente es:
columna de las incgnitas y b es el vector columna de los
trminos independientes. Entonces la solucin al sistema
[
][ ] [ ]
se presenta as:
3 1 x
9
=
2 3 y
13
xj =

det(Aj )
det(A)

x e y pueden ser resueltos usando la regla de Cramer

donde Aj es la matriz resultante de reemplazar la j-sima

columna de A por el vector columna b . Hgase notar
que para que el sistema sea compatible determinado, el x =
determinante de la matriz A ha de ser no nulo.



 9 1


13 3
9 3 1 13


3 1 = 3 3 1 2 = 2


2 3



3 9 


2 13
3 13 9 2


y= 
=3
=

3312
3
1
Para la resolucin de un sistema de dos ecuaciones con


2 3
dos incgnitas, de la forma. Dado el sistema de ecuaciones:

0.1

Sistema de 2x2

0.2 Sistema de 3x3

ax + by = e

La regla para un sistema de 3x3, con una divisin de

determinantes:

cx + dy = f
Se representa matricialmente :
[

a b
c d

ax + by + cz = j
dx + ey + f z = k

gx + hy + iz = l

][ ] [ ]
x
e
=
y
f
1

2 CDIGO EN MATLAB

Que representadas en forma de matriz es:

a b c x
j
d e f y = k
g h i z
l
x , y , z pueden ser encontradas como sigue:


j b c 


k e f 


l h i
;
x = 

a b c 
d e f 


g h i 

0.2.1



a j c 


d k f 


g l i 
,
y = 

a b c 
d e f 


g h i 

a1,1
a2,1

Aj = ...

an1,1
an,1

a1,j1
a2,j1

b1
b2
..

an1,j1
an,j1

a1,j+1
a2,j+1

bn1
bn

an1,j+1
an,j+1

Dado el sistema de ecuaciones lineales:

Apl
= Alp
Apl

Por lo tanto:
3x + 2y + 1z = 1
A1 b =

Aji
i=1

|A|

n
bik =

|Aj |
Aij bi
=
|A|
|A|

i=1

Aparte, recordando la denicin de determinante, la suma denida acumula la multiplicacin del elemento ad

junto o cofactor de la posicin ij , con el elemento i3 2 1 x
simo
del vector B (que es precisamente el elemento iexpresado en forma matricial: 2 0 1y =
simo de la columna j , en la matriz Aj ).
1 1 2 z

1
2
2 Cdigo en MatLab
4
1x + 1y + 2z = 4

Los valores de x, y y z seran:


1

2

4
x = 
3
2

1

2
0
1
2
0
1


1
1
2
;
1
1
2


3

2

1
y = 
3
2

1

Demostracin

Sean:

x1
b1
..
..
x= . b= .
xn

bn

1
2
4
2
0
1


1
1
2
;
1
1
2



a b j 


1
1
1
1
d e k  Ax = b A Ax = A b Ix = A b x = A b


g h l 
 entonces:
z = 

a b c 
d e f 


g h i 
(Adj A)t
b
x = A1 b =
|A|
(Adj A)t =

a1,n
a2,n
..
.

Usando las propiedades de la multiplicacin de matrices:

Ejemplo

2x + 0y + 1z = 2

Programa escrito en Matlab para soluciones de sistemas

de ecuaciones lineales usando la regla de Cramer


 3 2 1%Mtodo

de Cramer %Sea A la matriz aumentada de


 2 0 2(n)x(n+1)

de algn sistema de ecuaciones %lineales a


1 1 4resolver,

previamente denida en consola. % %Fran
z = 
cisco
Pea Gallardo (Peovsky Freeman) %UMSNH

 3 2 1(FisMat)

% function cramer(A) a=size(A); %Hacemos
 2 0 1

 determinante de la matriz de coecientes %para
el
1 1 2
vericar si el sistema tiene solucin distinta de la
trivial for i=1:1:a(1) for j=1:1:a(2)1 D(i,j)=A(i,j);
end end if det(D)==0 fprintf('El sistema es linealmente
dependiente y por ende no tiene solucin\n') return
else d=det(D); end %Vector de coecientes constantes
for i=1:1:a(1) v(i)=A(i,a(2)); end %Aplicamos Cramer
for i=1:a(1) V=zeros(a(1)); V(:,i)=v; W=zeros(a(1));
W(:,i)=D(:,i); X=D-W+V; x(i)=det(X); x(i)=x(i)/d; end
%Imprimimos soluciones fprintf('Soluciones\n') for
i=1:1:a(1) fprintf('X%.0f=%f\t',i,x(i)) end fprintf('\n')
end

an1,n
an,n

Referencias

[1] Carl B. Boyer, A History of Mathematics, 2nd edition (Wiley, 1968), p. 431.

Vase tambin
Determinante
Matriz

5 TEXTO E IMGENES DE ORIGEN, COLABORADORES Y LICENCIAS

Texto e imgenes de origen, colaboradores y licencias

5.1

Texto

Regla de Cramer Fuente: https://es.wikipedia.org/wiki/Regla_de_Cramer?oldid=82935090 Colaboradores: Richy, Yrbot, YurikBot,

Echani, GermanX, Siabef, Paintman, Rdaneel, Nethac DIU, CEM-bot, Retama, Davius, Rastrojo, Thijs!bot, RoyFocker, IrwinSantos,
Rafadose, Isha, Gngora, JAnDbot, Kved, Humberto, Rei-bot, Idioma-bot, Plux, Fremen, VolkovBot, Urdangaray, Djfarlo2002, Matdrodes, Muro Bot, SieBot, Carmin, Pascow, Nberger~eswiki, Mutari, Jarisleif, Dnu72, HUB, Elijax, Farisori, Leonpolanco, UA31, AVBOT,
Steve.jaramillov, Dermot, Louperibot, MastiBot, SpBot, Diegusjaimes, MelancholieBot, Arjuno3, Luckas-bot, Nallimbot, Pegna, Xqbot,
Jkbw, Efzukowski, PatruBOT, Edslov, EmausBot, Reox~eswiki, ZroBot, Ebrambot, Mentibot, KLBot2, Gins90, Acratta, Elvisor, JacobRodrigues, Sebastiangarcia147, Jarould y Annimos: 122

5.2

Imgenes

5.3

Licencia de contenido

Creative Commons Attribution-Share Alike 3.0