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