Penyelesaian Sistem Linear
Aturan Cramer menyelesaikan sistem linear langsung dari determinan ketika matriks koefisiennya dapat dibalik.
Aturan ini menyatakan setiap komponen solusi sebagai perbandingan dua determinan. Untuk sistem besar, eliminasi Gauss membutuhkan jauh lebih sedikit perhitungan.
Matriks Adjoin
Matriks adjoin menghubungkan determinan dengan rumus invers dan aturan Cramer.
Di sini adjoin berarti adjugat, yaitu transpos matriks kofaktor. Adjugat berbeda dari transpos konjugat pada matriks kompleks.
Untuk matriks , matriks adjoin didefinisikan sebagai:
Setiap elemen matriks adjoin diberikan oleh
Di sini, adalah submatriks yang diperoleh dengan menghapus baris dan kolom dari . Indeksnya bertukar karena kofaktor menempati posisi yang ditranspos dalam matriks adjoin.
Matriks adjoin memuat kofaktor dari pada posisi yang ditranspos.
Struktur Matriks Adjoin
Tuliskan setiap determinan minor sebagai . Tanda berselang-seling dan indeks yang ditranspos tetap terlihat pada adjugat utuh:
Setiap elemen dihitung dengan mengambil determinan submatriks yang sesuai, kemudian diberikan tanda berdasarkan pola papan catur .
Identitas Matriks Adjoin
Matriks adjoin memenuhi identitas berikut dengan matriks asal:
Dengan kata lain:
Entri diagonal hasil kali berasal dari ekspansi Laplace pada baris yang sama dan bernilai determinan. Entri di luar diagonal memakai baris yang berbeda. Ekspansi itu setara dengan determinan matriks dengan dua baris sama, sehingga bernilai nol.
Formula Invers Matriks
Dari identitas tersebut, kita dapat menurunkan rumus invers matriks menggunakan matriks adjoin.
Jika matriks dapat dibalik, maka:
Namun perhitungan invers matriks menggunakan rumus ini jauh kurang efisien daripada eliminasi Gauss untuk matriks berukuran besar.
Contoh untuk Matriks Ordo Dua
Untuk matriks :
Determinannya adalah:
Matriks adjoinnya adalah:
Sehingga inversnya adalah:
Hitung setiap entri matriks pembilang:
Menyelesaikan Sistem Persamaan Linear dengan Determinan
Misalkan adalah matriks yang dapat dibalik dan adalah kolom-kolom dari . Untuk vektor , solusi dari sistem persamaan linear diberikan oleh:
Tuliskan untuk matriks yang kolom ke- diganti dengan :
Rumus Cramer tersebut berlaku untuk .
Untuk menghitung komponen ke- dari solusi , kita mengganti kolom ke- dari matriks dengan vektor , kemudian menghitung determinan matriks yang dimodifikasi ini dan membaginya dengan determinan matriks asli.
Membuktikan Rumus Solusinya
Bukti aturan Cramer menggunakan ekspansi Laplace dan identitas matriks adjoin.
Untuk :
Kesamaan terakhir mengikuti pengembangan Laplace terhadap kolom ke-.
Menyelesaikan Sistem Tiga Variabel dengan Determinan
Selesaikan sistem berikut dengan mengganti satu kolom pada setiap perhitungan:
Hitung determinan matriks .
Hasil perhitungan adalah , jadi determinannya tidak nol. Matriks dapat dibalik dan sistem memiliki solusi unik. Karena itu, kita dapat menggunakan aturan Cramer:
Ketiga determinan pembilang dapat diperiksa dengan ekspansi baris pertama. Lalu substitusikan solusi ke setiap persamaan asal.
Sifat Solusi untuk Matriks Integer
Jika dapat dibalik dan , maka entri dan solusi dari merupakan bilangan rasional. Sebelum disederhanakan, semuanya dapat ditulis dengan penyebut bersama . Karena itu, setiap penyebut yang telah disederhanakan membagi .
Penyebut tersebut muncul karena perhitungan determinan hanya memakai penjumlahan, pengurangan, dan perkalian, sehingga determinan matriks bilangan bulat tetap berupa bilangan bulat. Dalam formula invers dan aturan Cramer, satu-satunya pembagian dilakukan dengan .