Analyzing the Setup
Imagine you are standing on the edge of a vast, infinite landscape representing the codomain of our function, the set of all real numbers R. Our goal is to ensure that our function
is 'onto'. This means that every single point in this infinite landscape must be reached by at least one input x. If even one point is left untouched, the function fails to be onto, which is the essence of the surjective property.
The Algebraic Bridge
To tackle this, we must build a bridge between the output y and the input x. We start by setting:
By cross-multiplying, we get y(α+6x−8x2)=αx2+6x−8. If we gather all terms on one side, we transform this into a quadratic equation in x:
(8y+α)x2+(6−6y)x−(8+αy)=0
This is the heart of the problem. For the function to be onto, for every y∈R, there must exist at least one real x. This is only possible if the quadratic equation we just derived has real roots for every y.
The Discriminant Dance
How do we ensure a quadratic has real roots? We invoke the discriminant, Dx=b2−4ac. For real roots, we require Dx≥0.
Substituting our coefficients, we get:
Dx=[6(1−y)]2−4(8y+α)(−(8+αy))≥0
Expanding this, we get 36(1−y)2+4(8y+α)(8+αy)≥0. Dividing by 4 simplifies our life:
9(1−2y+y2)+(64y+8αy2+8α+α2y)≥0
Combining like terms, we arrive at a new quadratic inequality in y:
(9+8α)y2+(α2+46)y+(9+8α)≥0
The Global Inequality
Here is the crucial realization: this inequality must hold for all y∈R. For a quadratic in y to be non-negative for all y, it must be an upward-opening parabola that never dips below the y-axis.
This gives us two conditions:
1. The leading coefficient must be positive: 9+8α>0, which means α>−89.
2. The discriminant of this y-quadratic must be less than or equal to zero, Dy≤0.
Calculating Dy:
Using the difference of squares, we factor this into (α2−16α+28)(α2+16α+64)≤0. This simplifies to:
Since (α+8)2 is always non-negative, we focus on (α−2)(α−14)≤0, giving us the interval α∈[2,14].
The Final Verdict on Injectivity
Finally, we test α=3. The function becomes f(x)=3+6x−8x23x2+6x−8.
To check if it is one-to-one, we check if f(x)=0 has multiple roots. Setting the numerator to zero, 3x2+6x−8=0, we find the discriminant:
Since D>0, there are two distinct real roots. Because two different inputs map to the same output (zero), the function is not one-to-one.