An irrational inequality (or equation) of the “shortcut” type appears very often when a geometric distance condition is translated into formulae. Let us look at a typical example that we shall meet again in the chapter on pencils of lines.

Example — Find the lines through PP at a fixed distance from QQ

Determine the lines through P(2;4)P(2;4) that are at distance 33 from the point Q(2;4)Q(-2;4).

Set-up. A line through PP has equation y4=m(x2)y-4=m(x-2), that is, in implicit form mxy2m+4=0mx - y - 2m + 4 = 0. The distance of Q(2;4)Q(-2;4) from it is: d(Q,r)=m(2)42m+4m2+1=4mm2+1=4mm2+1.d(Q,r) = \frac{|m(-2) - 4 - 2m + 4|}{\sqrt{m^2+1}} = \frac{|-4m|}{\sqrt{m^2+1}} = \frac{4|m|}{\sqrt{m^2+1}}.

Equation. d(Q,r)=3d(Q,r)=3 becomes 4mm2+1=3    4m=3m2+1.\frac{4|m|}{\sqrt{m^2+1}} = 3 \iff 4|m| = 3\sqrt{m^2+1}.

We are in a “shortcut” case: left-hand side A|A|, right-hand side a positive multiple of B\sqrt{B}, both 0\ge 0. We square directly without sign-splitting (the m2=m2|m|^2=m^2 makes the absolute value disappear): 16m2=9(m2+1)    7m2=9    m2=97    m=±37.16 m^2 = 9(m^2+1) \iff 7m^2 = 9 \iff m^2 = \tfrac{9}{7} \iff m = \pm\tfrac{3}{\sqrt{7}}.

The excluded case: the vertical line. The parametrisation y4=m(x2)y-4=m(x-2) does not include the vertical lines. Let us check separately: the line x=2x=2 is at distance 22=4|-2-2|=4 from QQ, and 434\ne 3, so it is not a solution.

Solution: there are exactly two lines, y4=±37(x2)\boxed{\,y-4 = \pm\tfrac{3}{\sqrt{7}}(x-2)\,}.

Remark — Why we did not need to split

Had we ignored the structure and treated 4m=3m2+14|m| = 3\sqrt{m^2+1} as “a root to isolate”, we would have added the conditions 4m04|m|\ge 0 (always true) and 3m2+103\sqrt{m^2+1}\ge 0 (always true). Neither of these restricts the domain: it is recognising the structure “both sides always 0\ge 0” that tells us, even before calculating, that such conditions will be useless.

Topics: Irrational inequalities
Concepts: Irrational inequality · Point–line distance · Pencil of lines · Line · Absolute value
Methods: Squaring · Non-negative sides shortcut
Skills: Analytic geometry · Using formulae