Olympiad Maths Prep

Track / Stage 7 / 75 of 300 #1475 of 2000

Problem 1475

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.1 Find the answer usamo

Find all integers n3n \geq 3 such that among any nn positive real numbers a1,a2,\hdots,ana_1, a_2, \hdots, a_n with max(a1,a2,\hdots,an)nmin(a1,a2,\hdots,an)\text{max}(a_1,a_2,\hdots,a_n) \leq n \cdot \text{min}(a_1,a_2,\hdots,a_n), there exist three that are the side lengths of an acute triangle.

Official solution

To solve this problem, we need to determine for which integers n3 n \geq 3 , any set of n n positive real numbers a1,a2,,an a_1, a_2, \ldots, a_n , under the condition max(a1,a2,,an)nmin(a1,a2,,an) \max(a_1, a_2, \ldots, a_n) \leq n \cdot \min(a_1, a_2, \ldots, a_n) , contains three numbers that can serve as the side lengths of an acute triangle.

### Triangle Inequality Conditions

For three numbers x,y,z x, y, z to be the side lengths of an acute triangle, they must satisfy:
1. The triangle inequalities:
x+y>z,y+z>x,z+x>y. x + y > z, \quad y + z > x, \quad z + x > y.
2. The condition for an acute triangle:
x2+y2>z2,y2+z2>x2,z2+x2>y2. x^2 + y^2 > z^2, \quad y^2 + z^2 > x^2, \quad z^2 + x^2 > y^2.

### Applying the Given Condition

Given the condition max(a1,a2,,an)nmin(a1,a2,,an) \max(a_1, a_2, \ldots, a_n) \leq n \cdot \min(a_1, a_2, \ldots, a_n) , denote:
M=max(a1,a2,,an),m=min(a1,a2,,an). M = \max(a_1, a_2, \ldots, a_n), \quad m = \min(a_1, a_2, \ldots, a_n).
Then, we have:
Mnm. M \leq n \cdot m.

### Establishing an Acute Triangle

We need to check if there exist three numbers among a1,a2,,an a_1, a_2, \ldots, a_n that can be x,y, x, y, and z z such that:
x2+y2>z2. x^2 + y^2 > z^2.

For large n n , the ratio Mm \frac{M}{m} being small allows the flexibility to select three numbers closer to each other, increasing the likelihood of forming an acute triangle.

### Determining n n

An example helps illustrate when such sets of numbers are possible, but due to the condition Mnm M \leq n \cdot m , let's consider when:
n12. n \leq 12.
In these cases, it is possible to construct examples where three numbers do not satisfy the acute triangle condition, especially if the numbers are spread evenly (such as arithmetic progressions with large gaps).

However, for n13 n \geq 13 , this constraint becomes less significant, as the maximum spread allowed (i.e., M/m M/m ) shrinks relative to the number of elements, and we can always find subsets like {1, 1, 1} which trivially satisfy both the triangle inequalities and the acute condition.

Hence, the minimum integer n n such that the condition is always satisfied is:
n13. n \geq \boxed{13}.

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