Academy
Formulas/maths/Pair Of Straight Lines/Condition for a Pair of Lines (Δ = 0)

Condition for a Pair of Lines (Δ = 0)

The general second-degree equation represents a pair of straight lines iff this determinant (the discriminant of the conic) vanishes. When Δ ≠ 0, the equation represents a proper conic (circle, parabola, ellipse, or hyperbola).
Derivation

For ax2+2hxy+by2+2gx+2fy+c=0ax^2+2hxy+by^2+2gx+2fy+c=0 to factor as (l1x+m1y+n1)(l2x+m2y+n2)=0(l_1x+m_1y+n_1)(l_2x+m_2y+n_2)=0, the six identities in the previous derivation must be compatible.

Method — treating as quadratic in xx:

ax2+2(hy+g)x+(by2+2fy+c)=0ax^2 + 2(hy+g)x + (by^2+2fy+c) = 0

For each yy, this gives two values of xx (corresponding to the two lines). For this to factor into two linear factors in both xx and yy, the discriminant of the quadratic in xx must itself be a perfect square in yy:

Δx=(hy+g)2a(by2+2fy+c)\Delta_x = (hy+g)^2 - a(by^2+2fy+c) =h2y2+2hgy+g2aby22afyac= h^2y^2+2hgy+g^2 - aby^2-2afy-ac =(h2ab)y2+2(hgaf)y+(g2ac)= (h^2-ab)y^2 + 2(hg-af)y + (g^2-ac)

For this to be a perfect square: discriminant of this quadratic in yy =0= 0:

4(hgaf)24(h2ab)(g2ac)=04(hg-af)^2 - 4(h^2-ab)(g^2-ac) = 0

Expanding:

h2g22afghg+a2f2h2g2+ach2+abg2a2bc=0h^2g^2 - 2afghg + a^2f^2 - h^2g^2 + ach^2 + abg^2 - a^2bc = 0 2afgh+a2f2+ach2+abg2a2bc=0-2afgh + a^2f^2 + ach^2 + abg^2 - a^2bc = 0

Dividing by aa:

abc+2fghaf2bg2ch2=0abc + 2fgh - af^2 - bg^2 - ch^2 = 0

This is Δ=0\Delta = 0, where Δ\Delta is the determinant of the matrix (ahghbfgfc)\begin{pmatrix} a & h & g \\ h & b & f \\ g & f & c \end{pmatrix}.