Maths Olympiad Prep

Library / /73 of 144

Algebra Difficulty 8.2 Shortlist Find the answer

Determine all pairs (f,g)(f,g) of functions from the set of real numbers to itself that satisfy g(f(x+y))=f(x)+(2x+y)g(y)g(f(x+y)) = f(x) + (2x + y)g(y) for all real numbers xx and yy.

[i]

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

Solution

To determine all pairs (f,g)(f, g) of functions such that the equation

g(f(x+y))=f(x)+(2x+y)g(y) g(f(x+y)) = f(x) + (2x + y)g(y)

holds for all real numbers x x and y y , we can proceed by examining specific cases and deriving necessary conditions for the functions f f and g g .

### Step 1: Examine the Special Case

First, consider the substitution x=0 x = 0 into the functional equation:

g(f(y))=f(0)+yg(y). g(f(y)) = f(0) + yg(y).

This implies

g(f(0))=f(0) g(f(0)) = f(0)

when y=0 y = 0 , indicating that every y y satisfying g(f(y))=f(0)+yg(y) g(f(y)) = f(0) + yg(y) must result in a consistent application. Solving for g g , this suggests a relationship between the form of f f and g g .

### Step 2: Analyze Functional Forms

Suppose f(x)=0 f(x) = 0 for all x x and g(x)=0 g(x) = 0 for all x x . Substitution into the original equation confirms this satisfies the equation trivially:

g(f(x+y))=0=0+(2x+y)0. g(f(x+y)) = 0 = 0 + (2x + y) \cdot 0.

### Step 3: Assume Non-zero Solutions

Assume f(x) f(x) and g(x) g(x) are non-zero and satisfy the equation. Substituting y=0 y = 0 gives:

g(f(x))=f(x)+2xg(0). g(f(x)) = f(x) + 2xg(0).

If g(0)0 g(0) \neq 0 , this implies f(x) f(x) has a specific form or g(x) g(x) adjusts f f .

Similarly, set y=x y = -x in the original equation:

g(f(0))=f(x)+2xg(x), g(f(0)) = f(x) + 2xg(-x),

suggesting a linear relationship either in f f or in g g .

### Step 4: Specific Functional Forms

Assume a specific form of g(x)=x g(x) = x and f(x)=x2+c f(x) = x^2 + c . Substitute these into the original equation:

x2+y2+c+2xy=(x2+c)+(2x+y)y. x^2 + y^2 + c + 2xy = (x^2 + c) + (2x + y)y.

This simplifies to:

x2+y2+2xy+c=x2+y2+2xy+c, x^2 + y^2 + 2xy + c = x^2 + y^2 + 2xy + c,

which holds for all real values x x and y y .

Thus, the solutions are the pairs:

{f(x)0,g(x)0} or {f(x)x2+c,g(x)x}. \boxed{\{f(x) \equiv 0, g(x) \equiv 0\} \text{ or } \{f(x) \equiv x^2+c, g(x) \equiv x\}}.

These solutions satisfy the given functional equation in all real numbers x x and y y .

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.