Niech dany będzie układ równań liniowych
{ a 1 x + b 1 y = c 1 a 2 x + b 2 y = c 2 \begin{cases}
a_1x+b_1y=c_1\\
a_2x+b_2y=c_2
\end{cases} { a 1 x + b 1 y = c 1 a 2 x + b 2 y = c 2 \begin{cases}
a_1x+b_1y=c_1\\
a_2x+b_2y=c_2
\end{cases} gdzie a 1 , a 2 , b 1 , b 2 ∈ R a_1,a_2,b_1,b_2\in\mathbb{R} a 1 , a 2 , b 1 , b 2 ∈ R a_1,a_2,b_1,b_2\in\mathbb{R} a 1 2 + b 1 2 > 0 a_1^2+b_1^2>0 a 1 2 + b 1 2 > 0 a_1^2+b_1^2>0 a 2 2 + b 2 2 > 0 a_2^2+b_2^2>0 a 2 2 + b 2 2 > 0 a_2^2+b_2^2>0
W = ∣ a 1 b 1 a 2 b 2 ∣ W x = ∣ c 1 b 1 c 2 b 2 ∣ W y = ∣ a 1 c 1 a 2 c 2 ∣ \begin{aligned}
W=\begin{vmatrix}
a_1 & b_1 \\
a_2 & b_2
\end{vmatrix} \\
W_x=\begin{vmatrix}
c_1 & b_1 \\
c_2 & b_2
\end{vmatrix}\\
W_y=\begin{vmatrix}
a_1 & c_1 \\
a_2 & c_2
\end{vmatrix}
\end{aligned} W = a 1 a 2 b 1 b 2 W x = c 1 c 2 b 1 b 2 W y = a 1 a 2 c 1 c 2 \begin{aligned}
W=\begin{vmatrix}
a_1 & b_1 \\
a_2 & b_2
\end{vmatrix} \\
W_x=\begin{vmatrix}
c_1 & b_1 \\
c_2 & b_2
\end{vmatrix}\\
W_y=\begin{vmatrix}
a_1 & c_1 \\
a_2 & c_2
\end{vmatrix}
\end{aligned} Wówczas:
układ ma jedno rozwiązanie wtedy i tylko wtedy, gdy W ≠ 0 W\neq 0 W = 0 W\neq 0
( x , y ) = ( W x W , W y W ) (x,y)=\left( \frac{W_x}{W}, \frac{W_y}{W} \right) ( x , y ) = ( W W x , W W y ) (x,y)=\left( \frac{W_x}{W}, \frac{W_y}{W} \right)
układ ma nieskończenie wiele rozwiązań wtedy i tylko wtedy, gdy W = W x = W y = 0 W=W_x=W_y=0 W = W x = W y = 0 W=W_x=W_y=0
układ nie ma rozwiązań wtedy i tylko wtedy, gdy
W = 0 ∧ ( W x ≠ 0 ∨ W y ≠ 0 ) W=0\land(W_x\neq 0 \vee W_y\neq 0) W = 0 ∧ ( W x = 0 ∨ W y = 0 ) W=0\land(W_x\neq 0 \vee W_y\neq 0)
