Sempificando una expresión algebraica

Question

Tengo las siguientes expresiones: $$f_1=a_1^2+a_2^2+\cdots+a_n^2$$$ $f_0=(a_1x_1+a_2x_2+\cdots+a_nx_n)^2$ $$$x_1^2+x_2^2+\cdots+x_n^2=1$ $ Necesito mostrar que:$$ f_1-f_0\ge0 para todos$x_i$. Supongamos que no todos los$a_i$ 's son cero.

Answer 1

PS