Maths Olympiad Prep

Library / /994 of 1394

, 2020

Algebra Difficulty 5.5 AIME, harder Prove it United States

Problem:

Positive real numbers xx and yy satisfy

xyxyx=yxyxy ||\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=yxd = y - x, and define f(z):=zyxf(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)={dz,0zdzd,d<zy f(z) = \begin{cases} d - z, & 0 \leq z \leq d \\ z - d, & d < z \leq y \end{cases}
Hence f(f(z))=f(dz)=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)=x1009d<xf^{1009}(x) = x - 1009 d < x). Therefore xdx \leq d, so f1009(x)=f(x)=dxf^{1009}(x) = f(x) = d - x and we must have dx=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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.