How do you conclude:
a³ + a = b³ + b => a³ = b³?
That is pretty much just as hard as showing f injective. How much math have you had? If you have had calculus simply show that it's continuous and strictly increasing (positive derivative). If you don't know calculus, but know that x is strictly increasing and [itex]x^3[/itex] is increasing, then you can conclude that f(x) is strictly increasing because it's the sum of a strictly increasing and an increasing function, and it's continuous, but this implies that it's injective.
If you want to brute-force it, do as you did till you reach:
[tex]a^3 + a = b^3 + b[/tex]
Move to one side and factor like:
[tex]\begin{align*} 0 &= a^3 -b^3+ a-b \\<br />
&= (a-b)(a^2-ab+b^2) + (a-b) \\<br />
&= (a-b)(a^2 +b^2 - ab + 1) \end{align*}[/tex]
for this to hold you must have a=b, or
a^2 +b^2 - ab + 1 = 0
which you can show is a contradiction for real numbers (consider for instance the discriminant).