基本不等式(12.10)