Maths Olympiad Prep

Library / /16 of 136

, 1997

Algebra Difficulty 7.4 National Olympiad, round 2 Prove it Hong Kong

Let f(x)f(x) be a continuous function defined on the set of real numbers such that for any real numbers xx,
(i) f(x+1)=f(x)+1f(x + 1) = f(x) + 1, and
(ii) f(x3)=(f(x))3f(x^3) = (f(x))^3.
Find all possible f(x)f(x).

Solution

The only solution is f(x)=xf(x) = x for any xRx \in \mathbb{R}.

Using f(x+1)=f(x)+1f(x+1) = f(x) + 1, it can be proved easily by induction that
f(x+n)=f(x)+n(1) f(x+n) = f(x) + n \quad (1)
for any integer nn.

Consider any rational number ab\frac{a}{b} where a,bZa, b \in \mathbb{Z}. For any positive integer kk, we substitute x=ab+kb2x = \frac{a}{b} + kb^2 in (ii) to obtain
f(a3b3+3ka2+3k2ab3+k3b6)=f(x3)=f(x)3. f\left(\frac{a^3}{b^3} + 3ka^2 + 3k^2ab^3 + k^3b^6\right) = f(x^3) = f(x)^3.
Since k,a,bZk, a, b \in \mathbb{Z}, by (1), we obtain
f(a3b3+3ka2+3k2ab3+k3b6)=f(a3b3)+3ka2+3k2ab3+k3b6. f\left(\frac{a^3}{b^3} + 3ka^2 + 3k^2ab^3 + k^3b^6\right) = f\left(\frac{a^3}{b^3}\right) + 3ka^2 + 3k^2ab^3 + k^3b^6.
Also, by letting z=f(ab)z = f\left(\frac{a}{b}\right), we have
f(x)3=(z+kb2)3=z3+3kb2z2+3k2b4z+k3b6. f(x)^3 = (z + kb^2)^3 = z^3 + 3kb^2z^2 + 3k^2b^4z + k^3b^6.
Comparing the two sides, since f(a3b3)=z3f\left(\frac{a^3}{b^3}\right) = z^3, we find that
3ka2+3k2ab3=3kb2z2+3k2b4z. 3ka^2 + 3k^2ab^3 = 3kb^2z^2 + 3k^2b^4z.
This implies b2z2+kb4za2kab3=0b^2z^2 + kb^4z - a^2 - kab^3 = 0, and hence
(bza)(bz+a+kb3)=0. (bz - a)(bz + a + kb^3) = 0.
Since b0b \neq 0, we cannot have bz+a+kb3=0bz + a + kb^3 = 0 for all kZ+k \in \mathbb{Z}^+. Therefore, we must have bza=0bz - a = 0, i.e. z=abz = \frac{a}{b}. This proves f(x)=xf(x) = x for any xQx \in \mathbb{Q}.

Since Q\mathbb{Q} is dense in R\mathbb{R}, for any xRx \in \mathbb{R}, we can find a sequence {xn}\{x_n\} of rational numbers converging to xx. By the continuity, we have
f(x)=f(limnxn)=limnf(xn)=limnxn=x. f(x) = f\left(\lim_{n \to \infty} x_n\right) = \lim_{n \to \infty} f(x_n) = \lim_{n \to \infty} x_n = x.
It is easy to check that the identity function satisfies both conditions, so it is the only solution.

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.