Maths Olympiad Prep

Track / Stage 6 / 31 of 400 #1511 of 2444

Problem 1511

National Olympiad, first round
Algebra Difficulty 6.0 Prove it The 13th Thailand Mathematical Olympiad · Thailand

Let a0a \neq 0 be a real number. Determine all functions f:RRf : \mathbb{R} \to \mathbb{R} satisfying
f(x)f(y)+f(x+y)=axy f(x)f(y) + f(x+y) = axy
for all real numbers xx and yy.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Substituting (x,y)=(0,0)(x, y) = (0, 0) in (8) yields f(0)2+f(0)=0f(0)^2 + f(0) = 0; that is, f(0)=0f(0) = 0 or f(0)=1f(0) = -1. If f(0)=0f(0) = 0, then the substitution y=0y = 0 in (8) yields f(x)=0f(x) = 0 for all xRx \in \mathbb{R}. However, the zero function does not satisfy (8), so we must have f(0)=1f(0) = -1.

We consider two cases regarding the value of aa.

Case 1. a>0a > 0.
Let x0=1ax_0 = \frac{1}{\sqrt{a}}. Substituting (x,y)=(x0,x0)(x, y) = (x_0, -x_0) in (8) one obtains f(x0)f(x0)=0f(x_0)f(-x_0) = 0. If f(x0)=0f(x_0) = 0, then the substitution (x,y)=(xx0,x0)(x, y) = (x - x_0, x_0) in (8) yields
f(x)=ax0(xx0)=ax1,for all xR. f(x) = a x_0 (x - x_0) = \sqrt{a}x - 1, \quad \text{for all } x \in \mathbb{R}.

If f(x0)=0f(-x_0) = 0, then the substitution (x,y)=(x+x0,x0)(x, y) = (x + x_0, -x_0) in (8) yields
f(x)=ax0(x+x0)=ax1,for all xR. f(x) = -a x_0 (x + x_0) = -\sqrt{a}x - 1, \quad \text{for all } x \in \mathbb{R}.

It is not hard to verify that both functions satisfy (8).

Case 2. a<0a < 0.
We are going to show that no function ff satisfy (8). A substitution y=xy = x in (8) yields f(x)2+f(2x)=ax2f(x)^2 + f(2x) = a x^2, for all xRx \in \mathbb{R}. That is, f(2x)=ax2f(x)2f(2x) = a x^2 - f(x)^2 and f(2x)=ax2f(x)2f(-2x) = a x^2 - f(-x)^2, and so
f(2x)f(2x)=a2x4ax2(f(x)2+f(x)2)+(f(x)f(x))2. f(2x)f(-2x) = a^2 x^4 - a x^2 (f(x)^2 + f(-x)^2) + (f(x)f(-x))^2.

A substitution y=xy = -x in (8) yields f(x)f(x)=1ax2f(x)f(-x) = 1 - a x^2 for all xRx \in \mathbb{R}. Thus,
14ax2=a2x4ax2(f(x)2+f(x)2)+(1ax2)2, 1 - 4a x^2 = a^2 x^4 - a x^2 (f(x)^2 + f(-x)^2) + (1 - a x^2)^2,
or
x2(f(x)2+f(x)2)=2ax4+2x2for all xR. x^2 (f(x)^2 + f(-x)^2) = 2a x^4 + 2x^2 \quad \text{for all } x \in \mathbb{R}.
Let x=2ax = \frac{2}{\sqrt{-a}}. We have f(x)2+f(x)2=2a(2a)2+2=6f(x)^2 + f(-x)^2 = 2a \left(\frac{2}{\sqrt{-a}}\right)^2 + 2 = -6, which is impossible.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.