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