Prove $\;ax^3+bx+c=0\;$, with $\;a,b>0\;$, has at most one real root.
Should I use Rolle's theory for this? But I use it, what is the boundary of this function? I can only work out x must not be zero. Is the domain then turn into x is not equal to 0?