Penyelesaian Sistem Linear
Aturan Cramer adalah metode untuk menyelesaikan sistem persamaan linear dengan menggunakan determinan. Metode ini memberikan cara langsung untuk menghitung solusi sistem persamaan linear ketika matriks koefisiennya dapat dibalik.
Metode ini sangat berguna untuk memahami hubungan antara determinan dan solusi sistem linear, meskipun secara komputasi kurang efisien dibandingkan eliminasi Gauss untuk sistem besar.
Matriks Komplementer
Sebelum membahas aturan Cramer, kita perlu memahami konsep matriks komplementer yang menjadi dasar dari metode ini.
Untuk matriks , matriks komplementer didefinisikan sebagai:
dengan elemen-elemen:
Perhatikan bahwa indeks dalam bertukar posisi (bukan ).
Matriks komplementer adalah matriks yang terdiri dari kofaktor-kofaktor dari matriks , tetapi dengan posisi yang ditranspose.
Struktur Matriks Komplementer
Matriks komplementer memiliki struktur sebagai berikut:
Setiap elemen dihitung dengan mengambil determinan submatriks yang sesuai, kemudian diberikan tanda berdasarkan pola papan catur .
Sifat Fundamental Matriks Komplementer
Salah satu sifat terpenting dari matriks komplementer adalah hubungannya dengan matriks asli:
Dengan kata lain:
Sifat ini sangat penting karena memberikan hubungan langsung antara matriks, matriks komplementernya, dan determinannya.
Formula Invers Matriks
Dari sifat fundamental di atas, kita dapat menurunkan formula invers matriks menggunakan matriks komplementer.
Jika matriks dapat dibalik, maka:
Namun perhitungan invers matriks menggunakan formula ini jauh lebih tidak efisien dibandingkan eliminasi Gauss untuk matriks berukuran besar.
Contoh untuk Matriks 2×2
Untuk matriks :
Determinannya adalah:
Matriks komplementernya adalah:
Sehingga inversnya adalah:
Kita dapat memverifikasi bahwa:
Pernyataan Teorema
Sekarang kita dapat merumuskan aturan Cramer untuk menyelesaikan sistem persamaan linear.
Misalkan adalah matriks yang dapat dibalik dan adalah kolom-kolom dari . Untuk vektor , solusi dari sistem persamaan linear diberikan oleh:
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.
Bukti Menggunakan Pengembangan Laplace
Bukti aturan Cramer menggunakan pengembangan Laplace dan sifat matriks komplementer.
Untuk :
berdasarkan pengembangan Laplace terhadap kolom ke-j.
Contoh Penerapan
Mari kita lihat contoh konkret penerapan aturan Cramer:
Karena:
matriks dapat dibalik dan sistem memiliki solusi unik.
Menurut aturan Cramer:
Verifikasi menunjukkan bahwa .
Sifat Solusi untuk Matriks Integer
Jika adalah matriks yang dapat dibalik dengan elemen bilangan bulat dan adalah vektor dengan elemen bilangan bulat, maka elemen-elemen dari invers dan solusi dari sistem adalah bilangan rasional dengan penyebut yang (jika tidak disingkat) sama dengan .
Hal ini terjadi karena dalam perhitungan determinan hanya dilakukan operasi penjumlahan, pengurangan, dan perkalian, sehingga determinan matriks bilangan bulat selalu bilangan bulat. Dalam formula invers dan aturan Cramer, satu-satunya operasi pembagian adalah pembagian dengan .