1.2 - Finding ranges with a discriminant

1.2 - Finding ranges with a discriminant

Which horizontal lines actually meet a rational curve? You will turn this geometric question into an equation in the input, use a discriminant to find possible outputs, and check exceptional values and holes before stating the range.

A horizontal-line equation

Can f(x)=(x2+1)/(x2+4)f(x)=(x^2+1)/(x^2+4) ever have output 11, or does its horizontal asymptote prevent that? An asymptote alone does not answer the question: some curves cross theirs.

Fix an output yy and ask whether there is a real allowed xx with f(x)=yf(x)=y. For y=1/2y=1/2, cross-multiplication gives x2+4=2x2+2x^2+4=2x^2+2, hence x=±2x=\pm\sqrt2. For y=1y=1, it gives x2+4=x2+1x^2+4=x^2+1, which is impossible.

Range

The range of a function is the set of outputs attained at inputs in its domain. A value yy is in the range exactly when the horizontal line at height yy meets the graph.

Keep yy as a parameter when rearranging. The result may be quadratic in xx, even though its coefficients contain yy. Cross-multiplication is equivalent to the original equation only when the original denominator is nonzero.

Worked example 1: setting up a level equation

Question. Rearrange y=(x2+1)/(x2+4)y=(x^2+1)/(x^2+4) as an equation in xx, and check y=1y=1.

Plan. Multiply by the positive denominator and collect powers of xx.

y(x2+4)=x2+1(y−1)x2+4y−1=0.\begin{aligned} y(x^2+4)&=x^2+1 \\ (y-1)x^2+4y-1&=0. \end{aligned}

At y=1y=1, the coefficient of x2x^2 vanishes and the equation becomes 3=03=0.

Answer. The level equation is (y−1)x2+4y−1=0(y-1)x^2+4y-1=0; the output 11 is not attained.

Check. Independently, f(x)=1−3/(x2+4)<1f(x)=1-3/(x^2+4)<1 for every real input, confirming that 11 is impossible.

Add only the term xx to the numerator. This time the exceptional equation at y=1y=1 is linear rather than impossible.

Worked example 2: an asymptote that is crossed

Question. Repeat the calculation for g(x)=(x2+x+1)/(x2+4)g(x)=(x^2+x+1)/(x^2+4).

Plan. Collect the linear term as well, then substitute y=1y=1 into the level equation.

y(x2+4)=x2+x+1⇒(y−1)x2−x+4y−1=0.y(x^2+4)=x^2+x+1 \quad\Rightarrow\quad (y-1)x^2-x+4y-1=0.

At y=1y=1, this becomes −x+3=0-x+3=0, giving x=3x=3. The denominator there is 13≠013\ne0.

Answer. The level equation is (y−1)x2−x+4y−1=0(y-1)x^2-x+4y-1=0. The output 11 is attained at (3,1)(3,1), even though y=1y=1 is a horizontal asymptote.

Check. Substituting into the original function gives g(3)=(9+3+1)/(9+4)=1g(3)=(9+3+1)/(9+4)=1.

The coefficient y−1y-1 warns us that a quadratic method will need a separate case. Losing the quadratic term does not automatically lose the output.

Allowed output values

A quadratic level equation has a real solution precisely when its discriminant is nonnegative, provided its quadratic coefficient is nonzero.

Real roots of a quadratic

For real coefficients in Ax2+Bx+C=0Ax^2+Bx+C=0, with A≠0A\ne0, real roots exist if and only if

Δ=B2−4AC≥0.\Delta=B^2-4AC\ge0.

The quadratic formula is in MF19; this real-root criterion is not separately stated there: learn it.

Here A,B,CA,B,C are expressions in yy. Solve the discriminant inequality for yy, then check every value making A=0A=0 in the original level equation. Finally check that the real inputs are allowed. When the denominator is positive for all real inputs, that last check is particularly simple.

Worked example 3: a missing endpoint

Question. Find the range of f(x)=(x2+1)/(x2+4)f(x)=(x^2+1)/(x^2+4).

Plan. Use its level equation, then check the exceptional output separately.

For y≠1y\ne1, the equation (y−1)x2+4y−1=0(y-1)x^2+4y-1=0 has

Δ=−4(y−1)(4y−1)≥0⇒14≤y≤1.\Delta=-4(y-1)(4y-1)\ge0 \quad\Rightarrow\quad \frac14\le y\le1.

At y=1/4y=1/4, the equation gives x=0x=0, which is allowed. At y=1y=1, it gives 3=03=0, so this endpoint is excluded. Every value between them gives real inputs with nonzero denominator.

Answer. The range is [1/4,1)[1/4,1).

Check. The independent form f=1−3/(x2+4)f=1-3/(x^2+4) has minimum 1−3/4=1/41-3/4=1/4 at 00, and tends to 11 from below without attaining it.

Now use the numerator with the additional linear term from Worked example 2. It changes both discriminant boundaries and makes 11 an interior allowed value.

Worked example 4: two attained endpoints

Question. Find the range of g(x)=(x2+x+1)/(x2+4)g(x)=(x^2+x+1)/(x^2+4).

