Skip to content

Mathematics · Ch 17 — Pair of Straight Lines

Condition for Real and Distinct Lines ($h^2>ab$)

17.2

Condition for Real and Distinct Lines ($h^2>ab$)

Given a homogeneous second-degree equation ax2+2hxy+by2=0ax^2 + 2hxy + by^2 = 0, we must ask: does this always represent two real straight lines through the origin? To answer this, treat the equation as a quadratic in the ratio x/yx/y (assuming b≠0b \neq 0; the case b=0b=0 is handled separately below). Dividing throughout by y2y^2,

b(xy)2+2h(xy)+a=0.b\left(\frac{x}{y}\right)^2 + 2h\left(\frac{x}{y}\right) + a = 0.

This is an ordinary quadratic equation in the single unknown t=x/yt = x/y, so by the quadratic formula,

xy=−2h±4h2−4ab2b=−h±h2−abb.\frac{x}{y} = \frac{-2h \pm \sqrt{4h^2 - 4ab}}{2b} = \frac{-h \pm \sqrt{h^2 - ab}}{b}.

Each root gives one value of the slope-like ratio x/yx/y, and hence one line through the origin (since a fixed ratio x/y=kx/y = k describes the line x=kyx = ky). So the homogeneous equation always yields two such ratios algebraically — the question is whether they are real and distinct, real and equal, or not real at all, and this is governed entirely by the discriminant h2−abh^2 - ab appearing under the square root:

  • If h2>abh^2 > ab, the discriminant is positive, so h2−ab\sqrt{h^2-ab} is real and non-zero, giving two distinct real values of x/yx/y — two real, distinct lines through the origin.
  • If h2=abh^2 = ab, the discriminant is zero, so both roots of x/yx/y coincide — the two "lines" are actually the same line counted twice (a coincident pair).
  • If h2<abh^2 < ab, the discriminant is negative, so x/yx/y has no real value — the equation has no real linear factors, i.e. it represents no real lines through the origin (only the origin itself satisfies it as a real point; the two lines are a complex-conjugate pair).

When b=0b = 0 the same conclusion is reached directly: the equation becomes ax2+2hxy=0ax^2 + 2hxy = 0, i.e. x(ax+2hy)=0x(ax + 2hy) = 0, always giving the real line x=0x=0 together with ax+2hy=0ax+2hy=0, which are distinct precisely when h≠0h \neq 0 (and coincide only in the degenerate case a=h=0a=h=0) — consistent with h2>ab=0h^2 > ab = 0 reading as h≠0h \neq 0. …