Maths Olympiad Prep

Library / HMMT February /853 of 1302

HMMT February

Algebra Difficulty 5.4 AIME, harder Prove it United States

Problem:
Compute the number of positive real numbers xx that satisfy
(3⋅2⌊log⁡2x⌋−x)16=2022x13 \left(3 \cdot 2^{\left\lfloor\log _{2} x\right\rfloor}-x\right)^{16}=2022 x^{13}

Solution

Solution:
Let f(x)=3⋅2⌊log⁡2x⌋−xf(x)=3 \cdot 2^{\left\lfloor\log _{2} x\right\rfloor}-x. Note that for each integer ii, if x∈[2i,2i+1)x \in\left[2^{i}, 2^{i+1}\right), then f(x)=3⋅2i−xf(x)=3 \cdot 2^{i}-x. This is a line segment from (2i,2i+1)\left(2^{i}, 2^{i+1}\right) to (2i+1,2i)\left(2^{i+1}, 2^{i}\right), including the first endpoint but not the second.

Now consider the function f(x)16/x13f(x)^{16} / x^{13}. This consists of segments of decreasing functions connecting (2i,23i+16)\left(2^{i}, 2^{3 i+16}\right) and (2i+1,23i−13)\left(2^{i+1}, 2^{3 i-13}\right). Note that for each −1≤i≤7-1 \leq i \leq 7, we have that 23i−13≤210<2022<211≤23i+162^{3 i-13} \leq 2^{10}<2022<2^{11} \leq 2^{3 i+16}. This gives us 9 solutions in total.

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.