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!

  • 0
    Do you have any properties of one-to-one fuctions that you can use? For example, if $f$ and $g$ are both one-to-one, then $f\circ g$ is one-to-one. Can you use that?2012-10-29
  • 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]$.

  • 0
    Not positive at 0.2012-10-29
  • 0
    I meant non-negative. In my country (France), x positive <=> x >= 0 and x strictly positive <=> x > 02012-10-29
  • 0
    Does it work the same for increasing? Should I put "non-decreasing"?2012-10-29
  • 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
    Why are you allowed to factor out $x_1-x_2$ if they're equal?2012-10-29
  • 1
    @VF1 $xy + xz = x(y + z)$2012-10-29
  • 0
    Oh, sorry, never mind. For some reason I interpreted "factor" as "divide out by." My mistake.2012-10-29
  • 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