Area of the triangle formed by three lines a₁x+b₁y+c₁=0, a₂x+b₂y+c₂=0, a₃x+b₃y+c₃=0.
Given 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 .
Derivation
Find the three vertices by solving each pair of lines:
A = L 2 ∩ L 3 A = L_2 \cap L_3 A = L 2 ∩ L 3
B = L 1 ∩ L 3 B = L_1 \cap L_3 B = L 1 ∩ L 3
C = L 1 ∩ L 2 C = L_1 \cap L_2 C = L 1 ∩ L 2
Each vertex is found by Cramer's rule. For example:
A : x = b 2 c 3 − b 3 c 2 a 2 b 3 − a 3 b 2 , y = a 3 c 2 − a 2 c 3 a 2 b 3 − a 3 b 2 A: \quad x = \frac{b_2c_3-b_3c_2}{a_2b_3-a_3b_2}, \quad y = \frac{a_3c_2-a_2c_3}{a_2b_3-a_3b_2} A : x = a 2 b 3 − a 3 b 2 b 2 c 3 − b 3 c 2 , y = a 2 b 3 − a 3 b 2 a 3 c 2 − a 2 c 3
Substituting all three vertices into the area formula Δ = 1 2 ∣ x A ( y B − y C ) + … ∣ \Delta = \frac{1}{2}|x_A(y_B-y_C)+\ldots| Δ = 2 1 ∣ x A ( y B − y C ) + … ∣ and simplifying gives:
Δ = 1 2 ∣ ∣ a 1 b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3 ∣ 2 ( a 1 b 2 − a 2 b 1 ) ( a 2 b 3 − a 3 b 2 ) ( a 3 b 1 − a 1 b 3 ) ∣ \boxed{\Delta = \frac{1}{2}\left|\frac{\begin{vmatrix} a_1 & b_1 & c_1 \\ a_2 & b_2 & c_2 \\ a_3 & b_3 & c_3 \end{vmatrix}^2}{(a_1b_2-a_2b_1)(a_2b_3-a_3b_2)(a_3b_1-a_1b_3)}\right|} Δ = 2 1 ( a 1 b 2 − a 2 b 1 ) ( a 2 b 3 − a 3 b 2 ) ( a 3 b 1 − a 1 b 3 ) a 1 a 2 a 3 b 1 b 2 b 3 c 1 c 2 c 3 2
The numerator is the square of the 3 × 3 3\times 3 3 × 3 determinant of the coefficients. The denominator is the product of the three 2 × 2 2\times 2 2 × 2 determinants of each pair of lines.
Note: When Δ = 0 \Delta = 0 Δ = 0 in the numerator, the three lines are concurrent (no triangle formed).