3.4 基本不等式ab≤a+b2 (一)