Difference between revisions of "2001 IMO Shortlist Problems/A6"
Aditya1135 (talk | contribs) m (→Solution) |
Aditya1135 (talk | contribs) (→Solution) |
||
Line 27: | Line 27: | ||
Which is true since | Which is true since | ||
− | <cmath>(a+b+c)(ab+bc+ca) | + | <cmath>(a+b+c)(ab+bc+ca) \geq (3\sqrt[3]{abc})(3\sqrt[3]{a^{2}b^{2}c^{2}}) = 9abc</cmath> |
The last part follows by the AM-GM inequality. | The last part follows by the AM-GM inequality. | ||
Revision as of 13:39, 3 September 2017
Contents
Problem
Prove that for all positive real numbers ,
![$\frac {a}{\sqrt {a^2 + 8bc}} + \frac {b}{\sqrt {b^2 + 8ca}} + \frac {c}{\sqrt {c^2 + 8ab}} \geq 1.$](http://latex.artofproblemsolving.com/b/9/9/b99abc5062d845cddcb97bb99675fe9a4de3a2ee.png)
Generalization
The leader of the Bulgarian team had come up with the following generalization to the inequality:
![$\frac {a}{\sqrt {a^2 + kbc}} + \frac {b}{\sqrt {b^2 + kca}} + \frac {c}{\sqrt {c^2 + kab}} \geq \frac{3}{\sqrt{1+k}}.$](http://latex.artofproblemsolving.com/4/7/1/471af15648323ef1d44e3ee7252c1941f2ac8f40.png)
Solution
We will use the Jenson's inequality.
Now, normalize the inequality by assuming
Consider the function . Note that this function is convex and monotonically decreasing which implies that if
, then
.
Thus, we have
Thus, we only need to show that i.e.
Which is true since
The last part follows by the AM-GM inequality.
Equality holds if