Maths Olympiad Prep

Library / HMMT February /928 of 1302

HMMT February, 2020

Algebra Difficulty 5.5 AIME, harder Prove it United States

Problem:

Positive real numbers xx and yy satisfy

∣∣⋯∣∣∣x∣−y∣−x∣⋯−y∣−x∣=∣∣⋯∣∣∣y∣−x∣−y∣⋯−x∣−y∣ ||\cdots|||x|-y|-x| \cdots-y|-x|=||\cdots|||y|-x|-y| \cdots-x|-y|

where there are 2019 absolute value signs ∣⋅∣|\cdot| on each side. Determine, with proof, all possible values of xy\frac{x}{y}.

Solution

Solution:

Clearly x=yx = y works.

Else, WLOG x<yx < y, define d=y−xd = y - x, and define f(z):=∣∣z−y∣−x∣f(z) := ||z - y| - x| so our expression reduces to
f1009(x)=∣f1009(0)−y∣ f^{1009}(x) = \left|f^{1009}(0) - y\right|
Now note that for z∈[0,y]z \in [0, y], f(z)f(z) can be written as
f(z)={d−z,0≤z≤dz−d,d<z≤y f(z) = \begin{cases} d - z, & 0 \leq z \leq d \\ z - d, & d < z \leq y \end{cases}
Hence f(f(z))=f(d−z)=zf(f(z)) = f(d - z) = z for all z∈[0,d]z \in [0, d]. Therefore
∣f1009(0)−y∣=∣f(0)−y∣=x \left|f^{1009}(0) - y\right| = |f(0) - y| = x
If x>dx > d then f1009(x)<xf^{1009}(x) < x which is impossible (if f1009(x)≤df^{1009}(x) \leq d then the conclusion trivially holds, and if f1009(x)>df^{1009}(x) > d we must have f1009(x)=x−1009d<xf^{1009}(x) = x - 1009 d < x). Therefore x≤dx \leq d, so f1009(x)=f(x)=d−xf^{1009}(x) = f(x) = d - x and we must have d−x=xd - x = x. Hence y=3xy = 3x which is easily seen to work.

To summarize, the possible values of xy\frac{x}{y} are 13,1,3\frac{1}{3}, 1, 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.