まず、f(x)=x3−3x2+4 とおく。 この関数が x≥0 において f(x)≥0 となることを示す。 f′(x)=3x2−6x=3x(x−2) f′(x)=0 となるのは x=0,2 のとき。 f(0)=4>0 f(2)=23−3(22)+4=8−12+4=0 x≥0 における f(x) の増減表は以下のようになる。 | x | 0 | ... | 2 | ... |
| ----- | --- | --- | --- | --- |
| f'(x) | 0 | - | 0 | + |
| f(x) | 4 | ↓ | 0 | ↑ |
増減表より、x≥0 において f(x) の最小値は f(2)=0 である。 したがって、x≥0 において f(x)≥0 が成り立つ。 よって、x3−3x2+4≥0 が証明された。