So I stumbled upon this problem from UkrMO97.
Find all functions $f:\mathbb{Q}_+\to\mathbb{Q}_+$ which satisfy the conditions:
(i) $f(x+1)=f(x)+1$ for all $x\in\mathbb{Q}_+$;
(ii) $f(x^2)=f(x)^2$ for all $x\in\mathbb{Q}_+$.
And I can easily see that we can induct on $x \in \mathbb{N}$ using the condition (i) only. I want to extend this to $\mathbb{Q_+}$, by using (ii). And I do not know how to pull that off. Any help will be appreciated!!
Hint: Given $a,b\in\mathbb{Z}_+$, find an integer $n$ so that $(n+a/b)^2$ differs from $(a/b)^2$ by an integer and use that to solve for $f(a/b)$.
More details are hidden below.