Maths Olympiad Prep

Library / /6 of 21

Algebra Difficulty 7.8 National olympiad, round 2 Find the answer

Determine all functions f:R2Rf : \mathbb{R}^2 \to\mathbb {R} for which f(A)+f(B)+f(C)+f(D)=0,f(A)+f(B)+f(C)+f(D)=0,whenever A,B,C,DA,B,C,D are the vertices of a square with side-length one.

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

Solution

To determine all functions f:R2R f : \mathbb{R}^2 \to \mathbb{R} for which

f(A)+f(B)+f(C)+f(D)=0, f(A) + f(B) + f(C) + f(D) = 0,

whenever A,B,C,D A, B, C, D are the vertices of a square with side-length one, consider the following steps:

1. Translation Invariance: The property holds for any square, particularly for squares centered anywhere on the plane. Suppose A=(x,y) A = (x, y) , then the vertices of the square can be represented as:
- A=(x,y) A = (x, y)
- B=(x+1,y) B = (x + 1, y)
- C=(x+1,y+1) C = (x + 1, y + 1)
- D=(x,y+1) D = (x, y + 1)

We have the equation:

f(x,y)+f(x+1,y)+f(x+1,y+1)+f(x,y+1)=0 f(x, y) + f(x+1, y) + f(x+1, y+1) + f(x, y+1) = 0

2. Functional Equation for Horizontal and Vertical Translations: Consider translating the square horizontally or vertically by one unit. We'll use this to find the behavior of f f .

3. Iteratively Applying the Condition: By sequentially applying to other squares which share edges or vertices with the original square, for all integral translations of these coordinates.

4. Conclusion for a General Solution: This problem suggests that any change in values along small translations which preserve unit square arrangements shouldn't yield differing sums. This naturally implies:
- The map inside such transformations consistently returns zero.

5. Deriving the Function Form:
- Assume f(x)=0 f(x) = 0 yields f(x,y)=0 f(x, y) = 0 for any (x,y) (x, y) because any sum among those coordinates should still yield zero as enforced repeatedly by constructing transformed unit squares sharing those vertices.

Thus, the only function f f that satisfies the given conditions is the zero function for every point in R2\mathbb{R}^2. Hence, we conclude:

f(x,y)=0 \boxed{f(x, y) = 0}

This resolves the problem by deduction and continuity enforced by the function's strict zero-sum properties under the stated square arrangements.

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.