Maths Olympiad Prep

Library / /67 of 106

Algebra Difficulty 8.5 Shortlist Find the answer

Determine all functions f f from the set of positive integers to the set of positive integers such that, for all positive integers a a and b b, there exists a non-degenerate triangle with sides of lengths
a, f(b) and f(b f(a) 1).\text{a, f(b) and f(b f(a) 1).}
(A triangle is non-degenerate if its vertices are not collinear.)

*

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

Solution

To determine all functions f:NN f: \mathbb{N} \to \mathbb{N} such that for all positive integers a a and b b , there exists a non-degenerate triangle with sides of lengths a a , f(b) f(b) , and f(b+f(a)1) f(b + f(a) - 1) , we proceed as follows:

A non-degenerate triangle with side lengths x x , y y , and z z satisfies the triangle inequalities:
1. x+y>z x + y > z
2. x+z>y x + z > y
3. y+z>x y + z > x

Substitute the given side lengths: a a , f(b) f(b) , and f(b+f(a)1) f(b + f(a) - 1) .

### Consider the Triangle Inequalities

1. First Inequality:
a+f(b)>f(b+f(a)1) a + f(b) > f(b + f(a) - 1)

2. Second Inequality:
a+f(b+f(a)1)>f(b) a + f(b + f(a) - 1) > f(b)

3. Third Inequality:
f(b)+f(b+f(a)1)>a f(b) + f(b + f(a) - 1) > a

### Analyze the Implications

For inequality (3), rearrange it:
f(b)+f(b+f(a)1)>a f(b) + f(b + f(a) - 1) > a

From inequality (1):
f(b+f(a)1)<a+f(b) f(b + f(a) - 1) < a + f(b)

From inequality (2):
f(b)<a+f(b+f(a)1) f(b) < a + f(b + f(a) - 1)

### Check if f(n)=n f(n) = n is a Solution

Assume f(n)=n f(n) = n for all nN n \in \mathbb{N} .

Substitute:
- The side lengths become a a , b b , and b+a1 b + a - 1 .

Check the triangle inequalities with these values:
1. a+b>b+a1 a + b > b + a - 1 which simplifies to a+b>b+a1 a + b > b + a - 1 , always true as 1>0 1 > 0 .
2. a+(b+a1)>b a + (b + a - 1) > b simplifies to 2a+b1>b 2a + b - 1 > b , which reduces to 2a1>0 2a - 1 > 0 , thus true for all a1 a \geq 1 .
3. b+(b+a1)>a b + (b + a - 1) > a simplifies to 2b+a1>a 2b + a - 1 > a , hence 2b1>0 2b - 1 > 0 , which is true for all b1 b \geq 1 .

Thus, the function f(n)=n f(n) = n satisfies all triangle inequalities, confirming that it is a solution.

### Conclusion

Given the symmetry and necessity of satisfying the triangle inequalities, any deviation from the identity function likely disrupts one of these inequalities. Thus:

The solution is:
f(n)=n for all nN. f(n) = n \text{ for all } n \in \mathbb{N}.

The verified function that satisfies the given conditions is:
f(n)=n for all nN \boxed{f(n) = n \text{ for all } n \in \mathbb{N}}

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.