# Understand the problem

[/et_pb_text][et_pb_text _builder_version="3.22.4" text_font="Raleway||||||||" background_color="#f4f4f4" box_shadow_style="preset2" custom_margin="10px||10px" custom_padding="10px|20px|10px|20px"]Let $x_1,\ldots ,x_n$ be positive real numbers. Show that there exist $a_1,\ldots ,a_n\in\{-1,1\}$ such that:
$$a_1x_1^2+a_2x_2^2+\ldots +a_nx_n^2\ge (a_1x_1+a_2x_2+\ldots + a_n x_n)^2$$

Inequalities: An Approach Through Problems
by B.J. Venkatachala

[/et_pb_text][et_pb_tabs active_tab_background_color="#0c71c3" inactive_tab_background_color="#000000" _builder_version="3.23.3" tab_text_color="#ffffff" tab_font="||||||||" background_color="#ffffff"][et_pb_tab title="Hint 0" _builder_version="3.22.4"]Do you really need a hint? Try it first!

[/et_pb_tab][et_pb_tab title="Hint 1" _builder_version="3.23.3"]Try using induction.[/et_pb_tab][et_pb_tab title="Hint 2" _builder_version="3.23.3"]As the inequality is symmetric in $x_1,x_2,\cdots x_n$, introducing an order might help.[/et_pb_tab][et_pb_tab title="Hint 3" _builder_version="3.23.3"]Consider the inequality as $f(x_1,x_2,\cdots x_n)\ge 0$.[/et_pb_tab][et_pb_tab title="Hint 4" _builder_version="3.23.3"]

Let us assume that $x_1\ge x_2\ge\cdots\ge x_n$.   Claim $a_{odd}=1, a_{even}=-1$ works.   Proof: For $n=1$ Trivial.   For $n=2$ The inequality is equivalent to $x_1^2-x_2^2\ge (x_1-x_2)^2$. Expanding, this becomes $x_1x_2\ge x_2^2$ which is a consequence of $x_1\ge x_2$.   For $n\ge 3$   Consider $a_1x_1^2+a_2x_2^2+\cdots +a_nx_n^2-(a_1x_1+a_2x_2+\cdots +a_nx_n)^2$ as a function of $x_1$ (say $f(x_1)$). We need to show that the minimum of $f$ is at least 0. Clearly, $f$ is linear in $x_1$ and the coefficient of $x_1$ is $2(x_2-x_3+x_4-x_5\cdots +(-1)^nx_n)$. Due to the order chosen, this coefficient is non-negative. Hence the minimum is attained at the minimum of $x_1$, which is $x_2$. However, putting $x_1=x_2$, we are left with  $a_3x_3^2+a_4x_4^2+\cdots +a_nx_n^2\ge (a_3x_3+a_4x_4+\cdots a_nx_n)^2$ which is true from the induction hypothesis.   QED