令m=√（x+0.5）,n=√（y+0.5）
即m∧2+n∧2=2
根据平方平均大于等于算术平均
√(（m∧2+n∧2）/2)≥（m+n）/2
所以m+n≤2
根号(a+1/2)+根号(b+1/2)小于等于2