Cramer's Rule Website Links For
Rule
 

Information About

Cramer's Rule




Computationally, it is generally inefficient and thus not used in practical applications which may involve many equations. However, it is of theoretical importance in that it gives an explicit expression for the solution of the system.


ELEMENTARY FORMULATION

The system of equations is represented in matrix multiplication form as:

:Ax = c\,

where the Square Matrix A is invertible and the vector x is the column vector of the variables: ( x_i ).

The theorem then states that:

:x_i = { \det(A_i) \over \det(A)}

where A_i is the matrix formed by replacing the ''i''th column of A by the column vector c.


ABSTRACT FORMULATION

Let ''R'' be a Commutative Ring , ''A'' an ''n''×''n'' matrix with coefficients in ''R''. Then

:\mathrm{Adj}(A)A = \mathrm{det}(A)I\,

where Adj(''A'') denotes the Adjugate of ''A'', det(''A'') is the determinant, and I is the Identity Matrix .


EXAMPLE

A good way to use Cramer's rule on a 2×2 matrix is to use this formula:

Given
:ax+by = e\, and
:cx+dy = f\,,
which in matrix format is
:\begin{vmatrix} a & b \ c & d \end{vmatrix}\begin{vmatrix} x \ y \end{vmatrix}=\begin{vmatrix} e \ f \end{vmatrix}
x and y can be solved with Cramer's rule as:

:x = rac { \begin{vmatrix} e & b \ f & d \end{vmatrix} } { \begin{vmatrix} a & b \ c & d \end{vmatrix} } = { ed - bf \over ad - bc}
:and
:y = rac { \begin{vmatrix} a & e \ c & f \end{vmatrix} } { \begin{vmatrix} a & b \ c & d \end{vmatrix} } = { af - ec \over ad - bc}


APPLICATIONS TO DIFFERENTIAL GEOMETRY

Cramer's rule is also extremely useful for solving problems in differential geometry. Consider the two equations F(x, y, u, v) = 0\, and G(x, y, u, v) = 0\,. When u and v are independent variables, we can define x = X(u, v)\, and y = Y(u, v)\,.

Finding an equation for \partial x/\partial u is a trivial application of Cramer's rule.

First, calculate the first derivatives of F, G, x and y.
:dF = rac{\partial F}{\partial x} dx + rac{\partial F}{\partial y} dy + rac{\partial F}{\partial u} du + rac{\partial F}{\partial v} dv = 0
:dG = rac{\partial G}{\partial x} dx + rac{\partial G}{\partial y} dy + rac{\partial G}{\partial u} du + rac{\partial G}{\partial v} dv = 0
:dx = rac{\partial X}{\partial u} du + rac{\partial X}{\partial v} dv
:dy = rac{\partial Y}{\partial u} du + rac{\partial Y}{\partial v} dv

Substituting dx, dy into dF and dG, we have:
:dF = \left( rac{\partial F}{\partial x} rac{\partial x}{\partial u} + rac{\partial F}{\partial y} rac{\partial y}{\partial u} + rac{\partial F}{\partial u} ight) du + \left( rac{\partial F}{\partial x} rac{\partial x}{\partial v} + rac{\partial F}{\partial y} rac{\partial y}{\partial v} + rac{\partial F}{\partial v} ight) dv = 0
:dG = \left( rac{\partial G}{\partial x} rac{\partial x}{\partial u} + rac{\partial G}{\partial y} rac{\partial y}{\partial u} + rac{\partial G}{\partial u} ight) du + \left( rac{\partial G}{\partial x} rac{\partial x}{\partial v} + rac{\partial G}{\partial y} rac{\partial y}{\partial v} + rac{\partial G}{\partial v} ight) dv = 0

Since u, v are both independent, the coefficients of du, dv must be zero. So we can write out equations for the coefficients:
: rac{\partial F}{\partial x} rac{\partial x}{\partial u} + rac{\partial F}{\partial y} rac{\partial y}{\partial u} = - rac{\partial F}{\partial u}
: rac{\partial G}{\partial x} rac{\partial x}{\partial u} + rac{\partial G}{\partial y} rac{\partial y}{\partial u} = - rac{\partial G}{\partial u}
: rac{\partial F}{\partial x} rac{\partial x}{\partial v} + rac{\partial F}{\partial y} rac{\partial y}{\partial v} = - rac{\partial F}{\partial v}
: rac{\partial G}{\partial x} rac{\partial x}{\partial v} + rac{\partial G}{\partial y} rac{\partial y}{\partial v} = - rac{\partial G}{\partial v}

Now, by Cramer's rule, we see that:
:
rac{\partial x}{\partial u} = rac{\begin{vmatrix} - rac{\partial F}{\partial u} & rac{\partial F}{\partial y} \ - rac{\partial G}{\partial u} & rac{\partial G}{\partial y}\end{vmatrix}}{\begin{vmatrix} rac{\partial F}{\partial x} & rac{\partial F}{\partial y} \ rac{\partial G}{\partial x} & rac{\partial G}{\partial y}\end{vmatrix}}


This is now a formula in terms of two Jacobian s:
: rac{\partial x}{\partial u} = - rac{\left( rac{\partial\left(F, G ight)}{\partial\left(y, u ight)} ight)}{\left( rac{\partial\left(F, G ight)}{\partial\left(x, y ight)} ight)}

Similar formulae can be derived for rac{\partial x}{\partial v}, rac{\partial y}{\partial u}, rac{\partial y}{\partial v}.


APPLICATIONS TO ALGEBRA

Cramer's rule can be used to prove the Cayley-Hamilton Theorem of linear algebra, as well as Nakayama's Lemma , which is fundamental in commutative ring theory.