展开 证明柯西不等式的积分形式