a1^2+a2^2+...+an^2=1
x1^2+x2^2+..+xn^1=1
两式相加得
a1^2+x1^2+a2^2+x2^2+.+an^2+xn^2=2
>=2a1x1+2a2x2+.+2anxn
∴2a1x1+2a2x2+.+2anxn