Analyzing the Setup
The rational function is defined as f(x)=x−c(x−a)(x−b). The problem asserts that this function assumes all real values, meaning the range of f(x) is (−∞,∞).
To analyze this, we set y=x−c(x−a)(x−b). For y to span all real numbers, there must exist at least one real x for every chosen y.
The Transformation
We begin by cross-multiplying the denominator:
y(x−c)=(x−a)(x−b)
Expanding both sides yields:
yx−cy=x2−(a+b)x+ab
Rearranging the terms into a standard quadratic equation in terms of
x, we obtain:
x2−(a+b+y)x+(ab+cy)=0
The Discriminant Trap
Since
x must be a real number, the discriminant
Dx of this quadratic equation must be non-negative (
Dx≥0). Calculating the discriminant:
Dx=(a+b+y)2−4(ab+cy)≥0
Expanding the squared term
(a+b+y)2 as
(a+b)2+y2+2y(a+b), the inequality becomes:
y2+2y(a+b)+(a+b)2−4ab−4cy≥0
Grouping the terms by powers of
y, we arrive at a new quadratic inequality in
y:
y2+2y(a+b−2c)+(a−b)2≥0
The Meta-Quadratic
The problem states that y takes all real values. Therefore, the inequality y2+2y(a+b−2c)+(a−b)2≥0 must hold for all y∈R.
For a quadratic
Ay2+By+C to be non-negative for all
y, its own discriminant
Dy must be less than or equal to zero (
Dy≤0). We calculate
Dy:
Dy=[2(a+b−2c)]2−4(1)(a−b)2≤0
Final Calculation
Dividing the inequality by 4, we simplify the expression to:
(a+b−2c)2−(a−b)2≤0
Applying the difference of squares identity
X2−Y2=(X−Y)(X+Y), where
X=(a+b−2c) and
Y=(a−b):
[(a+b−2c)−(a−b)]⋅[(a+b−2c)+(a−b)]≤0
Simplifying the terms inside the brackets:
(2b−2c)(2a−2c)≤0
Dividing by 4, we reach the final condition:
(b−c)(a−c)≤0
This result implies that c must lie between a and b (inclusive of the endpoints if the function remains defined). This is the necessary and sufficient condition for the rational function to assume all real values.