2
$\begingroup$

Show that the function $g(x)=x^4+x^3+1$ is one-to-one on $[0,2]$.

My attempt

To prove one-to-oneness, we shall use the definition, that is, if $f(x_1)=f(x_2)$ , then $x_1=x_2$ for all $x_1,x_2\in[0,2]$

Suppose $f(x_1)=f(x_2)$, then ${x_1}^4+{x_1}^3+1={x_2}^4+{x_2}^3+1$

Which wasn't much of an attempt, as I got stuck.

Also I am rather new to proving conjections and surjections.

Help! Thanks in advance!

  • 3
    Hint: derivative.2012-10-29

2 Answers 2

2

The derivative is $x \mapsto 4x^3 + 3x^2$ which is non-negative on $[0,2]$. So your functions is increasing on $[0,2]$ so it is one-to-one on $[0,2]$.

  • 2
    The function is increasing on $[0,2]$ but the derivative is >0 only on $(0,2]$. Hence more care is needed than in the present version of this answer.2012-10-29
2

First, it would be easier to just prove that the function is increasing on the interval. That being said, we may be able to push your solution a bit further. Using difference of fourths and difference of cubes, we have $0=x_1^4 - x_2^4 + x_1^3 - x_2^3$ $=(x_1 - x_2)(x_2^3 + x_2^2x_1 + x_2x_1^2 + x_1^3) + (x_1 - x_2)(x_2^2 + x_1x_2 + x_1^2)$ factoring out $(x_1 - x_2)$, it's easy to see that the latter part will be positive on the interval, this requires $x_1 = x_2$.

  • 0
    Well @VF1, that's exactly what was meant by "factor out" in the above answer: to divide out by! Of course we can assume $\,x_1\neq x_2\,$ , after all we're trying to prove injectivity2012-10-29