Skip to main content

2025 AMC 10A Problem 21

Problem 21 of 25HarderAlgebraCounting & Probability

A set of numbers is called sum-free if whenever xx and yy are (not necessarily distinct) elements of the set, x+yx + y is not an element of the set. For example, {1,4,6}\{1, 4, 6\} and the empty set are sum-free, but {2,4,5}\{2, 4, 5\} is not. What is the greatest possible number of elements in a sum-free subset of {1,2,3,,20}?\{1, 2, 3, \ldots, 20\}?

Answer choices

Show solution

Solution

We can reach 10.10. The odds {1,3,5,,19}\{1, 3, 5, \ldots, 19\} are sum-free, since two odds sum to an even. So is {11,12,,20},\{11, 12, \ldots, 20\}, since any two of those sum past 20.20. Each has 1010 elements. Now let mm be the largest element of any sum-free subset. For 1i<m2,1\le i<\frac{m}{2}, at most one member of {i,mi}\{i,m-i\} can be chosen, because the two sum to m.m. If mm is even, m2\frac{m}{2} cannot be chosen either, since it can be used twice and m2+m2=m.\frac{m}{2}+\frac{m}{2}=m. Thus besides mm there are at most m12\lfloor\frac{m-1}{2}\rfloor chosen elements, for a total of at most m12+110.\lfloor\frac{m-1}{2}\rfloor+1\le10. Therefore the greatest possible size is 10.10. Thus, C is the correct answer.

More practice

Concepts: subsets · extremal argument · pairing and grouping

Problem text and solution from the LIVE past-contest archive. See also the AoPS wiki page for community solutions.