Maths Olympiad Prep

Library / HMMT November /449 of 672

HMMT November, 2023

Algebra Difficulty 5.1 AIME, harder Prove it United States

Problem:
Suppose xx, yy, and zz are real numbers greater than 11 such that
xlog⁡yz=2ylog⁡zx=4, and zlog⁡xy=8 \begin{aligned} & x^{\log_{y} z} = 2 \\ & y^{\log_{z} x} = 4, \text{ and } \\ & z^{\log_{x} y} = 8 \end{aligned}
Compute log⁡xy\log_{x} y.

Solution

Solution:
Taking log⁡2\log_{2} both sides of the first equation gives
log⁡2xlog⁡yz=1log⁡2xlog⁡2zlog⁡2y=1 \begin{aligned} & \log_{2} x \log_{y} z = 1 \\ & \frac{\log_{2} x \log_{2} z}{\log_{2} y} = 1 \end{aligned}
Performing similar manipulations on the other two equations, we get
log⁡2xlog⁡2zlog⁡2y=1log⁡2ylog⁡2xlog⁡2z=2log⁡2zlog⁡2ylog⁡2x=3 \begin{aligned} & \frac{\log_{2} x \log_{2} z}{\log_{2} y} = 1 \\ & \frac{\log_{2} y \log_{2} x}{\log_{2} z} = 2 \\ & \frac{\log_{2} z \log_{2} y}{\log_{2} x} = 3 \end{aligned}
Multiplying the first and second equation gives (log⁡2x)2=2\left(\log_{2} x\right)^{2} = 2 or log⁡2x=±2\log_{2} x = \pm \sqrt{2}. Multiplying the second and third equation gives (log⁡2y)2=6\left(\log_{2} y\right)^{2} = 6 or log⁡2y=±6\log_{2} y = \pm \sqrt{6}. Thus, we have
log⁡xy=log⁡2ylog⁡2x=±62=±3 \log_{x} y = \frac{\log_{2} y}{\log_{2} x} = \pm \frac{\sqrt{6}}{\sqrt{2}} = \pm \sqrt{3}

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.