a,b>0,证(根号下a的平方+b的平方)大于等于[(根号2/2)(a+b)