Skip to content

Mathematics · Ch 17 — Pair of Straight Lines

Perpendicularity and Coincidence Conditions

17.4

Perpendicularity and Coincidence Conditions

The angle formula derived in the previous section, tan⁡θ=∣2h2−aba+b∣\tan\theta=\left|\dfrac{2\sqrt{h^2-ab}}{a+b}\right|, has two important special cases that are asked about far more often than the general angle itself: when the lines are perpendicular (θ=90∘\theta=90^\circ) and when they coincide (θ=0∘\theta=0^\circ, really the same line twice).

Perpendicularity. From tan⁡θ=∣2h2−aba+b∣\tan\theta = \left|\dfrac{2\sqrt{h^2-ab}}{a+b}\right|, the angle is 90∘90^\circ exactly when this ratio is undefined, i.e. when its denominator vanishes while the numerator stays finite and non-zero:

a+b=0.a + b = 0.

This can also be seen directly from the slopes: m1m2=a/bm_1m_2 = a/b, and two lines are perpendicular exactly when m1m2=−1m_1m_2=-1, i.e. a/b=−1a/b=-1, i.e. a+b=0a+b=0. Notice that this condition depends only on the coefficients of x2x^2 and y2y^2 — the coefficient hh of xyxy plays no role at all in whether the lines are perpendicular, only in what the actual lines and their angle are otherwise. So, for example, the lines represented by λx2+8xy+2y2=0\lambda x^2+8xy+2y^2=0 are perpendicular for exactly one value of λ\lambda, found purely by solving λ+2=0\lambda+2=0, i.e. λ=−2\lambda=-2, regardless of the middle coefficient 88.

Coincidence. Two lines through the origin coincide (i.e. the "pair" is really one line, repeated) exactly when the discriminant of the underlying quadratic is zero, which — as established in the real-and-distinct-lines section — is precisely

h2=ab.h^2 = ab.

Geometrically, when h2=abh^2=ab the homogeneous expression becomes a perfect square: ax2+2hxy+by2=b(y−my)2ax^2+2hxy+by^2 = b\left(y - my\right)^2 for the repeated slope m=−h/bm=-h/b, so the "combined equation" is really b(y−mx)2=0b(y-mx)^2=0, a single line counted with multiplicity two. As a worked check, find λ\lambda so that x2+λxy+9y2=0x^2+\lambda xy+9y^2=0 represents a coincident pair: here a=1a=1, b=9b=9, h=λ/2h=\lambda/2, so h2=abh^2=ab becomes λ2/4=9\lambda^2/4 = 9, giving λ2=36\lambda^2=36, i.e. λ=±6\lambda=\pm6. …