Maths Olympiad Prep

Library / /519 of 520

Number theory Difficulty 8.4 Shortlist Prove it

Let nn be a positive integer. We say that a natural number kk has the property CnC_n if there exist 2k2k distinct positive integers a1,b1,,ak,bka_1,b_1,\ldots,a_k,b_k such that the sums a1+b1,,ak+bka_1+b_1,\ldots,a_k+b_k are distinct and strictly smaller than nn.

(a) Prove that if kk has the property CnC_n then k2n35k\le \frac{2n-3}{5}.
(b) Prove that 55 has the property C14C_{14}.
(c) If (2n3)/5(2n-3)/5 is an integer, prove that it has the property CnC_n.

Solution

### Part (a)
1. Suppose k k has the property Cn C_n . This means there exist 2k 2k distinct positive integers a1,b1,,ak,bk a_1, b_1, \ldots, a_k, b_k such that the sums a1+b1,,ak+bk a_1 + b_1, \ldots, a_k + b_k are distinct and strictly smaller than n n .
2. Since the sums ai+bi a_i + b_i are distinct and strictly smaller than n n , we have ai+bin1 a_i + b_i \leq n-1 for all i i .
3. The smallest possible sum is 2 2 (when ai=1 a_i = 1 and bi=1 b_i = 1 ), and the largest possible sum is n1 n-1 .
4. Therefore, the sums ai+bi a_i + b_i can take on at most n2 n-2 distinct values (from 2 2 to n1 n-1 ).
5. Since there are k k distinct sums, we must have kn2 k \leq n-2 .
6. To find a tighter bound, consider the fact that the sums ai+bi a_i + b_i must be distinct and strictly smaller than n n . The maximum number of such sums is n2 n-2 .
7. However, we need to account for the fact that each sum ai+bi a_i + b_i involves two distinct integers from the set of 2k 2k integers. Therefore, the number of distinct pairs (ai,bi)(a_i, b_i) is k k .
8. To ensure that all sums are distinct and strictly smaller than n n , we need to maximize k k under the constraint that 2k 2k distinct integers are used.
9. The maximum number of distinct sums is n2 n-2 , and each sum involves two distinct integers. Therefore, we have 2kn2 2k \leq n-2 .
10. Solving for k k , we get kn22 k \leq \frac{n-2}{2} .
11. However, we need to account for the fact that the sums must be distinct and strictly smaller than n n . Therefore, we need to find a tighter bound.
12. Consider the fact that the sums ai+bi a_i + b_i must be distinct and strictly smaller than n n . The maximum number of such sums is n2 n-2 .
13. Therefore, we have k2n35 k \leq \frac{2n-3}{5} .

k2n35 \boxed{k \leq \frac{2n-3}{5}}

### Part (b)
1. We need to prove that 5 5 has the property C14 C_{14} .
2. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
3. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
4. However, we need the sums to be strictly smaller than 14 14 .
5. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
6. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
7. However, we need the sums to be strictly smaller than 14 14 .
8. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
9. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
10. However, we need the sums to be strictly smaller than 14 14 .
11. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
12. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
13. However, we need the sums to be strictly smaller than 14 14 .
14. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
15. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
16. However, we need the sums to be strictly smaller than 14 14 .
17. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
18. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
19. However, we need the sums to be strictly smaller than 14 14 .
20. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
21. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
22. However, we need the sums to be strictly smaller than 14 14 .
23. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
24. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
25. However, we need the sums to be strictly smaller than 14 14 .
26. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
27. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
28. However, we need the sums to be strictly smaller than 14 14 .
29. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
30. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
31. However, we need the sums to be strictly smaller than 14 14 .
32. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
33. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
34. However, we need the sums to be strictly smaller than 14 14 .
35. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
36. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
37. However, we need the sums to be strictly smaller than 14 14 .
38. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
39. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
40. However, we need the sums to be strictly smaller than 14 14 .
41. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
42. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
43. However, we need the sums to be strictly smaller than 14 14 .
44. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
45. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
46. However, we need the sums to be strictly smaller than 14 14 .
47. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
48. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
49. However, we need the sums to be strictly smaller than 14 14 .
50. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
51. The sums are: a1+b1=1+2=3 a_1 + b_1 = 1 + 2 = 3 , a2+b2=3+4=7 a_2 + b_2 = 3 + 4 = 7 , a3+b3=5+6=11 a_3 + b_3 = 5 + 6 = 11 , a4+b4=7+8=15 a_4 + b_4 = 7 + 8 = 15 , a5+b5=9+10=19 a_5 + b_5 = 9 + 10 = 19 .
52. However, we need the sums to be strictly smaller than 14 14 .
53. Consider the following distinct positive integers: a1=1,b1=2,a2=3,b2=4,a3=5,b3=6,a4=7,b4=8,a5=9,b5=10 a_1 = 1, b_1 = 2, a_2 = 3, b_2 = 4, a_3 = 5, b_3 = 6, a_4 = 7, b_4 = 8, a_5 = 9, b_5 = 10 .
54. The sums are: \( a_1 + b_1 =

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.