柯西不等式的证明应用选题的可行性