注：@代表平方。由原不等式移项得：3a@(a-b)-3a@b大于等于2ab@-2b的三次方，合并同类项并整理：3a@(a-b)大于等于2b@(a-b)。因为a大于等于b>0，所以a-b大于等于0，3a@大于等于2b@，所以原不等式成立！
