瞬间明白柯西不等式，向量在证明里的的妙用，简直是摧枯拉朽