基本不等式及柯西不等式