Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2020 INMO Problems/Problem 4"

(Created page with "==Problem== Let <math>n \geqslant 2</math> be an integer and let <math>1<a_1 \le a_2 \le \dots \le a_n</math> be <math>n</math> real numbers such that <math>a_1+a_2+\dots+a_n...")
 
(→‎Solution(2))
Line 30: Line 30:
 
----------
 
----------
  
−
[b]<math>\boxed{\text{Claim(1)}}</math>[/b]
+
<math>\boxed{\text{Claim(1)}}</math>
  
 
<math>S_1 <2^{n-1}</math>.
 
<math>S_1 <2^{n-1}</math>.
  
−
[b] Proof [/b]
+
<math>\textbf{ Proof:}</math>
  
 
Using Tchevbycev inequality we have ,
 
Using Tchevbycev inequality we have ,
Line 56: Line 56:
 
<math><2^{n-1}</math>.
 
<math><2^{n-1}</math>.
  
−
[hide="Since"],<math>a_1+\cdots +a_{n} =2n</math> and <math>a_n\ge 2</math> , Hence ,<math>a_1+\cdots +a_{n-1}\le 2n-2</math> [/hide]
+
Since,<math>a_1+\cdots +a_{n} =2n</math> and <math>a_n\ge 2</math> , Hence ,<math>a_1+\cdots +a_{n-1}\le 2n-2</math> .
  
 
-------------
 
-------------
Line 62: Line 62:
 
<math>2^{n-1}< a_1\cdots a_n \le 2^{n}</math>.
 
<math>2^{n-1}< a_1\cdots a_n \le 2^{n}</math>.
  
−
[b] Proof [/b]
+
<math>\textbf{Proof}</math>
 
  The RHS inequality is trivial by AM-GM inequality.
 
  The RHS inequality is trivial by AM-GM inequality.
  

Revision as of 12:32, 5 November 2020

Problem

Let $n \geqslant 2$ be an integer and let $1<a_1 \le a_2 \le \dots \le a_n$ be $n$ real numbers such that $a_1+a_2+\dots+a_n=2n$. Prove that\[a_1a_2\dots a_{n-1}+a_1a_2\dots a_{n-2}+\dots+a_1a_2+a_1+2 \leqslant a_1a_2\dots a_n.\]

Solution(1)

For $n=2$, we want to show that \[a_1 + 2 \le a_1a_2\] where $a_1+a_2 = 4$ and $1 < a_1 \le a_2$. This is equivalent to showing that $(a_1-1)(a_1-2) \le 0$, which is true.

Suppose, now, that the given inequality is true for $n=k$, where $k \ge 2$. Now, consider $k+1$ reals $1 < a_1 \le a_2 \le \cdots \le a_{k+1}$ with sum $2k+2$. Then, $1 < a_1 \le a_2 \le \cdots \le a_{k-1} \le a_k + a_{k+1}-2$ and $a_1 + a_2 + \cdots + a_{k-1}+(a_k+a_{k+1}-2) = 2k$, so by induction hypothesis,

\[\sum_{i=1}^{k-1} a_1a_2 \cdots a_i + 2 \le a_1a_2 \cdots a_{k-1} \cdot (a_k + a_{k+1} -2)\] This means \[\sum_{i=1}^k a_1a_2 \cdots a_i + 2 \le a_1a_2 \cdots a_{k-1} \cdot (2a_k + a_{k+1} - 2) = a_1a_2 \cdots a_{k-1} \cdot (a_ka_{k+1}-(a_k-1)(a_{k+1}-2)) \le a_1a_2 \cdots a_{k-1} \cdot (a_ka_{k+1})\] or \[a_1a_2 \cdots a_k + a_1a_2 \cdots a_{k-1} + \cdots + a_1a_2 + a_1 + 2 \leq a_1a_2 \cdots a_{k+1}\] as desired. ~biomathematics


Solution(2)

$\boxed{\text{Notation}}$[/b]

Define,$S_1=a_1+a_1a_2+\cdots +a_1\cdots a_{n-1}+2$. $S_2=a_2+a_2a_3+\cdots +a_2\cdots a_{n-1}+2$,

In general ,$S_i =a_i +\cdots + a_i\cdots a_{n-1}+2$.

$\forall i< n$.

$\boxed{\text{Claim(1)}}$

$S_1 <2^{n-1}$.

$\textbf{ Proof:}$

Using Tchevbycev inequality we have , $\frac{S_1}{n} \le \frac {(n-1)a_1+2}{n} \frac{S_2}{n}$.

$\implies S_1 \le \frac {(n-1)a_1+2}{n} S_2$.

$\le \frac {(n-1)a_1+2}{n} . \frac{ (n-2)a_2+2}{n-1} S_3$.

$\le \prod _{i=1}^{n+1} \frac {(n-i)a_i +2}{(n+1-i)}$.[Applying Induction on successive $S_i$].

$=\prod_{i=1}^{n-1} (a_i +\frac{2-a_i}{n+1-i})$.

$< \prod_{i=1}^{n-1} (a_i +\frac {2-a_i}{2}$.

$=\prod_{i=1}^{n-1} \frac {a_i+2}{2}$.

$\le ( \frac{\frac{a_1+\cdots +a_{n-1}}{2}+(n-1)}{n-1})^{n-1}$.[using GM-AM]


$<2^{n-1}$.

Since,$a_1+\cdots +a_{n} =2n$ and $a_n\ge 2$ , Hence ,$a_1+\cdots +a_{n-1}\le 2n-2$ .

[b]$\boxed{\text{Claim(2)}}$[/b] $2^{n-1}< a_1\cdots a_n \le 2^{n}$.

$\textbf{Proof}$ 

The RHS inequality is trivial by AM-GM inequality.

For LHS inequality I would like to use induction.

$\boxed{n=2}$.

We have $a_1+a_2=4$ ,$1<a_1\le 2$ and $a_2\ge 2$.

$\implies a_1a_2 > 2$. Suppose , the statement is true for$n=k$ such that , $a_1+\cdots +a_k =2k$ and $a_1 \cdots a_K>2^{k-1}$.

Now , consider $1<b_1 \le b_2 \cdots \le b_{k+1}$.

Suppose ,$b_j =2$ is median of the sequence, and$a_i=b_i ,\forall i<j$ and $a_i=b_{i+1},\forall k\ge i>j$.

$\implies b_1+...+b_{k+1}=2k+2$ and $b_1..b_{k+1}>2^k$.

Our induction step is complete.

This two claim leads$S_1<a_i \cdots a_n$ and equality for $a_1=a_2=\cdots =a_n=2$.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2020_INMO_Problems/Problem_4&oldid=136608"