>>248

xx-xy+yy ≧ 0,
(左辺−右辺）はmについて単調増加。
∴｛a，b，c｝の差（x，y）を固定して一斉に増加すれば増加する。
∴ m=0 の場合を考えれば十分。

（sageるのを忘れてしまった…）