设a.b为实数,求证根号a2+b2≥根号2╱2(a+b)