f'(x)=3x^2+2ax+b=3(x+a/3)^2+b-a^2/3だからb-a^2/3は微分係数の最小
これが正なら、微分係数はどれも正なので、どんな微分係数の積も-1になりえない
これが負なら、任意の負の微分係数に対して積が-1となる微分係数が二つ存在する