3.4.1 基本不等式的证明(1)