proof of Cramer’s rule
Since , by properties of the determinant we know that is invertible
.
We claim that this implies that the equation has a unique solution.Note that is a solution since , so we know that a solution exists.
Let be an arbitrary solution to the equation, so . But then , so we see that is the only solution.
For each integer , , let denote the th column of , let denote the th column of the identity matrix , and let denote the matrix obtained from by replacing column with the column vector
.
We know that for any matrices that the th column of the product is simply the product of and the th column of . Also observe that for . Thus, by multiplication, we have:
Since is with column replaced with , computing the determinant of with cofactor expansion gives:
Thus by the multiplicative property of the determinant,
and so as required.