Determina el menor entero $n$ para el cual existen enteros $x_1,\ldots,x_n$ y enteros positivos $a_1,\ldots,a_n$ tales que \begin{align*} x_1+\cdots+x_n &=0,\\ a_1x_1+\cdots+a_nx_n&>0, \text{ y }\\ a_1^2x_1+\cdots+a_n^2x_n &<0. \end{align*}