Maths Olympiad Prep

Library / HMMT February /722 of 1302

HMMT February

Algebra Difficulty 5.3 AIME, harder Find the answer

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}.

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

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