1/2(a^2+b^2)+1
=(a^2+1)/2+(b^2+1)/2
≥ 根号下(a^2+1)*根号下(b^2+1).
原式得证