Cramer's Rule
Theorem 1. (Cramer's Rule) Let be a system of linear equations in unknowns, where .
If , then this system has a unique solution, and where obtained from by replacing column of by .
Proof. Let , and let denote .
Note that because
Since is a unique solution of , . Thus .
크라메르 공식은 주어진 선형연립방정식의 해를 수학적으로 깔끔하게 제시한다는 점에서 의미가 있지만, 실제로 방정식의 해를 수치적으로 계산하고자 할 때는 별 볼일 없는 정리이다. coefficient matrix가 행렬일 때, 그 해를 구하려면 행렬식을 총 번 계산해야 하기 때문에 연산량이 꽤 많은 편이다.