对,这个只是柯西不等式的一个应用.
柯西不等式：
(a1^2 + a2^2 + ...+ an^2)(b1^2 + b2^2 + ...+ bn^2) >= (a1b1 + a2b2 + ...+ anbn)^2
这里面令b1=b2=...=bn=1,带入就是你要的结果.