Maths Olympiad Prep

Library / /30 of 43

Algebra Difficulty 8.1 Shortlist Find the answer

We say a triple of real numbers (a1,a2,a3) (a_1,a_2,a_3) is better than another triple (b1,b2,b3) (b_1,b_2,b_3) when exactly two out of the three following inequalities hold: a1>b1 a_1 > b_1, a2>b2 a_2 > b_2, a3>b3 a_3 > b_3. We call a triple of real numbers special when they are nonnegative and their sum is 1 1.

For which natural numbers n n does there exist a collection S S of special triples, with |S| n\text{|S| n}, such that any special triple is bettered by at least one element of S S?

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 natural numbers n n there exists a set S S of special triples, with S=n |S| = n , such that any special triple is bettered by at least one element of S S .

### Understanding the Definitions

A special triple (a1,a2,a3)(a_1, a_2, a_3) is defined as a triple of nonnegative real numbers satisfying a1+a2+a3=1 a_1 + a_2 + a_3 = 1 .

A triple (a1,a2,a3)(a_1, a_2, a_3) is better than a triple (b1,b2,b3)(b_1, b_2, b_3) when exactly two of the following inequalities hold:
a1>b1,a2>b2,a3>b3. a_1 > b_1, \quad a_2 > b_2, \quad a_3 > b_3.

### Problem Analysis

To construct a set S S such that any special triple is bettered by at least one element of S S , consider the properties of comparisons:

1. Trivial Cases:
- For n=1 n = 1 , if S S contains only one special triple, say (c1,c2,c3) (c_1, c_2, c_3) , there exist other triples such as the same (c1,c2,c3)(c_1, c_2, c_3) or others not bettered due to symmetry and equality conditions.
- For n=2 n = 2 or n=3 n = 3 , it is not possible to construct a set S S where every other special triple is worse than at least one in S S due to the one-dimensional constraint and the rule of exactly two strict inequalities.

2. **General Case for n4 n \geq 4 **:
Consider the corners of an equilateral triangle within the space defined by the sum of coordinates being 1. The ideas of domination are achievable by considering triples closer to pure corners, such as:
- (1,0,0) (1, 0, 0)
- (0,1,0) (0, 1, 0)
- (0,0,1) (0, 0, 1)
- Additional points like (0.5,0.5,0) (0.5, 0.5, 0)

These configurations cover enough of the special triples such that for any arbitrary special triple (a1,a2,a3)(a_1, a_2, a_3) there is at least one element in S S that will better it.

### Conclusion

Based on this construction, it's concluded that for n4 n \geq 4 , a collection S S can be created such that any special triple is bettered by at least one element in S S .

Thus, the set of natural numbers n n for which such a collection S S can exist is:
n4 \boxed{n \geq 4}

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.