Maths Olympiad Prep

Library / /8 of 9

Algebra Difficulty 6.8 National olympiad Find the answer

Find all functions f:RRf: R \to R such that, for any x,yRx, y \in R:
f(f(x)y)f(x+f(y))=x2y2f\left( f\left( x \right)-y \right)\cdot f\left( x+f\left( y \right) \right)={{x}^{2}}-{{y}^{2}}

A number or a short expression. Spacing and $ signs are ignored.

Solution

Consider the functional equation that must be satisfied for all functions f:RR f: \mathbb{R} \to \mathbb{R} :

f(f(x)y)f(x+f(y))=x2y2 f\left( f(x) - y \right) \cdot f\left( x + f(y) \right) = x^2 - y^2

### Step 1: Analyze the structure

1. Initial Observation: The equation is symmetric in a way that resembles the difference of squares:
x2y2=(xy)(x+y) x^2 - y^2 = (x - y)(x + y)
The left-hand side involves compositions and products of f f , indicating the need for careful manipulation or fixed points.

### Step 2: Test simple functions

2. **Assume f(x)=x f(x) = x **:
- Substituting f(x)=x f(x) = x into the equation gives:
f(xy)f(x+y)=(xy)(x+y)=x2y2 f(x - y) \cdot f(x + y) = (x - y)(x + y) = x^2 - y^2
- This equation holds as f(xy)=xy f(x-y) = x-y and f(x+y)=x+y f(x+y) = x+y .

### Step 3: Uniqueness Verification

3. Verify uniqueness:
- Assume there exists some f(x) f(x) different from x x . Consider specific x x and y y to verify potential solutions.

4. Specific Substitutions:
- Use x=0 x = 0 and y=0 y = 0 to get:
f(f(0))f(0)=0 f\left( f(0) \right) \cdot f\left( 0 \right) = 0
Suggesting f(0)=0 f(0) = 0 or imposing conditions on f(f(0)) f(f(0)) .

5. Further Simplification:
- If f f is odd, such substitutions confirm:
f(f(x)x)f(x+f(0))=x2 f(f(x) - x) \cdot f(x + f(0)) = x^2

6. Deduction from Substitution:
- Assume x=y x = y implies:
f(0)f(x+f(x))=0 f(0) \cdot f(x + f(x)) = 0
If f f is nonzero everywhere, forces f(0)=0 f(0) = 0 .
- Assume x=y x = -y :
f(f(x)+x)f(x)=0 f\left( f(x) + x \right) \cdot f\left( x \right) = 0
Recursion imposes that consistent values throughout must align, asserting linear function.

### Conclusion

All trials consistently lead back to the identity function, f(x)=x f(x) = x , due to the symmetric structure of the equation. Given any deviation, contradictions arise through substitution symmetry. Therefore, the only solution is:

f(x)=x \boxed{f(x) = x}

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