Maths Olympiad Prep

Track / Stage 7 / 196 of 300 #1596 of 1964

Problem 1596

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.5 Find the answer imo

The function f(n)f(n) is defined on the positive integers and takes non-negative integer values. f(2)=0,f(3)>0,f(9999)=3333f(2)=0,f(3)>0,f(9999)=3333 and for all m,n:m,n: f(m+n)f(m)f(n)=0 or 1. f(m+n)-f(m)-f(n)=0 \text{ or } 1. Determine f(1982)f(1982).

A number or a short expression. Spacing, $ signs and \frac vs / are all fine.

Official solution

We are given that the function f(n) f(n) is defined on positive integers and it takes non-negative integer values. It satisfies:

f(2)=0, f(2) = 0,
f(3)>0, f(3) > 0,
f(9999)=3333, f(9999) = 3333,

and for all m,n m, n :

f(m+n)f(m)f(n)=0 or 1. f(m+n) - f(m) - f(n) = 0 \text{ or } 1.

We need to determine f(1982) f(1982) .

### Analysis of the Function f(n) f(n)

Given the functional equation:

f(m+n)=f(m)+f(n) or f(m)+f(n)+1, f(m+n) = f(m) + f(n) \text{ or } f(m) + f(n) + 1,

we observe that f(n) f(n) behaves much like an additive function with an additional constraint. Furthermore, the values provided imply a linear-like growth with periodic modifications due to the +1 +1 term in the equation.

### Establishing a Hypothesis

1. Hypothesis of Linear Growth: Given that f(9999)=3333 f(9999) = 3333 , a reasonable first hypothesis for f(n) f(n) is that it is approximately proportional to n n , suggesting f(n)n3 f(n) \approx \frac{n}{3} .

2. Discrete Steps with Deviations: The functional condition allows for deviations of +1 +1 from strict linearity, indicating some periodic rate of adjustment.

### Verifying Consistency of f(n) f(n)

Using the assumption f(n)=n3 f(n) = \left\lfloor \frac{n}{3} \right\rfloor , let's verify with the given information:

- f(2)=0 f(2) = 0 : The formula 23=0 \left\lfloor \frac{2}{3} \right\rfloor = 0 agrees.
- f(3)>0 f(3) > 0 : Indeed, 33=1 \left\lfloor \frac{3}{3} \right\rfloor = 1 agrees.
- f(9999)=3333 f(9999) = 3333 : Indeed, 99993=3333 \left\lfloor \frac{9999}{3} \right\rfloor = 3333 agrees.

### Calculating f(1982) f(1982)

To find f(1982) f(1982) :

f(1982)=19823 f(1982) = \left\lfloor \frac{1982}{3} \right\rfloor

Carrying out the division:

19823=660.666 \frac{1982}{3} = 660.666\ldots

Taking the floor function:

19823=660 \left\lfloor \frac{1982}{3} \right\rfloor = 660

Thus, the value of f(1982) f(1982) is:

660 \boxed{660}

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.