若a ≥ b,则a³ ≥ b³,此时(a-b)(a³-b³) ≥ 0.
若a < b,则a³ < b³,此时也成立(a-b)(a³-b³) ≥ 0.
因此(a-b)(a^3-b^3) ≥ 0对任意实数a,b成立.
展开即得a⁴-a³b ≥ ab³-b⁴.
若a ≥ b,则a³ ≥ b³,此时(a-b)(a³-b³) ≥ 0.
若a < b,则a³ < b³,此时也成立(a-b)(a³-b³) ≥ 0.
因此(a-b)(a^3-b^3) ≥ 0对任意实数a,b成立.
展开即得a⁴-a³b ≥ ab³-b⁴.