Maths Olympiad Prep

Library / National Math Olympiad - Final Round /8 of 9

National Math Olympiad - Final Round, 2013

Algebra Difficulty 5.9 AIME, harder Prove it Slovenia

Positive real numbers xx and yy satisfy
2013log⁡3x=ylog⁡52013andlog⁡12x+log⁡12y>0. 2013^{\log_3 x} = y^{\log_5 2013} \quad \text{and} \quad \log_{\frac{1}{2}} x + \log_{\frac{1}{2}} y > 0.
Which of the numbers xx and yy is greater?

Solution

Taking logarithms on both sides of the equation and taking into account that log⁡ab=blog⁡a\log a^b = b \log a and log⁡ab=log⁡blog⁡a\log_a b = \frac{\log b}{\log a}, we get
log⁡xlog⁡2013log⁡3=log⁡ylog⁡2013log⁡5, \frac{\log x \log 2013}{\log 3} = \frac{\log y \log 2013}{\log 5},
or
log⁡y=log⁡5log⁡3log⁡x=log⁡35log⁡x. \log y = \frac{\log 5}{\log 3} \log x = \log_3 5 \log x.
From here we can conclude that log⁡y\log y and log⁡x\log x have the same sign, so xx and yy are either both less than 11, both equal to 11 or both greater than 11.

On the other hand the inequality can be rewritten as log⁡12(xy)>0\log_{\frac{1}{2}}(xy) > 0 and since 12<1\frac{1}{2} < 1 we have xy<1xy < 1.

Both together imply that xx and yy are less than 11, so log⁡x\log x and log⁡y\log y are negative. But log⁡35>1\log_3 5 > 1 implies that log⁡y=log⁡35log⁡x<log⁡x\log y = \log_3 5 \log x < \log x, or y<xy < x.

So, xx is greater.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.