基本不等式变形得到的ab小于等于(a^2+b^2)/2和ab小于或等于(a+b)^2/2