1974 USAMO Problems/Problem 2: Difference between revisions

Revision as of 21:45, 8 April 2018

Problem

Prove that if $a$ , $b$ , and $c$ are positive real numbers, then

$a^ab^bc^c\ge (abc)^{(a+b+c)/3}$

Solution 1

Consider the function $f(x)=x\ln{x}$ . $f''(x)=\frac{1}{x}>0$ for $x>0$ ; therefore, it is a convex function and we can apply Jensen's Inequality:

$\frac{a\ln{a}+b\ln{b}+c\ln{c}}{3}\ge \left(\frac{a+b+c}{3}\right)\ln\left(\frac{a+b+c}{3}\right)$

Apply AM-GM to get

$\frac{a+b+c}{3}\ge \sqrt[3]{abc}$

which implies

$\frac{a\ln{a}+b\ln{b}+c\ln{c}}{3}\ge \left(\frac{a+b+c}{3}\right)\ln\left(\sqrt[3]{abc}\right)$

Rearranging,

$a\ln{a}+b\ln{b}+c\ln{c}\ge\left(\frac{a+b+c}{3}\right)\ln\left(abc\right)$

Because $f(x) = e^x$ is an increasing function, we can conclude that:

$e^{a\ln{a}+b\ln{b}+c\ln{c}}\ge{e}^{\ln\left(abc\right)(a+b+c)/3}$

which simplifies to the desired inequality.

Solution 2

Note that $(a^ab^bc^c)(a^bb^cc^a)(a^cb^ac^b)=\left((abc)^{(a+b+c)/3}\right)^3$ .

So if we can prove that $a^ab^bc^c\ge a^bb^cc^a$ and $a^ab^bc^c\ge a^cb^ac^b$ , then we are done.

WLOG let $a\ge b\ge c$ .

Note that $(a^ab^bc^c)\cdot \left(\dfrac{c}{a}\right)^{a-b}\cdot \left(\dfrac{c}{b}\right)^{b-c}=a^bb^cc^a$ . Since $\dfrac{c}{a} \le 1$ , $\dfrac{c}{b} \le 1$ , $a-b \ge 0$ , and $b-c \ge 0$ , it follows that $a^ab^bc^c \ge a^bb^cc^a$ .

Note that $(a^ab^bc^c)\cdot \left(\dfrac{b}{a}\right)^{a-b}\cdot \left(\dfrac{c}{a}\right)^{b-c}=a^cb^ac^b$ . Since $\dfrac{b}{a} \le 1$ , $\dfrac{c}{a} \le 1$ , $a-b \ge 0$ , and $b-c \ge 0$ , it follows that $a^ab^bc^c \ge a^cb^ac^b$ .

Thus, $(a^ab^bc^c)^3\ge (a^ab^bc^c)(a^bb^cc^a)(a^cb^ac^b)=\left((abc)^{(a+b+c)/3}\right)^3$ , and cube-rooting both sides gives $a^ab^bc^c\ge (abc)^{(a+b+c)/3}$ as desired.

Solution 3

WLOG let $a\ge b\ge c$ . Let $b = ax$ and $c = ay$ , where $x \ge 1$ and $y \ge 1$ .

We want to prove that $(a)^{a}(ax)^{ax}(ay)^{ay} \ge (a \cdot ax \cdot ay)^{\frac{a + ax + ay}{3}}$ .

Simplifying and combining terms on each side, we get $a^{a + ax + ay}x^{ax}y^{ay} \ge a^{a + ax + ay}(xy)^{\frac{a + ax + ay}{3}}$ .

Since $a > 0$ , we can divide out $a^{a + ax + ay}$ to get $x^{ax}y^{ay} \ge (xy)^{\frac{a + ax + ay}{3}}$ .

Take the $a$ th root of each side and then cube both sides to get $x^{3x}y^{3y} \ge (xy)^{1 + x + y}$ .

This simplifies to $x^{2x-1}y^{2y-1} \ge x^{y}y^{x}$ .

Since $2x - 1 \ge x$ and $2y - 1 \ge y$ , we only need to prove $x^{x}y^{y} \ge x^{y}y^{x}$ for our given $x, y$ .

WLOG, let $y \ge x$ and $y =kx$ for $k \ge 1$ . Then our expression becomes

$x^{x}(xk)^{xk} \ge x^{xk}(xk)^{x}$

$x^{x+xk}k^{xk} \ge x^{x+xk}k^{x}$

$k^{xk} \ge k^{x}$

$k^k \ge k$

This is clearly true for $k \ge 1$ .

Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.

@@ Line 28: / Line 28: @@
 Thus, <math>(a^ab^bc^c)^3\ge (a^ab^bc^c)(a^bb^cc^a)(a^cb^ac^b)=\left((abc)^{(a+b+c)/3}\right)^3</math>, and cube-rooting both sides gives <math>a^ab^bc^c\ge (abc)^{(a+b+c)/3}</math> as desired.
+==Solution 3==
+WLOG let <math>a\ge b\ge c</math>. Let <math>b = ax</math> and <math>c = ay</math>, where <math>x \ge 1</math> and <math>y \ge 1</math>.
+We want to prove that <math>(a)^{a}(ax)^{ax}(ay)^{ay} \ge (a \cdot ax \cdot ay)^{\frac{a + ax + ay}{3}}</math>.
+Simplifying and combining terms on each side, we get <math>a^{a + ax + ay}x^{ax}y^{ay} \ge a^{a + ax + ay}(xy)^{\frac{a + ax + ay}{3}}</math>.
+Since <math>a > 0</math>, we can divide out <math>a^{a + ax + ay}</math> to get <math>x^{ax}y^{ay} \ge (xy)^{\frac{a + ax + ay}{3}}</math>.
+Take the <math>a</math>th root of each side and then cube both sides to get <math>x^{3x}y^{3y} \ge (xy)^{1 + x + y}</math>.
+This simplifies to <math>x^{2x-1}y^{2y-1} \ge x^{y}y^{x}</math>.
+Since <math>2x - 1 \ge x</math> and <math>2y - 1 \ge y</math>, we only need to prove <math>x^{x}y^{y} \ge x^{y}y^{x}</math> for our given <math>x, y</math>.
+WLOG, let <math>y \ge x</math> and <math> y =kx</math> for <math>k \ge 1</math>. Then our expression becomes
+<math>x^{x}(xk)^{xk} \ge x^{xk}(xk)^{x}</math>
+<math>x^{x+xk}k^{xk} \ge x^{x+xk}k^{x}</math>
+<math>k^{xk} \ge k^{x}</math>
+<math>k^k \ge k</math>
+This is clearly true for <math>k \ge 1</math>.

1974 USAMO (Problems • Resources)
Preceded by Problem 1	Followed by Problem 3
1 • 2 • 3 • 4 • 5
All USAMO Problems and Solutions

Page

Toolbox

Search