a^2-3b>0のとき、負の微分係数があり、これを正の数cを用いて-1/cと書けば、
f'(x)=3x^2+2ax+b=cの判別式/4=a^2-3(b-c)=a^2-3b+3c>0より、f'(x)=cを満たすxが二個ある