展开 证明柯西施瓦茨不等式取等号的条件是向量线性相关