Three lines a₁x+b₁y+c₁=0, a₂x+b₂y+c₂=0, a₃x+b₃y+c₃=0 are concurrent if and only if this determinant vanishes.
Three lines L 1 : a 1 x + b 1 y + c 1 = 0 L_1: a_1x+b_1y+c_1=0 L 1 : a 1 x + b 1 y + c 1 = 0 , L 2 : a 2 x + b 2 y + c 2 = 0 L_2: a_2x+b_2y+c_2=0 L 2 : a 2 x + b 2 y + c 2 = 0 , L 3 : a 3 x + b 3 y + c 3 = 0 L_3: a_3x+b_3y+c_3=0 L 3 : a 3 x + b 3 y + c 3 = 0 are concurrent if they all pass through a common point.
Derivation
Find the intersection of L 1 L_1 L 1 and L 2 L_2 L 2 by solving simultaneously. By Cramer's rule:
x = b 1 c 2 − b 2 c 1 a 1 b 2 − a 2 b 1 , y = a 2 c 1 − a 1 c 2 a 1 b 2 − a 2 b 1 x = \frac{b_1c_2 - b_2c_1}{a_1b_2 - a_2b_1}, \qquad y = \frac{a_2c_1 - a_1c_2}{a_1b_2 - a_2b_1} x = a 1 b 2 − a 2 b 1 b 1 c 2 − b 2 c 1 , y = a 1 b 2 − a 2 b 1 a 2 c 1 − a 1 c 2
For L 3 L_3 L 3 to pass through this point, substitute into L 3 = 0 L_3 = 0 L 3 = 0 :
a 3 ( b 1 c 2 − b 2 c 1 ) + b 3 ( a 2 c 1 − a 1 c 2 ) + c 3 ( a 1 b 2 − a 2 b 1 ) = 0 a_3(b_1c_2-b_2c_1) + b_3(a_2c_1-a_1c_2) + c_3(a_1b_2-a_2b_1) = 0 a 3 ( b 1 c 2 − b 2 c 1 ) + b 3 ( a 2 c 1 − a 1 c 2 ) + c 3 ( a 1 b 2 − a 2 b 1 ) = 0
This is exactly the expansion of:
∣ a 1 b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3 ∣ = 0 \boxed{\begin{vmatrix} a_1 & b_1 & c_1 \\ a_2 & b_2 & c_2 \\ a_3 & b_3 & c_3 \end{vmatrix} = 0} a 1 a 2 a 3 b 1 b 2 b 3 c 1 c 2 c 3 = 0
Alternative via family of lines
L 3 L_3 L 3 is concurrent with L 1 L_1 L 1 and L 2 L_2 L 2 if and only if L 3 L_3 L 3 is a member of the family L 1 + λ L 2 = 0 L_1 + \lambda L_2 = 0 L 1 + λ L 2 = 0 for some λ \lambda λ — i.e., L 3 = L 1 + λ L 2 L_3 = L_1 + \lambda L_2 L 3 = L 1 + λ L 2 for some λ \lambda λ . This means the rows of the determinant are linearly dependent, which is exactly the Δ = 0 \Delta = 0 Δ = 0 condition.