Concept understanding — General Second-Degree Equation Representing a Pair of Lines
Not every pair of straight lines passes through the origin, so we need a general second-degree equation, ax2+2hxy+by2+2gx+2fy+c=0, to describe an arbitrary pair anywhere in the plane. But this general form usually describes a genuine conic (an ellipse, parabola, or hyperbola), not two straight lines — so we need a precise algebraic test for when it degenerates into a pair of lines.
Treat the equation as a quadratic in x: ax2+2(hy+g)x+(by2+2fy+c)=0. For the two roots for x to be linear expressions in y (rather than genuinely involving a square root of a non-perfect-square in y), the discriminant (hy+g)2−a(by2+2fy+c), when expanded as (h2−ab)y2+2(hg−af)y+(g2−ac), must itself be a perfect square in y — which happens exactly when its own discriminant vanishes: (hg−af)2−(h2−ab)(g2−ac)=0. Expanding and simplifying this (a lengthy but standard piece of algebra) reduces it to the compact, symmetric condition
abc+2fgh−af2−bg2−ch2=0,
equivalently the vanishing of the determinant ahghbfgfc=0. This is the master algebraic test: whenever it holds, the second-degree equation factors into two linear expressions.
However, satisfying this determinant condition alone only guarantees the equation factors — it does not by itself guarantee the two resulting lines are real. Exactly as in the purely homogeneous case, we additionally need h2≥ab (viewing the equation as a quadratic in x/y-type ratios of the leading terms), and by parallel reasoning eliminating x or y first, g2≥ac and f2≥bc as well — three inequalities that together certify that no part of the factorisation secretly involves an imaginary coefficient.
As a worked check: (x+2y−1)(2x−y+3)=0 expands to 2x2+3xy−2y2+x+7y−3=0, giving a=2,h=23,b=−2,g=21,f=27,c=−3. Substituting into abc+2fgh−af2−bg2−ch2 gives exactly zero, confirming algebraically that this equation is indeed a genuine pair of straight lines — matching its known factorisation into x+2y−1=0 and 2x−y+3=0. …