基本不等式与柯西不等式