Maths Olympiad Prep

Library / /208 of 520

Algebra Difficulty 6.3 National olympiad Find the answer

Find all functions f:RRf: \mathbb{R} \rightarrow \mathbb{R} that satisfy

f(xy1)+f(x)f(y)=2xy1 f(x y-1)+f(x) f(y)=2 x y-1

for all x,yRx, y \in \mathbb{R}.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

If ff is constant, the left side is always the same, while the right side can vary, a contradiction. Therefore, ff is not constant. Now, substitute x=0x=0: f(1)+f(0)f(y)=1f(-1)+f(0) f(y)=-1, so f(0)f(y)f(0) f(y) takes the same value for all yRy \in \mathbb{R}. Since ff is not constant, this gives f(0)=0f(0)=0. We can then immediately conclude that f(1)=1f(-1)=-1. Now, substitute x=y=1x=y=1: f(0)+f(1)2=1f(0)+f(1)^{2}=1, so f(1)=1f(1)=1 or f(1)=1f(1)=-1.
Substituting y=1+1xy=1+\frac{1}{x} with x0x \neq 0 gives f(x+11)+f(x)f(1+1x)=2x+21f(x+1-1)+f(x) f\left(1+\frac{1}{x}\right)=2 x+2-1, so

f(x)f(1+1x)=2x+1f(x) for all x0 f(x) f\left(1+\frac{1}{x}\right)=2 x+1-f(x) \quad \text { for all } x \neq 0

Substituting y=1xy=\frac{1}{x} with x0x \neq 0 gives f(11)+f(x)f(1x)=21f(1-1)+f(x) f\left(\frac{1}{x}\right)=2-1, so

f(x)f(1x)=1 for all x0 f(x) f\left(\frac{1}{x}\right)=1 \quad \text { for all } x \neq 0

Substituting y=1,x=z+1y=1, x=z+1 gives f(z+11)+f(z+1)f(1)=2z+21f(z+1-1)+f(z+1) f(1)=2 z+2-1, so

f(z)+f(z+1)f(1)=2z+1 for all z f(z)+f(z+1) f(1)=2 z+1 \quad \text { for all } z

We now choose z=1xz=\frac{1}{x} with x0x \neq 0 in this equation and multiply the whole by f(x)f(x):

f(x)f(1x)+f(1x+1)f(1)f(x)=2xf(x)+f(x) for all x0 f(x) f\left(\frac{1}{x}\right)+f\left(\frac{1}{x}+1\right) f(1) f(x)=\frac{2}{x} f(x)+f(x) \quad \text { for all } x \neq 0

We rewrite the first and second terms using (2) and (1) respectively, so we get:

1+2xf(1)+f(1)f(x)f(1)=2xf(x)+f(x) for all x0 1+2 x f(1)+f(1)-f(x) f(1)=\frac{2}{x} f(x)+f(x) \quad \text { for all } x \neq 0

This can be rewritten as

f(x)(2x+1+f(1))=1+2xf(1)+f(1) for all x0 f(x) \cdot\left(\frac{2}{x}+1+f(1)\right)=1+2 x f(1)+f(1) \quad \text { for all } x \neq 0

If the second factor on the left is not 0, we can divide by it, so:

f(x)=1+2xf(1)+f(1)2x+1+f(1) if x0 and 2x+1+f(1)0 f(x)=\frac{1+2 x f(1)+f(1)}{\frac{2}{x}+1+f(1)} \quad \text { if } x \neq 0 \text { and } \frac{2}{x}+1+f(1) \neq 0 \text {. }

We had two possible values for f(1)f(1). First, let f(1)=1f(1)=1. Then we have

f(x)=2+2x2x+2=x if x0 and 2x+20 f(x)=\frac{2+2 x}{\frac{2}{x}+2}=x \quad \text { if } x \neq 0 \text { and } \frac{2}{x}+2 \neq 0

2x+2=0\frac{2}{x}+2=0 only if x=1x=-1, but we already knew that f(1)=1f(-1)=-1. Also, we already had f(0)=0f(0)=0. We see that f(x)=xf(x)=x for all xx. We check this function: in the original functional equation, we get xy1+xy=2xy1x y-1+x y=2 x y-1 on the left, so it works.
On the other hand, let f(1)=1f(1)=-1. Then we have

f(x)=2x2x=x2 if x0 and 2x0 f(x)=\frac{-2 x}{\frac{2}{x}}=-x^{2} \quad \text { if } x \neq 0 \text { and } \frac{2}{x} \neq 0

Since 2x=0\frac{2}{x}=0 cannot occur, we conclude that f(x)=x2f(x)=-x^{2} for all x0x \neq 0. Also, f(0)=0f(0)=0 satisfies this formula. We check the function f(x)=x2f(x)=-x^{2} for all xx: in the original functional equation, we get x2y21+2xy+x2y2=2xy1-x^{2} y^{2}-1+2 x y+x^{2} y^{2}=2 x y-1 on the left, so it works.
We conclude that there are two solutions, namely f(x)=xf(x)=x for all xx and f(x)=x2f(x)=-x^{2} for all xx.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.