Maths Olympiad Prep

Library / HMMT February /233 of 1302

HMMT February

Algebra Difficulty 4.9 AIME Find the answer

Let a=256a=256. Find the unique real number x>a2x>a^{2} such that log⁡alog⁡alog⁡ax=log⁡a2log⁡a2log⁡a2x\log _{a} \log _{a} \log _{a} x=\log _{a^{2}} \log _{a^{2}} \log _{a^{2}} x

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Let y=log⁡axy=\log _{a} x so log⁡alog⁡ay=log⁡a2log⁡a212y\log _{a} \log _{a} y=\log _{a^{2}} \log _{a^{2}} \frac{1}{2} y. Setting z=log⁡ayz=\log _{a} y, we find log⁡az=log⁡a2(12z−116)\log _{a} z=\log _{a^{2}}\left(\frac{1}{2} z-\frac{1}{16}\right), or z2−12z+116=0z^{2}-\frac{1}{2} z+\frac{1}{16}=0. Thus, we have z=14z=\frac{1}{4}, so we can backsolve to get y=4y=4 and x=232x=2^{32}.

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.