Cramers regel är en sats inom linjär algebra , vilken ger lösningen till ett linjärt ekvationssystem med hjälp av determinanter . Satsen är namngiven efter Gabriel Cramer (1704–1752).
Beräkningsmässigt är metoden ineffektiv då flera ekvationsevalueringar är nödvändiga. Den är därför sällan använd inom praktiska tillämpningar. Men satsen har ett teoretiskt värde då metoden ger ett explicit uttryck för lösningar till ekvationssystem.
Ett ekvationssystem representeras i matrisnotation som
A
x
=
c
{\displaystyle A\mathbf {x} =\mathbf {c} }
där
A
{\displaystyle A}
är en inverterbar kvadratisk matris och vektorn
x
{\displaystyle \mathbf {x} }
är en kolonnvektor .
Enligt Cramers sats är
x
i
=
det
A
i
det
A
,
{\displaystyle x_{i}={\frac {\det {A_{i}}}{\det {A}}},}
där
A
i
{\displaystyle A_{i}}
är matrisen med i:te kolumnen i
A
{\displaystyle A}
utbytt mot kolumnvektorn
c
{\displaystyle \mathbf {c} }
och
x
i
{\displaystyle x_{i}}
den i:te komponenten i lösningsvektorn.
Cramers metod är lämplig för att lösa ekvationssystem med två obekanta
a
x
+
b
y
=
e
c
x
+
d
y
=
f
{\displaystyle {\begin{matrix}ax+by=e\\cx+dy=f\end{matrix}}}
vilket motsvarar matrisnotationen
[
a
b
c
d
]
[
x
y
]
=
[
e
f
]
{\displaystyle {\begin{bmatrix}a&b\\c&d\end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}}={\begin{bmatrix}e\\f\end{bmatrix}}}
Lösningarna är enligt Cramers regel
x
=
|
e
b
f
d
|
|
a
b
c
d
|
=
e
d
−
b
f
a
d
−
b
c
{\displaystyle x={\frac {\begin{vmatrix}e&b\\f&d\end{vmatrix}}{\begin{vmatrix}a&b\\c&d\end{vmatrix}}}={ed-bf \over ad-bc}}
y
=
|
a
e
c
f
|
|
a
b
c
d
|
=
a
f
−
e
c
a
d
−
b
c
{\displaystyle y={\frac {\begin{vmatrix}a&e\\c&f\end{vmatrix}}{\begin{vmatrix}a&b\\c&d\end{vmatrix}}}={af-ec \over ad-bc}}
För ett bevis av Cramers regel kan två egenskaper hos determinanter utnyttjas:
Addition av en kolumn till en annan kolumn ändrar inte determinantens värde
Multiplikation av en kolumn i en matris A med ett reellt tal c ändrar det(A) till c det(A)
Antag att vi har n linjära ekvationer av de n variablerna
x
1
,
x
2
,
…
,
x
n
{\displaystyle x_{1},x_{2},\ldots ,x_{n}}
:
a
11
x
1
+
a
12
x
2
+
⋯
+
a
1
n
x
n
=
b
1
a
21
x
1
+
a
22
x
2
+
⋯
+
a
2
n
x
n
=
b
2
⋮
⋮
⋮
a
n
1
x
1
+
a
n
2
x
2
+
⋯
+
a
n
n
x
n
=
b
n
{\displaystyle {\begin{matrix}a_{11}x_{1}+a_{12}x_{2}+\cdots +a_{1n}x_{n}&=&b_{1}\\a_{21}x_{1}+a_{22}x_{2}+\cdots +a_{2n}x_{n}&=&b_{2}\\\vdots &\vdots &\vdots \\a_{n1}x_{1}+a_{n2}x_{2}+\cdots +a_{nn}x_{n}&=&b_{n}\end{matrix}}}
Enligt Cramers regel är
x
1
=
|
b
1
a
12
…
a
1
n
b
2
a
22
…
a
2
n
⋮
⋮
⋱
⋮
b
n
a
n
2
…
a
n
n
|
|
a
11
a
12
…
a
1
n
a
21
a
22
…
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
…
a
n
n
|
{\displaystyle x_{1}={\frac {\left|{\begin{matrix}b_{1}&a_{12}&\ldots &a_{1n}\\b_{2}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\b_{n}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}{\left|{\begin{matrix}a_{11}&a_{12}&\ldots &a_{1n}\\a_{21}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}}}
Om
b
1
,
b
2
,
…
,
b
n
{\displaystyle b_{1},b_{2},\ldots ,b_{n}}
substitueras med det ursprungliga systemets vänsterled, är kvoten ekvivalent med
x
1
=
|
(
a
11
x
1
+
a
12
x
2
+
⋯
+
a
1
n
x
n
)
a
12
…
a
1
n
(
a
21
x
1
+
a
22
x
2
+
⋯
+
a
2
n
x
n
)
a
22
…
a
2
n
⋮
⋮
⋱
⋮
(
a
n
1
x
1
+
a
n
2
x
2
+
⋯
+
a
n
n
x
n
)
a
n
2
…
a
n
n
|
|
a
11
a
12
…
a
1
n
a
21
a
22
…
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
…
a
n
n
|
{\displaystyle x_{1}={\frac {\left|{\begin{matrix}(a_{11}x_{1}+a_{12}x_{2}+\cdots +a_{1n}x_{n})&a_{12}&\ldots &a_{1n}\\(a_{21}x_{1}+a_{22}x_{2}+\cdots +a_{2n}x_{n})&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\(a_{n1}x_{1}+a_{n2}x_{2}+\cdots +a_{nn}x_{n})&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}{\left|{\begin{matrix}a_{11}&a_{12}&\ldots &a_{1n}\\a_{21}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}}}
Genom att från den första kolumnen subtrahera den andra kolumnen multiplicerad med
x
2
{\displaystyle x_{2}}
, den tredje multiplicerad med
x
3
{\displaystyle x_{3}}
och så vidare, visar sig kvoten vara lika med
x
1
=
|
a
11
x
1
a
12
…
a
1
n
a
21
x
1
a
22
…
a
2
n
⋮
⋮
⋱
⋮
a
n
1
x
1
a
n
2
…
a
n
n
|
|
a
11
a
12
…
a
1
n
a
21
a
22
…
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
…
a
n
n
|
{\displaystyle x_{1}={\frac {\left|{\begin{matrix}a_{11}x_{1}&a_{12}&\ldots &a_{1n}\\a_{21}x_{1}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}x_{1}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}{\left|{\begin{matrix}a_{11}&a_{12}&\ldots &a_{1n}\\a_{21}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}}}
Enligt determinantegenskap (2) kan faktorn
x
1
{\displaystyle x_{1}}
i täljarens första kolumn brytas ut. Därmed har vi
x
1
=
x
1
|
a
11
a
12
…
a
1
n
a
21
a
22
…
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
…
a
n
n
|
|
a
11
a
12
…
a
1
n
a
21
a
22
…
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
…
a
n
n
|
{\displaystyle x_{1}=x_{1}{\frac {\left|{\begin{matrix}a_{11}&a_{12}&\ldots &a_{1n}\\a_{21}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}{\left|{\begin{matrix}a_{11}&a_{12}&\ldots &a_{1n}\\a_{21}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}}}
.
Om på motsvarande sätt, kolumn nummer k från det ursprungliga ekvationssystemets motsvarande matris ersätts med kolumn b , är resultatet kvoten
x
k
{\displaystyle x_{k}}
, eller
x
k
=
|
a
11
…
a
1
k
x
k
…
a
21
…
a
2
k
x
k
…
⋮
⋱
⋮
a
n
1
…
a
n
k
x
k
…
|
|
a
11
a
12
…
a
1
n
a
21
a
22
…
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
…
a
n
n
|
=
x
k
|
a
11
a
12
…
a
1
n
a
21
a
22
…
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
…
a
n
n
|
|
a
11
a
12
…
a
1
n
a
21
a
22
…
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
…
a
n
n
|
{\displaystyle x_{k}={\frac {\left|{\begin{matrix}a_{11}&\ldots &a_{1k}x_{k}&\ldots &\\a_{21}&\ldots &a_{2k}x_{k}&\ldots &\\\vdots &\ddots &\vdots &&\\a_{n1}&\ldots &a_{nk}x_{k}&\ldots &\end{matrix}}\right|}{\left|{\begin{matrix}a_{11}&a_{12}&\ldots &a_{1n}\\a_{21}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}}=x_{k}{\frac {\left|{\begin{matrix}a_{11}&a_{12}&\ldots &a_{1n}\\a_{21}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}{\left|{\begin{matrix}a_{11}&a_{12}&\ldots &a_{1n}\\a_{21}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\ldots &a_{nn}\end{matrix}}\right|}}}