不等式の証明は、左辺から右辺を引いたものが0以上であることを示すことで行います。
まず、2x2+3y2−4xy を計算します。 2x2+3y2−4xy=2x2−4xy+2y2+y2=2(x2−2xy+y2)+y2=2(x−y)2+y2 ここで、2(x−y)2≥0 であり、y2≥0 であるため、2(x−y)2+y2≥0 が成り立ちます。 したがって、2x2+3y2−4xy≥0 が証明されました。 等号が成立するのは、2(x−y)2+y2=0 のときです。 (x−y)2≥0 かつ y2≥0 なので、これが成り立つためには、同時に x−y=0 かつ y=0 である必要があります。 したがって、x=y=0 が等号成立条件です。