Maths Olympiad Prep

Library / /172 of 462

Algebra Difficulty 5.5 AIME, harder Prove it Ireland

Find, with proof, all functions f:R+R+f : \mathbb{R}_+ \to \mathbb{R}_+ with the property that
f(x+f(y)+f(f(z)))=z+f(y)+f(f(x))for all x,y,z>0. f(x + f(y) + f(f(z))) = z + f(y) + f(f(x)) \quad \text{for all } x, y, z > 0.

Solution

For simplicity, we will write f2(x)=f(f(x))f^2(x) = f(f(x)), f3(x)=f(f(f(x)))f^3(x) = f(f(f(x))), etc.

First we show that ff must be injective. Suppose f(z1)=f(z2)f(z_1) = f(z_2). Replacing zz by z1z_1 or by z2z_2 in (1) leads to the same LHS expressions, hence the two RHS expressions must be equal as well, i.e. z1+f(y)+f2(x)=z2+f(y)+f2(x)z_1 + f(y) + f^2(x) = z_2 + f(y) + f^2(x) which implies z1=z2z_1 = z_2.

We now make the RHS of (1) equal to z+f2(y)+f2(x)z + f^2(y) + f^2(x) in two different ways in order to benefit from the injectivity of ff. Replacing yy by f(y)f(y) gives f(x+f2(y)+f2(z))=z+f2(y)+f2(x)f(x + f^2(y) + f^2(z)) = z + f^2(y) + f^2(x). Replacing xx by yy and yy by f(x)f(x) gives f(y+f2(x)+f2(z))=z+f2(x)+f2(y)f(y + f^2(x) + f^2(z)) = z + f^2(x) + f^2(y). Because the RHS is the same in both expressions, and ff is injective, it follows that
x+f2(y)+f2(z)=y+f2(x)+f2(z), x + f^2(y) + f^2(z) = y + f^2(x) + f^2(z),
i.e. f2(x)x=f2(z)zf^2(x) - x = f^2(z) - z for all positive x,zx, z.

This means that f2(x)x=cf^2(x) - x = c is a constant that does not depend on xx. Setting t=1+f(1)+f2(1)t = 1 + f(1) + f^2(1), equation (1) with x=y=z=1x = y = z = 1 implies f(t)=tf(t) = t, hence f2(t)=tf^2(t) = t and f2(t)t=0f^2(t) - t = 0. Therefore c=0c = 0 and we have shown

f2(x)=xfor all x>0.(23) f^2(x) = x \quad \text{for all } x > 0. \qquad (23)
Pick any d>0d > 0 and put x=dx = d, y=f(d)y = f(d) and z=dz = d in (1), then use (23) to obtain f(3d)=3df(3d) = 3d. This means that
f(x)=xfor all x>0.(24) f(x) = x \quad \text{for all } x > 0. \qquad (24)
This function clearly satisfies (1).

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.