柯西不等式 一般形式性质 一般形式 ∑ k = 1 n a k ∑ k = 1 n b k ≥ ∑ k = 1 n a k b k \sum_{k=1}^{n}a_k \sum_{k=1}^{n}b_k \geq \sum_{k=1}^n\sqrt{a_k b_k} k=1∑nakk=1∑nbk≥k=1∑nakbk 性质 TODO