Cramers regel
Cramers regel bruges til at løse et lineært ligningssystem, hvor systemets matrix er regulær.
Cramers system
Lad Ax = b være et lineært ligningssystem. Vi kalder systemet et Cramers system, hvis A er en kvadratisk regulær matrix. Det betyder, at determinanten af denne matrix altid er forskellig fra nul, og at matricen derfor ikke har nogen lineært afhængige rækker eller søjler.
Ifølge Kronecker–Capellis sætning har ethvert Cramers system præcis én løsning. Sætningen siger, at hvis rank(A) = rank(A|b) = k, så har systemet en løsning. Matricen A i et Cramers system er kvadratisk og har størst mulig rang. Det betyder, at hvis vi tilføjer en vilkårlig søjle til denne matrix, så må den søjle nødvendigvis være en linearkombination af søjlerne i matricen A. Ved at tilføje søjlen fra matricen b øger vi altså ikke rangen af A.
Sætningen siger også, at vi skal bruge n − k parametre til at udtrykke løsningen, hvor n er antallet af variable, og k er rangen rank(A|b). I et Cramers system gælder n = k, så vi skal bruge nul parametre til at udtrykke løsningen. Derfor har ethvert Cramers system præcis én løsning.
Lad os desuden lade Ai betegne matricen A ændret sådan, at den i-te søjle er erstattet af søjlen b. Formelt definerer vi matricen Ai sådan:
hvor aij er elementerne i matricen A, og bi er elementerne i matricen b.
Cramers regel
Lad Ax = b være et Cramers system af lineære ligninger. Cramers regel siger, at systemet har præcis én løsning (x1, x2, …, xn), hvor
Vi viser straks reglen på et lille eksempel. Vi løser følgende system ved hjælp af Cramers regel.
Systemets matrix får formen:
Matricens determinant er lig med:
Dernæst danner vi matricerne A1 og A2. De får formen:
Vi beregner determinanterne af disse matricer:
Og så beregner vi x1 og x2 efter tur. Ifølge Cramers regel gælder for elementet x1 ligheden
Når vi sætter ind, får vi
Det samme for det andet element x2:
Systemets løsning er altså parret (x1, x2) = (3, 1).
Cramers regel er især velegnet, når du vil gøre fremgangsmåden til en algoritme, for den er nem at programmere. At løse et system med Cramers regel i hånden er som regel mere besværligt end at løse det med Gauss-elimination.
Kapitler: Lineære ligningssystemer, Cramers regel, Homogene lineære ligningssystemer