3.4.1基本不等式的证明