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 "2023 IMO Problems/Problem 4"
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 
==Problem==
 
==Problem==
 
Let <math>x_1, x_2, \cdots , x_{2023}</math> be pairwise different positive real numbers such that
 
Let <math>x_1, x_2, \cdots , x_{2023}</math> be pairwise different positive real numbers such that
−
<cmath>a_n = \sqrt{(x_1+x_2+···+x_n)(\frac1{x_1} + \frac1{x_2} +···+\frac1{x_n})}</cmath>
+
<cmath>a_n = \sqrt{(x_1+x_2+ \text{···} +x_n)(\frac1{x_1} + \frac1{x_2} + \text{···} +\frac1{x_n})}</cmath>
 
is an integer for every <math>n = 1,2,\cdots,2023</math>. Prove that <math>a_{2023} \ge 3034</math>.
 
is an integer for every <math>n = 1,2,\cdots,2023</math>. Prove that <math>a_{2023} \ge 3034</math>.
 +
 +
==Video Solution（中文讲解）subtitle in English==
 +
https://youtu.be/PcuPeV9tkhk
  
 
==Video Solution==
 
==Video Solution==
Line 8: Line 11:
  
 
==Solution==
 
==Solution==
−
We first solve for <math>a_1.</math> <math>a_1 = \sqrt{(x_1)(\frac{1}{x_1})} = \sqrt{1} = 1.</math>
+
We solve for <math>a_{n+2}</math> in terms of <math>a_n</math> and <math>x.</math>
−
Now we solve for
 
−
<math>a_{n+1}</math> in terms of <math>a_n</math> and <math>x.</math> <math>a_{n+1}^2 \\
 
−
= (\sum^{n+1}_{k=1}x_k)(\sum^{n+1}_{k=1}\frac1{x_k}) \\
 
−
= (x_{n+1}+\sum^{n}_{k=1}x_k)(\frac{1}{x_{n+1}}+\sum^{n}_{k=1}\frac1{x_k}) \\
 
−
= 1+\frac{1}{x_{n+1}}\sum^{n}_{k=1}x_k+x_{n+1}\sum^{n}_{k=1}\frac1{x_k} + (\sum^{n}_{k=1}x_k)(\sum^{n}_{k=1}\frac1{x_k}) \\
 
−
= 1+\frac{1}{x_{n+1}} \sum^{n}_{k=1}x_k+x_{n+1}\sum^{n}_{k=1}\frac1{x_k}+a_n^2</math>
 
−
 
 
−
By AM-GM, <math>a_{n+1}^2 \ge 1+a_n^2 + 2 \sqrt{(\frac{1}{x_{n+1}} \sum^{n}_{k=1}x_k)(x_{n+1} \sum^{n}_{k=1} \frac1{x_k})} = 1 + a_n^2 + 2a_n = (a_n+1)^2 \\ \text{}</math>
 
−
 
 
−
Hence, <math>a_{n+1} \ge a_n.</math> However, this is not of much use, as we can only determine that <math>a_{2023} \ge 2023. \\ \text{}</math>
 
−
 
 
−
Now, we solve for <math>a_{n+2}</math> in terms of <math>a_n</math> and <math>x.</math>
 
 
<math>a_{n+2}^2 \\  
 
<math>a_{n+2}^2 \\  
 
= (\sum^{n+2}_{k=1}x_k)(\sum^{n+2}_{k=1}\frac1{x_k}) \\
 
= (\sum^{n+2}_{k=1}x_k)(\sum^{n+2}_{k=1}\frac1{x_k}) \\
Line 37: Line 28:
  
 
Hence, <math>a_{n+2} \ge a_{n} + 2,</math> but equality is achieved only when <math>\frac{x_{n+1}}{x_{n+1}},\frac{x_{n+1}}{x_{n+2}},\frac{x_{n+2}}{x_{n+1}}, </math> and <math>\frac{x_{n+2}}{x_{n+2}}</math> are equal. They can never be equal because there are no two equal <math>x_k.</math>So <math>a_{2023} \ge a_1 + 3\times \frac{2023-1}{2} = 1 + 3033 = 3034</math>
 
