√(x^2+y^2) >=√2/2*(x+y) 这是什么公式?