Art of Problem Solving

2023 WSMO Team Round Problems/Problem 8: Difference between revisions

Pinkpig (talk | contribs)
Created page with "==Problem== Let <math>f(x)=\sqrt{x-\sqrt{x-\sqrt{x-\ldots}}}.</math> Find the modulo 1000 on the minimum integer <math>a</math> such <math>f(f(f(f(f(a)))))</math> is a positi..."
 
Pinkpig (talk | contribs)
No edit summary
 
Line 4: Line 4:


==Solution==
==Solution==
Note that
<cmath>\begin{align*}
f(x) &= \sqrt{x-f(x)}\implies\\
[f(x)]^2 &= x-f(x)\implies\\
x &= [f(x)]^2+f(x).
\end{align*}</cmath>
Since <math>[f(x)]^2+f(x)</math> is a strictly increasing function, the minimum value of <math>a</math> occurs when
<cmath>\begin{align*}
f(f(f(f(f(a))))) &= 1\implies\\
f(f(f(f(a)))) &= 1^2+1 = 2\implies\\
f(f(f(a))) &= 2^2+2 = 6\implies\\
f(f(a)) &= 6^2+6 = 42\implies\\
f(a) &= 42^2+42 = 1806\implies\\
a &= 1806^2+1806\implies\\
a&\equiv \boxed{442}\pmod{1000}.
\end{align*}</cmath>
~pinkpig

Latest revision as of 13:28, 13 September 2025

Problem

Let $f(x)=\sqrt{x-\sqrt{x-\sqrt{x-\ldots}}}.$ Find the modulo 1000 on the minimum integer $a$ such $f(f(f(f(f(a)))))$ is a positive integer.

Solution

Note that \begin{align*} f(x) &= \sqrt{x-f(x)}\implies\\ [f(x)]^2 &= x-f(x)\implies\\ x &= [f(x)]^2+f(x). \end{align*} Since $[f(x)]^2+f(x)$ is a strictly increasing function, the minimum value of $a$ occurs when \begin{align*} f(f(f(f(f(a))))) &= 1\implies\\ f(f(f(f(a)))) &= 1^2+1 = 2\implies\\ f(f(f(a))) &= 2^2+2 = 6\implies\\ f(f(a)) &= 6^2+6 = 42\implies\\ f(a) &= 42^2+42 = 1806\implies\\ a &= 1806^2+1806\implies\\ a&\equiv \boxed{442}\pmod{1000}. \end{align*}

~pinkpig