Maths Olympiad Prep

Library / IMO Shortlist /144 of 365

IMO Shortlist

Algebra Difficulty 8.4 Shortlist Find the answer

Find all functions f:R→Rf:\mathbb{R}\rightarrow\mathbb{R} such that f(0)≠0f(0)\neq 0 and for all x,y∈Rx,y\in\mathbb{R},
f(x+y)2=2f(x)f(y)+max⁡{f(x2+y2),f(x2)+f(y2)}. f(x+y)^2 = 2f(x)f(y) + \max \left\{ f(x^2+y^2), f(x^2)+f(y^2) \right\}.

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

Solution

To find all functions f:R→R f:\mathbb{R}\rightarrow\mathbb{R} satisfying the given functional equation, we start with the condition:
f(0)≠0, f(0)\neq 0,
and the functional equation for all x,y∈R x, y \in \mathbb{R} :
f(x+y)2=2f(x)f(y)+max⁡{f(x2+y2),f(x2)+f(y2)}. f(x+y)^2 = 2f(x)f(y) + \max \left\{ f(x^2+y^2), f(x^2)+f(y^2) \right\}.

### Step 1: Test Simple Functions
Let's start by testing the functions given in the reference answer: f(x)=−1 f(x) = -1 and f(x)=x−1 f(x) = x - 1 .

#### Case 1: f(x)=−1 f(x) = -1
Substitute f(x)=−1 f(x) = -1 into the equation:
f(x+y)2=f(−1)2=1. f(x+y)^2 = f(-1)^2 = 1.
2f(x)f(y)=2(−1)(−1)=2. 2f(x)f(y) = 2(-1)(-1) = 2.
max⁡{f(x2+y2),f(x2)+f(y2)}=max⁡{−1,−2}=−1. \max \left\{ f(x^2+y^2), f(x^2)+f(y^2) \right\} = \max \{-1, -2\} = -1.
Thus, the right side becomes:
2−1=1. 2 - 1 = 1.
This matches the left side, confirming f(x)=−1 f(x) = -1 is a solution.

#### Case 2: f(x)=x−1 f(x) = x - 1
Substituting f(x)=x−1 f(x) = x - 1 :
f(x+y)=(x+y)−1. f(x+y) = (x+y) - 1.
Hence, the left side is:
((x+y)−1)2=(x+y)2−2(x+y)+1. ((x+y)-1)^2 = (x+y)^2 - 2(x+y) + 1.

Now the right side:
2f(x)f(y)=2(x−1)(y−1)=2(xy−x−y+1). 2f(x)f(y) = 2(x-1)(y-1) = 2(xy - x - y + 1).
f(x2+y2)=(x2+y2)−1. f(x^2+y^2) = (x^2+y^2) - 1.
f(x2)+f(y2)=(x2−1)+(y2−1)=x2+y2−2. f(x^2)+f(y^2) = (x^2-1)+(y^2-1) = x^2+y^2-2.
Thus:
max⁡{(x2+y2)−1,(x2+y2)−2}=(x2+y2)−1. \max \left\{ (x^2+y^2)-1, (x^2+y^2)-2 \right\} = (x^2+y^2)-1.

Equating both sides:
(x+y)2−2(x+y)+1=2(xy−x−y+1)+(x2+y2)−1. (x+y)^2 - 2(x+y) + 1 = 2(xy - x - y + 1) + (x^2+y^2) - 1.

Simplifying right side:
2xy−2x−2y+2+x2+y2−1=x2+y2+2xy−2x−2y+1. 2xy - 2x - 2y + 2 + x^2 + y^2 - 1 = x^2 + y^2 + 2xy - 2x - 2y + 1.

This simplifies to:
(x+y)2−2(x+y)+1, (x+y)^2 - 2(x+y) + 1,
confirming f(x)=x−1 f(x) = x - 1 is another valid solution.

### Conclusion
After verifying the two functions, we conclude that the functions satisfying the original functional equation are:
f(x)=−1andf(x)=x−1. f(x) = -1 \quad \text{and} \quad f(x) = x - 1.

Thus, the solutions are:
f(x)=−1 and f(x)=x−1. \boxed{f(x) = -1 \text{ and } f(x) = x - 1}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.