Cramerin sääntö
Cramerin sääntöä käytetään sellaisten lineaaristen yhtälöryhmien ratkaisemiseen, joissa kerroinmatriisi on säännöllinen.
Cramerin yhtälöryhmä
Olkoon annettuna lineaarinen yhtälöryhmä Ax = b. Tätä ryhmää sanotaan Cramerin yhtälöryhmäksi, jos A on säännöllinen neliömatriisi. Se tarkoittaa, että tämän matriisin determinantti on aina nollasta poikkeava, eikä matriisissa ole lineaarisesti riippuvia rivejä eikä sarakkeita.
Kronecker–Capellin lauseen mukaan jokaisella Cramerin yhtälöryhmällä on täsmälleen yksi ratkaisu. Kronecker–Capellin lause sanoo, että jos rank(A) = rank(A|b) = k, ryhmällä on ratkaisu. Cramerin yhtälöryhmän matriisi A on neliömatriisi, ja sillä on suurin mahdollinen aste. Se tarkoittaa, että kun tähän matriisiin lisätään mikä tahansa uusi sarake, sen täytyy välttämättä olla matriisin A sarakkeiden lineaarikombinaatio. Sarakkeen b lisääminen ei siis kasvata matriisin A astetta.
Kronecker–Capellin lause sanoo myös, että ratkaisun ilmaisemiseen tarvitaan n − k parametria, missä n on muuttujien lukumäärä ja k on aste rank(A|b). Cramerin yhtälöryhmässä pätee n = k, joten ratkaisun ilmaisemiseen tarvitaan nolla parametria. Siksi jokaisella Cramerin yhtälöryhmällä on täsmälleen yksi ratkaisu.
Merkitään lisäksi Ai:llä matriisia A muunnettuna niin, että sen i:nnen sarakkeen paikalla on sarake b. Muodollisesti matriisi Ai määritellään näin:
missä aij ovat matriisin A alkioita ja bi matriisin b alkioita.
Cramerin sääntö
Olkoon Ax = b Cramerin lineaarinen yhtälöryhmä. Cramerin säännön mukaan tällä ryhmällä on täsmälleen yksi ratkaisu (x1, x2, …, xn), missä
Havainnollistetaan sääntöä heti pienellä esimerkillä. Ratkaistaan seuraava yhtälöryhmä Cramerin säännöllä.
Ryhmän kerroinmatriisi on muotoa:
Matriisin determinantti on:
Muodostetaan seuraavaksi matriisit A1 ja A2. Ne ovat muotoa:
Lasketaan näiden matriisien determinantit:
Lasketaan sitten vuorotellen x1 ja x2. Cramerin säännön mukaan muuttujalle x1 pätee yhtälö
Sijoittamalla saadaan
Samoin toiselle muuttujalle x2:
Yhtälöryhmän ratkaisu on siis pari (x1, x2) = (3, 1).
Cramerin sääntö sopii erityisesti silloin, kun menetelmä halutaan muuttaa algoritmiksi: se on helppo ohjelmoida. Yhtälöryhmän ratkaiseminen käsin Cramerin säännöllä on yleensä hankalampaa kuin sen ratkaiseminen Gaussin eliminoinnilla.
Luvut: Lineaariset yhtälöryhmät, Cramerin sääntö, Homogeeniset yhtälöryhmät