Cramers regel
Cramers regel används för att lösa ett linjärt ekvationssystem där koefficientmatrisen är regulär.
Cramersystem
Låt oss ta ett linjärt ekvationssystem Ax = b. Vi kallar systemet ett Cramersystem om A är en kvadratisk regulär matris. Det betyder att matrisens determinant alltid är skild från noll och att matrisen inte har några linjärt beroende rader eller kolumner.
Enligt Kronecker–Capellis sats har varje Cramersystem exakt en lösning. Satsen säger att om rang(A) = rang(A ∣ b) = k, så har systemet en lösning. Matrisen A i ett Cramersystem är kvadratisk och har största möjliga rang. Det betyder att om vi lägger till vilken kolumn som helst till matrisen, så måste den kolumnen nödvändigtvis vara en linjärkombination av kolumnerna i A. När vi lägger till kolumnen b ökar därför inte rangen hos A.
Satsen säger också att vi behöver n − k parametrar för att uttrycka lösningen, där n är antalet variabler och k är rangen rang(A ∣ b). För ett Cramersystem gäller n = k, så vi behöver noll parametrar för att uttrycka lösningen. Därför har varje Cramersystem exakt en lösning.
Låt oss vidare låta Ai beteckna matrisen A där den i:te kolumnen har ersatts med kolumnen b. Formellt definierar vi matrisen Ai så här:
där aij är elementen i matrisen A och bi är elementen i matrisen b.
Cramers regel
Låt Ax = b vara ett linjärt ekvationssystem som är ett Cramersystem. Cramers regel säger att systemet har exakt en lösning (x1, x2, …, xn), där
Vi visar regeln direkt på ett litet exempel. Vi löser följande system med hjälp av Cramers regel.
Systemets matris blir:
Matrisens determinant är:
Sedan bildar vi matriserna A1 och A2. De ser ut så här:
Vi beräknar determinanterna för de här matriserna:
Därefter beräknar vi x1 och x2 i tur och ordning. Enligt Cramers regel gäller för x1 likheten
Efter insättning får vi
Samma sak för den andra variabeln x2:
Systemets lösning är alltså paret (x1, x2) = (3, 1).
Cramers regel passar framför allt när du vill göra metoden till en algoritm, för den är lätt att programmera. Att lösa ett system för hand med Cramers regel brukar vara besvärligare än att lösa det med Gausselimination.
Kapitel: Linjära ekvationssystem, Cramers regel, Homogena linjära ekvationssystem