基本不等式和柯西不等式