√a²+b²与√2/2(a+b)比较大小并证明