Maths Olympiad Prep

Library / /11 of 27

, 2012

Algebra Difficulty 5.6 AIME, harder Prove it India

Let f:RRf: \mathbb{R} \to \mathbb{R} be a function such that f(x+y+xy)=f(x)+f(y)+f(xy)f(x + y + xy) = f(x) + f(y) + f(xy) for all x,yRx, y \in \mathbb{R}. Prove that ff satisfies f(x+y)=f(x)+f(y)f(x + y) = f(x) + f(y) for all x,yRx, y \in \mathbb{R}.

Solution

Put x=y=0x = y = 0; we get f(0)=3f(0)f(0) = 3f(0) so that f(0)=0f(0) = 0. Taking y=1y = -1, we get f(1)=f(x)+f(1)+f(x)f(-1) = f(x) + f(-1) + f(-x) so that f(x)=f(x)f(-x) = -f(x) for all xRx \in \mathbb{R}. Taking y=1y = 1, we get f(2x+1)=2f(x)+1f(2x + 1) = 2f(x) + 1, for all xRx \in \mathbb{R}. Replace xx by u+v+uvu + v + uv in this, we get
f(2(u+v+uv)+1)=2f(u+v+uv)+f(1)=2f(u)+2f(v)+2f(uv)+f(1),(1) f(2(u + v + uv) + 1) = 2f(u + v + uv) + f(1) = 2f(u) + 2f(v) + 2f(uv) + f(1), \quad (1)

for all u,vRu, v \in \mathbb{R}. Taking x=ux = u, y=2v+1y = 2v + 1 in the original equation, we get
f(u+2v+1+2uv+u)=f(u)+f(2v+1)+f(2uv+u), f(u + 2v + 1 + 2uv + u) = f(u) + f(2v + 1) + f(2uv + u),
and this reduces to
f(2(u+v+uv)+1)=f(u)+f(2v+1)+f(2uv+u), f(2(u + v + uv) + 1) = f(u) + f(2v + 1) + f(2uv + u),
(2)
for all u,vRu, v \in \mathbb{R}. Comparing (1) and (2) and using f(2x+1)=2f(x)+1f(2x + 1) = 2f(x) + 1, we get
f(2uv+u)=f(u)+2f(uv), f(2uv + u) = f(u) + 2f(uv),
(3)
for all u,vRu, v \in \mathbb{R}. Put v=1/2v = -1/2 in (3) to get
0=f(0)=f(u)+2f(u/2)=f(u)2f(u/2). 0 = f(0) = f(u) + 2f(-u/2) = f(u) - 2f(u/2).
This shows that f(u/2)=f(u)/2f(u/2) = f(u)/2 or f(2u)=2f(u)f(2u) = 2f(u) for all uRu \in \mathbb{R}. Thus
f(2uv+u)=f(2uv)+f(u), f(2uv + u) = f(2uv) + f(u),
for all u,vRu, v \in \mathbb{R}. Given any x0x \neq 0 and yy, we can find u,vu, v such that 2uv=y2uv = y and u=xu = x. Thus f(x+y)=f(x)+f(y)f(x+y) = f(x) + f(y) for all x0x \neq 0 and yy. However this also valid for x=0x = 0. Thus f(x+y)=f(x)+f(y)f(x+y) = f(x) + f(y) for all x,yRx, y \in \mathbb{R}.

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 and solution reproduced as published; topic and difficulty added by this site.