>>889
三次関数f(x)が極値を持つ⇔f'(x)が二つの実数解を持つ。