A sequence of functions $\, \{f_n(x) \} \,$ is defined recursively as follows: \begin{align*}f_1(x) &= \sqrt{x^2 + 48}, \quad \mbox{and} \\ f_{n+1}(x) &= \sqrt{x^2 + 6f_n(x)} \quad \mbox{for } n \geq 1.\end{align*}(Recall that $\sqrt{\makebox[5mm]{}}$ is understood to represent the positive square root.) For each positive integer $n$, find all real solutions of the equation $\, f_n(x) = 2x \,$.
Problem
Source: USAMO 1990
Tags: function, algebra unsolved, algebra
paladin8
28.12.2005 16:20
$f_1(x) = \sqrt{x^2+48} = 2x \Rightarrow 48 = 3x^2 \Rightarrow x = 4$ (negative answer is thrown out because of the definition of square root).
Note that $f_{n+1}(4) = \sqrt{4^2+6f_n(4)}$ so if $f_n(4) = 8$, then $f_{n+1}(4) = \sqrt{16+48} = 8$, which means $x = 4$ is a solution for all $n$.
Suppose $x < 4$. We know $x$ must be non-negative since we only use the positive square root.
Then $f_1(x) = \sqrt{x^2+48}> 2x$. But if $f_n(x) > 2x$, we have $f_{n+1}(x) = \sqrt{x^2+6f_n(x)} > \sqrt{x^2+12x} > 2x$ also (the last step since $x<4$).
Now suppose $x > 4$.
Then $f_1(x) = \sqrt{x^2+48} < 2x$. But if $f_n(x) < 2x$, we have $f_{n+1}(x) = \sqrt{x^2+6f_n(x)} < \sqrt{x^2+12x} < 2x$ also (the last step since $x>4$).
Therefore $x = 4$ is the only solution for all $n$.
phiReKaLk6781
22.03.2011 05:38
Sorry for reviving, but I don't quite understand the question. Are we supposed to be solving for n, x, or a function?
Rust
22.03.2011 09:28
If $x=4$, then $f_1(x)=8=2x, f_2(x)=8,....f_n(x)=8 \forall n$ If $x<4$, then $f_1(x)>2x\to ...f_n(x)>2x$. If $x>4$, then $f_1(x)<2x\to ... f_n(x)<2x$.
Amir Hossein
23.03.2011 10:55
PhireKaLk6781 wrote: Sorry for reviving, but I don't quite understand the question. Are we supposed to be solving for n, x, or a function? You should find a real $x$ that is a solution for all $n \in \mathbb N$.