Difference between revisions of "2023 IMO Problems/Problem 4"
Opaleagle45 (talk | contribs) m (→Problem) |
Opaleagle45 (talk | contribs) m (→Problem) |
||
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>. | ||
Revision as of 20:29, 17 January 2024
Contents
Problem
Let be pairwise different positive real numbers such that is an integer for every . Prove that .
Video Solution
https://www.youtube.com/watch?v=jZNIpapyGJQ [Video contains solutions to all day 2 problems]
Solution
We solve for in terms of and
Again, by AM-GM, the above equation becomes
Hence, but equality is achieved only when and are equal. They can never be equal because there are no two equal So
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 |