Hence, <math>a_{n+2} \ge a_{n} + 2,</math> but equality is achieved only when <math>\frac{x_{n+1}}{x_{n+1}},\frac{x_{n+1}}{x_{n+2}},\frac{x_{n+2}}{x_{n+1}}, </math> and <math>\frac{x_{n+2}}{x_{n+2}}</math> are equal. They can never be equal because there are no two equal <math>x_k.</math>So <math>a_{2023} \ge a_1 + 3\times \frac{2023-1}{2} = 1 + 3033 = 3034</math>
 +
 +
==See Also==
 +
 +
{{IMO box|year=2023|num-b=3|num-a=5}}

Latest revision as of 13:15, 24 October 2024

Problem

Let $x_1, x_2, \cdots , x_{2023}$ be pairwise different positive real numbers such that \[a_n = \sqrt{(x_1+x_2+ \text{···} +x_n)(\frac1{x_1} + \frac1{x_2} + \text{···} +\frac1{x_n})}\] is an integer for every $n = 1,2,\cdots,2023$. Prove that $a_{2023} \ge 3034$.

Video Solution（中文讲解）subtitle in English

https://youtu.be/PcuPeV9tkhk

Video Solution

https://www.youtube.com/watch?v=jZNIpapyGJQ [Video contains solutions to all day 2 problems]

Solution

We solve for $a_{n+2}$ in terms of $a_n$ and $x.$ $a_{n+2}^2 \\ = (\sum^{n+2}_{k=1}x_k)(\sum^{n+2}_{k=1}\frac1{x_k}) \\ = (x_{n+1}+x_{n+2}+\sum^{n}_{k=1}x_k)(\frac{1}{x_{n+1}}+\frac{1}{x_{n+2}}+\sum^{n}_{k=1}\frac1{x_k}) \\ = \frac{x_{n+1}}{x_{n+1}} + \frac{x_{n+1}}{x_{n+2}} + \frac{x_{n+2}}{x_{n+1}} + \frac{x_{n+2}}{x_{n+2}} + \frac{1}{x_{n+1}}\sum^{n}_{k=1}x_k + x_{n+1}\sum^{n}_{k=1}\frac1{x_k} + \frac{1}{x_{n+2}}\sum^{n}_{k=1}x_k + x_{n+2}\sum^{n}_{k=1}\frac1{x_k} + (\sum^{n}_{k=1}x_k)(\sum^{n}_{k=1}\frac1{x_k}) \\ = \frac{x_{n+1}}{x_{n+1}} + \frac{x_{n+1}}{x_{n+2}} + \frac{x_{n+2}}{x_{n+1}} + \frac{x_{n+2}}{x_{n+2}} + \frac{1}{x_{n+1}}\sum^{n}_{k=1}x_k + x_{n+1}\sum^{n}_{k=1}\frac1{x_k} + \frac{1}{x_{n+2}}\sum^{n}_{k=1}x_k + x_{n+2}\sum^{n}_{k=1}\frac1{x_k} + a_n^2 \\ \text{}$

Again, by AM-GM, the above equation becomes $a_{n+2}^2 \ge 4 \sqrt[4]{(\frac{x_{n+1}}{x_{n+1}})(\frac{x_{n+1}}{x_{n+2}})(\frac{x_{n+2}}{x_{n+1}})(\frac{x_{n+2}}{x_{n+2}})} + 4\sqrt[4]{ (\frac{1}{x_{n+1}}\sum^{n}_{k=1}x_k)(x_{n+1}\sum^{n}_{k=1}\frac1{x_k})(\frac{1}{x_{n+2}}\sum^{n}_{k=1}x_k)(x_{n+2}\sum^{n}_{k=1}\frac1{x_k}) } + a_n^2 = a_n^2+4a_n+4 = (a_n+2)^2 \\ \text{}$

Hence, $a_{n+2} \ge a_{n} + 2,$ but equality is achieved only when $\frac{x_{n+1}}{x_{n+1}},\frac{x_{n+1}}{x_{n+2}},\frac{x_{n+2}}{x_{n+1}},$ and $\frac{x_{n+2}}{x_{n+2}}$ are equal. They can never be equal because there are no two equal $x_k.$So $a_{2023} \ge a_1 + 3\times \frac{2023-1}{2} = 1 + 3033 = 3034$

See Also

2023 IMO (Problems) • Resources
Preceded by
Problem 3 		1 • 2 • 3 • 4 • 5 • 6 Followed by
Problem 5
All IMO Problems and Solutions
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2023_IMO_Problems/Problem_4&oldid=230536"