Maths Olympiad Prep

Library / /14 of 21

Algebra Difficulty 8.2 Shortlist Find the answer

Find all functions f:R+R+f:\mathbb{R}^+ \rightarrow \mathbb{R}^+, such that f(x2023+f(x)f(y))=x2023+yf(x)f(x^{2023}+f(x)f(y))=x^{2023}+yf(x) for all x,y>0x, y>0.

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

Solution

To solve the functional equation for functions f:R+R+ f: \mathbb{R}^+ \rightarrow \mathbb{R}^+ such that

f(x2023+f(x)f(y))=x2023+yf(x) f(x^{2023} + f(x)f(y)) = x^{2023} + yf(x)

for all x,y>0 x, y > 0 , we will proceed with the following steps:

### Step 1: Initial Substitution
Substitute y=1 y = 1 into the equation, we have:

f(x2023+f(x)f(1))=x2023+f(x) f(x^{2023} + f(x)f(1)) = x^{2023} + f(x)

Let f(1)=c f(1) = c , where c c is a positive real number. This simplifies the equation to:

f(x2023+cf(x))=x2023+f(x) f(x^{2023} + cf(x)) = x^{2023} + f(x)

### Step 2: Use a Suspected Solution
We suspect that f(x)=x f(x) = x might be a solution. Substituting f(x)=x f(x) = x into the original equation:

f(x2023+xy)=x2023+yx f(x^{2023} + xy) = x^{2023} + yx

If f(x)=x f(x) = x , then:

x2023+xy x^{2023} + xy

This confirms the right-hand side:

x2023+yx x^{2023} + yx

This shows that f(x)=x f(x) = x satisfies the condition for all x,y>0 x, y > 0 .

### Step 3: Verify Uniqueness
To confirm the uniqueness of the solution f(x)=x f(x) = x , assume that there exists some function g(x)x g(x) \neq x such that it also satisfies the equation:

By considering the nature of functional equations and the constraints given (in particular, how changes in y y affect the arguments of f f ), functions like g(x)+c g(x) + c can be tested. However, further exploration typically leads back to the linearity and structure of f(x)=x f(x) = x .

Thus, by substitution and analysis, f(x)=x f(x) = x is the only function that can satisfy the given condition.

### Conclusion

Thus, the solution to the functional equation is:

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

This completes the solving process for the given functional equation.

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.