Maths Olympiad Prep

Library / /49 of 169

Geometry Difficulty 7.1 National Olympiad, round 2 Find the answer

Find all integers n3n \geq 3 such that among any nn positive real numbers a 1, a 2, , a n\text{a 1, a 2, , a n} with max (a 1,a 2, ,a n) n min (a 1,a 2, ,a n)\text{max (a 1,a 2, ,a n) n min (a 1,a 2, ,a n)}, there exist three that are the side lengths of an acute triangle.

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

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}.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.