当 $a+b$ 一定时，$|a-b|$ 越小，$a\times b$ 越大是如何证明出来的，bdfs 以后还是有点不清楚