柯西不等式及三角不等式