a2+b2/2-(a+b/2)2
=a²/2+b²/2-(a²+2ab+b²)4
=(a²-2ab+b²)/4
=[(a-b)/2]²
>=0
∴(a²+b²)/2≥[(a+b)/2]²