几个基本不等式的推理