Select Page

# Understand the problem

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
Easy
##### Suggested Book
Inequalities: An Approach Through Problems
by B.J. Venkatachala

Do you really need a hint? Try it first!

Try using induction.
As the inequality is symmetric in $x_1,x_2,\cdots x_n$, introducing an order might help.
Consider the inequality as $f(x_1,x_2,\cdots x_n)\ge 0$.

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

# Connected Program at Cheenta

Math Olympiad is the greatest and most challenging academic contest for school students. Brilliant school students from over 100 countries participate in it every year. Cheenta works with small groups of gifted students through an intense training program. It is a deeply personalized journey toward intellectual prowess and technical sophistication.

# Similar Problems

## Functional Equation Problem from SMO, 2018 – Question 35

Try this problem from Singapore Mathematics Olympiad, SMO, 2018 based on Functional Equation. You may use sequential hints if required.

## Sequence and greatest integer | AIME I, 2000 | Question 11

Try this beautiful problem from the American Invitational Mathematics Examination, AIME, 2000 based on Sequence and the greatest integer.

## Arithmetic sequence | AMC 10A, 2015 | Problem 7

Try this beautiful problem from Algebra: Arithmetic sequence from AMC 10A, 2015, Problem. You may use sequential hints to solve the problem.

## Series and sum | AIME I, 1999 | Question 11

Try this beautiful problem from the American Invitational Mathematics Examination I, AIME I, 1999 based on Series and sum.

## Inscribed circle and perimeter | AIME I, 1999 | Question 12

Try this beautiful problem from the American Invitational Mathematics Examination I, AIME I, 2011 based on Rectangles and sides.

## Problem based on Cylinder | AMC 10A, 2015 | Question 9

Try this beautiful problem from Mensuration: Problem based on Cylinder from AMC 10A, 2015. You may use sequential hints to solve the problem.

## Cubic Equation | AMC-10A, 2010 | Problem 21

Try this beautiful problem from Algebra, based on the Cubic Equation problem from AMC-10A, 2010. You may use sequential hints to solve the problem.

## Median of numbers | AMC-10A, 2020 | Problem 11

Try this beautiful problem from Geometry based on Median of numbers from AMC 10A, 2020. You may use sequential hints to solve the problem.

## LCM and Integers | AIME I, 1998 | Question 1

Try this beautiful problem from the American Invitational Mathematics Examination, AIME, 1998, Problem 1, based on LCM and Integers.

## Problem on Fraction | AMC 10A, 2015 | Question 15

Try this beautiful Problem on Fraction from Algebra from AMC 10A, 2015. You may use sequential hints to solve the problem.