柯西不等式6个基本公式推