Difference between revisions of "2020 IMO Problems/Problem 2"
Etmetalakret (talk | contribs) |
m (Duplicate link to the same video solution) |
||
Line 1: | Line 1: | ||
== Problem == | == Problem == | ||
The real numbers <math>a</math>, <math>b</math>, <math>c</math>, <math>d</math> are such that <math>a \geq b \geq c \geq d > 0</math> and <math>a + b + c + d = 1</math>. Prove that<cmath>(a + 2b + 3c + 4d) a^a b^b c^c d^d < 1.</cmath> | The real numbers <math>a</math>, <math>b</math>, <math>c</math>, <math>d</math> are such that <math>a \geq b \geq c \geq d > 0</math> and <math>a + b + c + d = 1</math>. Prove that<cmath>(a + 2b + 3c + 4d) a^a b^b c^c d^d < 1.</cmath> | ||
− | |||
− | |||
− | |||
− | |||
== Solution == | == Solution == |
Revision as of 20:18, 15 July 2024
Contents
Problem
The real numbers , , , are such that and . Prove that
Solution
Using Weighted AM-GM we get
So,
Now notice that
So, we get
Now, for equality we must have
In that case we get
~ftheftics
Video solution
https://youtu.be/bDHtM1wijbY [Video covers all day 1 problems]
See Also
2020 IMO (Problems) • Resources | ||
Preceded by Problem 1 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 3 |
All IMO Problems and Solutions |