# Prove: $\log_2(x)+\log_x(y)+\log_y(8)\geq \sqrt{81}$

Prove that for every $x$,$y$ greater than $1$: $$\log_2(x)+\log_x(y)+\log_y(8)\geq \sqrt{81}$$

What I've tried has got me to:

$$\frac{\log_y(x)}{\log_y(2)}+\log_x(y)+3\log_y(2)\geq \sqrt{81}$$

I didn't really get far.. I can't see where I can go from here, especially not what to do with $\sqrt{81}$.

This is taken out of the maths entry tests for TAU, so this shouldn't be too hard.

• $\log_xy=\frac1{\log_yx}$ – MalayTheDynamo Jul 16 '18 at 19:04
• A neat thing about $\log_a b = \frac 1{\log_b a}$ and $\frac {\log_b c}{\log_b a} = \log_a c$.... It means $\log_a b* \log_b c = \log_a c$ and so $\log_a b*\log_b c* \log_c d*....... *\log_y z = \log_a z$...... – fleablood Jul 16 '18 at 19:40

We have $$\log_2x+\log_xy+\log_y8=\frac{\log x}{\log2}+\frac{\log y}{\log x}+\frac{3\log2}{\log y}$$

and since $2,x,y>1$, we can deduce that their logarithms are non-negative, and so will their quotients.

Now use AM-GM:

$$\sqrt{\frac{\log x}{\log2}\cdot\frac{\log y}{\log x}\cdot\frac{3\log2}{\log y}}\le\frac{\frac{\log x}{\log2}+\frac{\log y}{\log x}+\frac{3\log2}{\log y}}3$$ giving $$\frac{\log x}{\log2}+\frac{\log y}{\log x}+\frac{3\log2}{\log y}\ge3\sqrt3=\sqrt{81}$$ as required.

• While I did all these logarithmic exercises, I noticed that the AM-GM is actually a very common technique for the solution. Is there any reason for that or is it just a coincudence? – L0wRider Jul 17 '18 at 12:41
• @Maxim AM-GM is usually the second inequality that people learn (after $x^2 \ge 0$). So it's a good choice to use when writing a problem for an entrance exam, because many people are familiar with it. – Ovi Jul 17 '18 at 17:37
• @Ovi That's embarrassing. I learned about AM/GM/HM just last week :) – TheSimpliFire Jul 17 '18 at 19:22
• @TheSimpliFire Don't feel embarrased, I'm not saying that most people know about and how to use AM-GM. I'm saying that of the people who know inequalities, most know AM-GM; so if they put an inequality question, AM-GM is a good problem. However, the question of weather they should put inequalities questions is separate. – Ovi Jul 17 '18 at 21:39

Let's convert everything to $$\log$$ base $$2$$ so we have a common something to work with:

$$\log_2 x + \dfrac {\log_2 y}{\log_2 x} + \dfrac {\log_2 8}{\log_2 y} \ge \sqrt {81} = 3 \sqrt{3}$$

Now let $$a = \log_2 x$$ and $$b = \log_2 y$$. The condition $$x, y > 1$$ implies that $$a, b > 0$$. So now we have to prove

$$a + \dfrac ba + \dfrac {3}{b} \ge3 \sqrt{3}$$

The cube root in there especially may remind us of AM-GM with $$3$$ terms. And indeed, the inequality $$\text{AM}\left(a, \dfrac ba, \dfrac 3b\right) \ge \text{GM}\left(a, \dfrac ba, \dfrac 3b\right)$$ gives exactly what is desired.

Hint: Show that $a+\frac{b}{a}+\frac{3}{b}\geq \sqrt{81}$ for all $a,b>0$, using AM-GM.

Two things:

$\log_a b = \frac 1{\log_b a}$ and $\frac {\log_b c}{\log_b a} = \log_a c$ so $\log_a b\log_b c = \frac {\log_b c}{\log_b a} = \log_a c$.

And AM-GM says $\frac {a + b+ c}3 \ge \sqrt{abc}$.

So.....

$\frac {\log_2 x + \log_x y + \log_y 8}3 \ge \sqrt{\log_2 x \log_x y \log_y 8} = \sqrt{\log_2 8}$