柯西不等式a^2 b^2 2c^2=8