Maths Olympiad Prep

Library / Philippine Mathematical Olympiad Area Stage /3 of 10

Philippine Mathematical Olympiad Area Stage

Combinatorics Difficulty 6.1 National Olympiad Prove it Philippines

Problem:

For a set of real numbers AA, let A−AA-A be the set of distinct pairwise differences of AA; that is,
A−A:={a−b:a,b∈A} A-A := \{ a-b : a, b \in A \}
If ∣A−A∣=25|A-A| = 25, find the sum of all possible values of ∣A∣|A|.

Solution

Solution:

First, we show that 6≤∣A∣≤136 \leq |A| \leq 13. To do this, we show that if ∣A∣=n|A| = n, then 2n−1≤∣A−A∣≤n(n−1)+12n-1 \leq |A-A| \leq n(n-1)+1. The upper bound is easily attained; the number of distinct differences is bounded above by the number of ordered pairs (a,b)(a, b) of distinct elements of AA plus 1, to account for the remaining pairs (a,a)(a, a) which give a difference of 00; this is exactly n(n−1)+1n(n-1)+1.

For the lower bound, suppose that A={a1,a2,…,an}A = \{ a_1, a_2, \ldots, a_n \} with a1<a2<⋯<ana_1 < a_2 < \cdots < a_n. Then the n−1n-1 differences an−a1,an−a2,…,an−an−1a_n - a_1, a_n - a_2, \ldots, a_n - a_{n-1} are all positive and distinct and appear in A−AA-A; their additive inverses are all negative and distinct and also appear in A−AA-A. Also, 0∈A−A0 \in A-A and 00 is not among those differences previously listed. This gives us at least 2(n−1)+1=2n−12(n-1)+1 = 2n-1 differences in A−AA-A. These bounds show us that if ∣A−A∣=25|A-A| = 25, we must have 6≤∣A∣≤136 \leq |A| \leq 13 as desired.

We then show that for any nn with 6≤n≤136 \leq n \leq 13, there exists a set AA such that ∣A∣=n|A| = n and ∣A−A∣=25|A-A| = 25. Consider now the sets B={1,2,4,8,12,13}B = \{ 1, 2, 4, 8, 12, 13 \} and C={1,2,…,13}C = \{ 1, 2, \ldots, 13 \}. Then we have ∣B∣=6|B| = 6, ∣C∣=13|C| = 13, B⊆CB \subseteq C, and B−B=C−C={−12,−11,…,0,…,11,12}B-B = C-C = \{ -12, -11, \ldots, 0, \ldots, 11, 12 \}. Now, for any set AA with B⊆A⊆CB \subseteq A \subseteq C, we have B−B⊆A−A⊆C−CB-B \subseteq A-A \subseteq C-C, and so we must have A−A=B−B=C−CA-A = B-B = C-C. For any nn with 6≤n≤136 \leq n \leq 13, it is always possible to choose AA such that ∣A∣=n|A| = n and B⊆A⊆CB \subseteq A \subseteq C, and this will give us the desired AA.

Thus, the sum of all possible values of ∣A∣|A| is 6+7+⋯+13=766 + 7 + \cdots + 13 = 76.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.