Plan. Apply the discriminant to (y−1)x2−x+4y−1=0(y-1)x^2-x+4y-1=0, checking y=1y=1 separately.

For y≠1y\ne1,

Δ=1−4(y−1)(4y−1)=−16y2+20y−3≥0.\begin{aligned} \Delta&=1-4(y-1)(4y-1) \\ &=-16y^2+20y-3\ge0. \end{aligned}

The boundary equation 16y2−20y+3=016y^2-20y+3=0 has roots

a=5−138,b=5+138.a=\frac{5-\sqrt{13}}8,\qquad b=\frac{5+\sqrt{13}}8.

The concave quadratic Δ\Delta is nonnegative between these roots. At either boundary, the repeated input is x=1/(2(y−1))x=1/(2(y-1)), a real allowed input. At y=1y=1, the linear equation gives the allowed input 33.

Answer. The range is [a,b][a,b], including both endpoints.

Check. Differentiating the original function gives g′=(−x2+6x+4)/(x2+4)2g'=(-x^2+6x+4)/(x^2+4)^2. The stationary inputs 3±133\pm\sqrt{13} give heights a,ba,b, respectively, independently checking the range boundaries.

At a boundary the horizontal line is tangent to the curve; between the two boundaries it intersects it. The exceptional height 11 still intersects, but its level equation is linear.

[DIAGRAM: asset_name: Range as horizontal intersections; asset_slug: cam9231-discriminant-range; caption: Boundary heights are attained where horizontal lines are tangent; description: Exact graph of (x squared plus x plus 1)/(x squared plus 4), with stationary inputs 3 minus square root 13 and 3 plus square root 13, horizontal boundary levels (5 minus square root 13)/8 and (5 plus square root 13)/8, and a labelled crossing (3,1) of the dashed horizontal asymptote y equals 1. A side interval shows both boundary heights included.]
Boundary heights are attained where horizontal lines are tangent

Use the level equation as a problem-solving bridge between geometry and algebra. A discriminant answers “is there a real intersection?” without requiring you to find every intersection.

Endpoints and excluded values

Real algebraic roots are useful only if they belong to the original domain; a hole can remove an otherwise possible output.

At Δ=0\Delta=0, substitute the repeated root into the original denominator before including the boundary. If a level equation becomes linear, solve it directly. If it becomes a contradiction, exclude that output; if it becomes an identity, any allowed input suffices. These checks turn candidate outputs into an actual range.

Worked example 5: an output that no finite input gives

Question. Find the range of f(x)=(x+2)/(x+1)f(x)=(x+2)/(x+1).

Plan. Solve for the input and test the exceptional output.

For x≠−1x\ne-1,

y(x+1)=x+2⇒(y−1)x=2−y.y(x+1)=x+2 \quad\Rightarrow\quad (y-1)x=2-y.

If y≠1y\ne1, x=(2−y)/(y−1)x=(2-y)/(y-1). This cannot equal −1-1, since that would require 2−y=1−y2-y=1-y. If y=1y=1, the equation becomes 0=10=1.

Answer. Every real output except 11 is attained: R∖{1}\mathbb R\setminus\{1\}.

Check. The independent form f=1+1/(x+1)f=1+1/(x+1) gives every height above 11 on x>−1x>-1 and every height below 11 on x<−1x<-1, but never 11 itself.

Represent the same simplified expression with an additional cancelled factor. The only change is that its original domain now has one extra hole.

Worked example 6: a hole removes another output

Question. Find the range of g(x)=(x2−4)/(x2−x−2)g(x)=(x^2-4)/(x^2-x-2).

Plan. Preserve both denominator exclusions, then use the preceding inverse expression.

g(x)=(x−2)(x+2)(x−2)(x+1)=x+2x+1,x≠2,−1.g(x)=\frac{(x-2)(x+2)}{(x-2)(x+1)} =\frac{x+2}{x+1},\qquad x\ne2,-1.

The output 11 is still impossible. The removed input 22 would have output 4/34/3. For that output, the equation (y−1)x=2−y(y-1)x=2-y gives only x=2x=2, so no other input restores it. Every other output except 11 has an allowed input.

Answer. The range is R∖{1,4/3}\mathbb R\setminus\{1,4/3\}.

Check. Substitute y=4/3y=4/3 directly into the original cross-multiplied quadratic: it reduces to (x−2)2=0(x-2)^2=0. Its only root is excluded. Thus even a nonnegative discriminant can give no valid point on the original graph.

The opening curve cannot attain 11, but the curve with an extra linear numerator term can. Always decide by a valid input, rather than a rule about asymptotes.

Watch out

Δ≥0\Delta\ge0 certifies real roots of the rearranged equation, not permission to divide by zero in the original function. Keep the domain beside the calculation.

Identify the missing height as well as the horizontal asymptote in this final check.

Quick Recap

  • Fix yy, then rearrange the horizontal-line equation in xx.
  • Apply Δ≥0\Delta\ge0 only when the quadratic coefficient is nonzero.
  • Solve exceptional linear or constant equations separately.
  • Include a boundary or other output only when an original-domain input attains it.

For the opening curve, the height 11 gives an impossible equation, so the range ends just below it.