<s>[INST] Problem about functional equations: $ f \left( x ^ 2 + y \right) = f ( x ) ^ 2 + \frac { f ( x y ) } { f ( x ) } $ This problem was taken from the Bulgarian selection team test for the 47th IMO and appeared in a Chinese magazine, I came across it in my own training.
http://www.math.ust.hk/excalibur/v10_n4.pdf
The problem is as follows:

Consider $ f : \mathbb R ^ * \to \mathbb R ^ * $ where $ \mathbb R ^ * $ is the set of non-zero real numbers. Find all such functions that satisfy the following functional equation for all $ x $ and $ y $ in $ \mathbb R ^ * $ with $ y \ne - x ^ 2$:
$$ f \left( x ^ 2 + y \right) = f ( x ) ^ 2 + \frac { f ( x y ) } { f ( x ) } $$

I suspect the only function is the identity, but the problem has proved itself to be too difficult for me, I've pondered about it for various hours. Any hint or solution is welcome! Thanks.
 [/INST] This might not be the optimal approach... but it attempts to avoid reasoning based on real analysis (well, apart from the very definition of irrational numbers).
Determine the value of $f(1)$
Let $f(1)=A$. Then, for any $y$ different from $0$ and $(-1)$ we have $$f(1+y)=f(1)^2 + f(y)/f(1) = A^2 + f(y)/A$$ which allows us to express the following quantities: $$\begin{eqnarray}
f(2) & = & A^2 + 1 \\
f(3) & = & A^2 + A + \frac{1}{A} \\
f(4) & = & A^2 + A + 1 + \frac{1}{A^2} \\
f(5) & = & A^2 + A + 1 + \frac{1}{A} + \frac{1}{A^3} \\
\end{eqnarray}$$
At the same time, we have $f(x^2+1)=f(x)^2+f(x)/f(x)=f(x)^2+1$. This gives us $$f(5)=f(2)^2+1$$ Equating the two expressions for $f(5)$ and substituting for $f(2)$ gives us
$$(A^2+1)^2 + 1 = A^2+A+1+\frac{1}{A} + \frac{1}{A^3}$$ which simplifies to $$\begin{eqnarray}0 & = & A^7 + A^5 - A^4 + A^3 - A^2 - 1 \\ & = & (A-1)(A^2-A+1)(A^2+A+1)^2\end{eqnarray}$$ whose only real root is $A=1$. Thus, $f(1)=1$ and we have $f(1+y)=1+f(y)$ for all $y$ other than $0$ and $(-1)$. In particular, this means that $f(k)=k$ for any positive integer $k$.
Show additive property for numbers of same sign
Now, consider real numbers $u,v$ of the same sign and these two equalities:
$$\begin{eqnarray}
f(v^2 + u/v) & = & f(v)^2 + f(u)/f(v) \\
f(v^2 + (u/v + 1)) & = & f(v)^2 + f(u+v)/f(v) \\
\end{eqnarray}$$
We can apply the equality $f(1+y)=1+f(y)$ since both $v^2$ and $u/v$ are positive to obtain 
$$f(u+v)=f(u)+f(v)$$
Note: This equation is very similar to Cauchy's functional equation; a quite interesting problem of its own. The equality given in our problem is stronger than "just" plain additivity, though.
Determine values of $f$ on positive rationals
It's quite easy to see that this equality implies that $f\left(\frac{p}{q}\right)=\frac{p}{q}$ for any positive integers $p,q$; one simply expands $$p=f(p)=f\left(\frac{p}{q}\right)+f\left(\frac{p}{q}\right)+\ldots+f\left(\frac{p}{q}\right)=q\cdot f\left(\frac{p}{q}\right)$$
Show that $f$ is increasing on positive reals
For $y>0$, we can write $$\begin{eqnarray}
f(y) = f(y)+1-1 & = & f(y+1)-1 \\
& = & f\left((\sqrt{y})^2+1\right)-1 = \\
& = & f\left(\sqrt{y}\right)^2+1-1 \\
& = & f\left(\sqrt{y}\right)^2>0
\end{eqnarray}$$
Thus, for any positive reals $u>v>0$, we get $$f(u)=f(v+(u-v))=f(v)+f(u-v)>f(v)$$
Determine the values of $f$ for positive reals
Let's show that $f(x)=x$ for $x>0$. If that wasn't the case, we'd have either $f(x)>x$ or $0<f(x)<x$. In the first case, we could find rational number $z$ with $f(x)>z>x$. First inequality implies $f(x)>f(z)$ since $f(z)=z$, while the second one implies $f(z)>f(x)$, a contradiction. The other case can be treated in the same way. Thus, $f(x)=x$.
Alternate approach is to realize that the Dedekind cut corresponding to irrational $x>0$ must be the same as the Dedekind cut corresponding to $f(x)$.
Finish the proof by considering the negative reals
If $x<0$ is non-integer, we can simply use the equality $f(1+y)=1+f(y)$ to show that $f(x)=x$; just by adding $1$ until we reach a positive number. For negative integers, we can bootstrap the process by considering $f(-1)=f\left(-\frac{1}{2}\right)+f\left(-\frac{1}{2}\right)=(-1)$ and do the same by reaching $(-1)$.
The only function satisfying the given condition is $f(x)=x$ Q.E.D.
</s>