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\]

Source of the problem
Iberoamerican olympiad 2011
Topic
Inequalities
Difficulty Level
Easy
Suggested Book
Inequalities: An Approach Through Problems
by B.J. Venkatachala

Start with hints

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

Watch the video (Coming Soon)

Connected Program at Cheenta

Math Olympiad Program

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

Inequality Module for I.S.I. Entrance and Math Olympiad

Inequality module for I.S.I. Entrance and Math Olympiad Program begins on 13th October, 2019. Taught by Srijit Mukherjee (I.S.I. Kolkata)

Polynomial Functional Equation – Random Olympiad Problem

This beautiful application of Functional Equation is related to the concepts of Polynomials. Sequential hints are given to work out the problem and to revisit the concepts accordingly.

Number Theory – Croatia MO 2005 Problem 11.1

This beautiful application from Croatia MO 2005, Problem 11.1 is based on the concepts of Number Theory. Sequential hints are given to work the problem accordingly.

SMO(senior)-2014 Problem 2 Number Theory

This beautiful application from SMO(senior)-2014 is based on the concepts of Number Theory . Sequential hints are provided to understand and solve the problem .

SMO (senior) -2014/problem-4 Number Theory

This beautiful application from SMO(senior)-2014/Problem 4 is based Number Theory . Sequential hints are provided to understand and solve the problem .

The best exponent for an inequality

Understand the problemLet be positive real numbers such that .Find with proof that is the minimal value for which the following inequality holds:Albania IMO TST 2013 Inequalities Medium Inequalities by BJ Venkatachala Start with hintsDo you really need a hint? Try...

A functional inequation

Understand the problemFind all functions such thatholds for all . Benelux MO 2013 Functional Equations Easy Functional Equations by BJ Venkatachala Start with hintsDo you really need a hint? Try it first!Note that the RHS does not contain $latex y$. Thus it should be...

Mathematical Circles Inequality Problem

A beautiful inequality problem from Mathematical Circles Russian Experience . we provide sequential hints . key idea is to use arithmetic mean , geometric mean inequality.

RMO 2019

Regional Math Olympiad (RMO) 2019 is the second level Math Olympiad Program in India involving Number Theory, Geometry, Algebra and Combinatorics.

AMC 2019 12A Problem 15 Diophantine Equation

Beautiful application of Logarithm and Diophantine Equation in American Mathematics Competition (2019) 12A