Cramer’s rule is a formula for the solution of a system of linear equations with equations and unknowns, whenever the system has a unique solution.

For matrices, Cramer’s rule forms a competent alternative to Gaussian elimination (assuming there’s a unique solution). For matrices with a larger size, Gaussian elimination is more computationally efficient, due to Cramer’s rule’s reliance on determinants.

The case is as follows. For a system of 2 equations with 2 unknowns:

Then Cramer’s rule states that:

Note our observation from above, where the system must have a unique solution. Because the determinant of the denominators cannot be 0, the system must be linearly independent.