Maths Olympiad Prep

Library / /36 of 97

Algebra Difficulty 7.8 National olympiad, round 2 Find the answer

Find all functions f:ZZf:\mathbb {Z}\to\mathbb Z, satisfy that for any integer a{a}, b{b}, c{c},
2f(a2+b2+c2)2f(ab+bc+ca)=f(ab)2+f(bc)2+f(ca)22f(a^2+b^2+c^2)-2f(ab+bc+ca)=f(a-b)^2+f(b-c)^2+f(c-a)^2

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

Solution

We are given the functional equation for f:ZZ f: \mathbb{Z} \to \mathbb{Z} :
2f(a2+b2+c2)2f(ab+bc+ca)=f(ab)2+f(bc)2+f(ca)2 2f(a^2 + b^2 + c^2) - 2f(ab + bc + ca) = f(a - b)^2 + f(b - c)^2 + f(c - a)^2
for any integers a,b, a, b, and c c .

To find all such functions f f , we proceed as follows:

### Step 1: Initial Analysis
Let P(a,b,c) P(a, b, c) denote the given assertion. Adding P(a,b,c) P(a, b, c) and P(a,b,c) P(-a, -b, -c) yields:
2f(a2+b2+c2)2f(ab+bc+ca)=f(ab)2+f(bc)2+f(ca)2. 2f(a^2 + b^2 + c^2) - 2f(ab + bc + ca) = f(a - b)^2 + f(b - c)^2 + f(c - a)^2.
This simplifies to:
f((ab)2)=f(ab)2, \sum f((a - b)^2) = \sum f(a - b)^2,
indicating that f(x2)=f(x)2 f(x^2) = f(x)^2 .

### Step 2: Case Analysis
#### Case 1: f(1)=0 f(1) = 0
If f(1)=0 f(1) = 0 , then P(1,0,0) P(1, 0, 0) implies f(1)=0 f(-1) = 0 . By induction and using the relation Q(x,x1,1) Q(x, -x-1, 1) , we find that f(x)=0 f(x) = 0 for all x x .

#### Case 2: f(1)0 f(1) \neq 0
If f(1)0 f(1) \neq 0 , then P(1,0,0) P(1, 0, 0) gives 2f(1)=f(1)2+f(1)2 2f(1) = f(1)^2 + f(-1)^2 . This implies f(1)=1 f(1) = 1 and f(1)=1 f(-1) = -1 . Using induction and the relations derived from P(x,1,0) P(x, 1, 0) and P(x,1,0) P(x, -1, 0) , we find that f(x)=x f(x) = x for all x x .

### Conclusion
The only functions that satisfy the given functional equation are:
1. f(x)=0 f(x) = 0 for all x x .
2. f(x)=x f(x) = x for all x x .

The answer is: f(x)\boxed{f(x)} = 0 \text{} or } 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.