Difference between revisions of "2022 AMC 10B Problems/Problem 14"
MRENTHUSIASM (talk | contribs) m (→Problem) |
Mihikamishra (talk | contribs) (→Solution 4 (Pigeonhole v2)) |
||
(19 intermediate revisions by 9 users not shown) | |||
Line 2: | Line 2: | ||
Suppose that <math>S</math> is a subset of <math>\left\{ 1, 2, 3, \cdots , 25 \right\}</math> such that the sum of any two (not necessarily distinct) elements of <math>S</math> is never an element of <math>S.</math> What is the maximum number of elements <math>S</math> may contain? | Suppose that <math>S</math> is a subset of <math>\left\{ 1, 2, 3, \cdots , 25 \right\}</math> such that the sum of any two (not necessarily distinct) elements of <math>S</math> is never an element of <math>S.</math> What is the maximum number of elements <math>S</math> may contain? | ||
+ | |||
+ | <math>\textbf{(A)}\ 12 \qquad\textbf{(B)}\ 13 \qquad\textbf{(C)}\ 14 \qquad\textbf{(D)}\ 15 \qquad\textbf{(E)}\ 16</math> | ||
==Solution 1 (Pigeonhole Principle)== | ==Solution 1 (Pigeonhole Principle)== | ||
− | + | Let <math>M</math> be the largest number in <math>S</math>. | |
− | |||
We categorize numbers <math>\left\{ 1, 2, \ldots , M-1 \right\}</math> (except <math>\frac{M}{2}</math> if <math>M</math> is even) into <math>\left\lfloor \frac{M-1}{2} \right\rfloor</math> groups, such that the <math>i</math>th group contains two numbers <math>i</math> and <math>M-i</math>. | We categorize numbers <math>\left\{ 1, 2, \ldots , M-1 \right\}</math> (except <math>\frac{M}{2}</math> if <math>M</math> is even) into <math>\left\lfloor \frac{M-1}{2} \right\rfloor</math> groups, such that the <math>i</math>th group contains two numbers <math>i</math> and <math>M-i</math>. | ||
Line 14: | Line 15: | ||
|S| & \leq 1 + \left\lfloor \frac{M-1}{2} \right\rfloor \\ | |S| & \leq 1 + \left\lfloor \frac{M-1}{2} \right\rfloor \\ | ||
& \leq 1 + \left\lfloor \frac{25}{2} \right\rfloor \\ | & \leq 1 + \left\lfloor \frac{25}{2} \right\rfloor \\ | ||
− | & = 13 . | + | & = 13. |
\end{align*} | \end{align*} | ||
</cmath> | </cmath> | ||
Line 22: | Line 23: | ||
Thus, this set is feasible. | Thus, this set is feasible. | ||
Therefore, the most number of elements in <math>S</math> is | Therefore, the most number of elements in <math>S</math> is | ||
− | <math>\boxed{\textbf{(B) 13 | + | <math>\boxed{\textbf{(B) }13}</math>. |
~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com) | ~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com) | ||
==Solution 2== | ==Solution 2== | ||
− | We know that two odd numbers sum to an even number, so we can easily say that odd numbers <math>1-25</math> can be included in the list, making for <math>13</math> elements. But, how do we know we can't include even numbers for a higher element value? Well, to get a higher element value than <math>13</math>, odd numbers as well as even numbers would have to be included in the list (since there are only <math>12</math> even numbers from <math>1-25</math>, and many of those even numbers are the sum of even numbers). However, for every even value we add to our odd list, we have to take away an odd number because there are either two odd numbers that sum to that even value, or that even value and another odd number will sum to an odd number later in the list. So, <math>\boxed{\textbf{(B) 13 | + | We know that two odd numbers sum to an even number, so we can easily say that odd numbers <math>1-25</math> can be included in the list, making for <math>13</math> elements. But, how do we know we can't include even numbers for a higher element value? Well, to get a higher element value than <math>13</math>, odd numbers as well as even numbers would have to be included in the list (since there are only <math>12</math> even numbers from <math>1-25</math>, and many of those even numbers are the sum of even numbers). However, for every even value we add to our odd list, we have to take away an odd number because there are either two odd numbers that sum to that even value, or that even value and another odd number will sum to an odd number later in the list. So, <math>\boxed{\textbf{(B) }13}</math> elements is the highest we can go. |
+ | |||
+ | == Solution 3 == | ||
+ | |||
+ | The smallest sum of a number <math>a + b</math> where <math>b \geq a</math> is <math>a + a = 2a</math> as we are using the smallest value of <math>b</math>. Using this, we can say that if <math>12</math> were an element of <math>S</math>, then one of the sums (the smallest) would be <math>12 + 12 = 24 < 25</math>. Thus <math>13</math> must be the smallest element. So the largest amount of elements that could be in <math>S</math> is the list of numbers from <math>13</math> to <math>25</math> as they all work. Because it is inclusive we have, <math>25 - 13 + 1 = | ||
+ | \boxed{\textbf{(B) }13}</math>. | ||
+ | |||
+ | ~ Wiselion :) | ||
+ | |||
+ | == Solution 4 (Pigeonhole v2) == | ||
+ | |||
+ | We construct a possible subset <math>S</math> with <math>13</math> elements by including all odd integers from <math>1</math> to <math>25</math>, inclusive. <math>S=\left\{ 1, 3, 5, \cdots , 25 \right\}</math>. The sum of any <math>2</math> elements is even, and thus cannot be an element of <math>S</math>. | ||
+ | |||
+ | To show that <math>S</math> cannot have more than <math>13</math> elements, assume for sake of contradiction that <math>|S| \geq 14</math>. Let <math>S=\left\{ x_1, x_2, \cdots , x_n \right\}</math> where <math>n \geq 14</math> and <math>x_1 < x_2 < \cdots < x_n</math>. Because the sums of any <math>2</math> (not necessarily distinct) elements do not appear in <math>S</math>, <math>x_1+x_i</math> is not an element of <math>S</math> for all <math>1 \leq i \leq n</math>. So, <math>x_1, x_2, \cdots , x_n , x_1+x_1, x_1+x_2, \cdots , x_1+x_n</math> are all distinct integers. Let these integers be elements of the set <math>T</math>. <math>|T|=2n</math>, and because <math>n \geq 14</math>, <math>|T| \geq 28</math>. But all elements of <math>T</math> must be <math>\geq x_1</math> and <math>\leq x_1+x_n \leq x_1+25</math>, leaving only 26 possible values for the elements in <math>T</math>. By the Pigeonhole Principle, the elements cannot be distinct, and we have a contradiction. | ||
+ | |||
+ | Thus, <math> \boxed{\textbf{(B) }13}</math> is the maximum possible size of <math>S</math>. | ||
+ | |||
+ | ~starwars101 | ||
+ | |||
+ | == Solution 5 (solution 2 with a deeper explanation. For if you felt stuck at the start) == | ||
+ | |||
+ | The first element of subset <math>S</math> must be <math>1</math>. Nothing between <math>1</math> and <math>25</math> can possibly add up to <math>1</math>, so that's your first number. Since you included <math>1</math>, you cannot include <math>2</math> and must instead include <math>3</math>. Now that you have <math>1</math> and <math>3</math>, you cannot include <math>4</math> or <math>6</math>, so you include <math>5</math>. Including <math>5</math> rules out <math>8</math> and <math>10</math>. So the next numbers to include are <math>7</math> and <math>9</math>. By this point, it's evident that you're going by odds. But will this pattern will continue? | ||
+ | |||
+ | Since you started out with <math>1</math> and then <math>3</math>, you could only ever use those odd numbers to create even numbers. Odd plus odd is never odd, so the next smallest number <math>S</math> can contain will always be the next smallest odd number. | ||
+ | |||
+ | |||
+ | So now you have the odds from <math>1</math> to <math>25</math>. You might realize quickly that that is <math>\textbf{13}</math> elements, but if you don't, you can convert them to the evens <math>2</math> to <math>26</math>. By halving each term, you have integers <math>1</math> to <math>13</math>, so it's obvious now that the answer is <math> \boxed{\textbf{(B)} 13}</math> | ||
+ | |||
+ | ~mihikamishra | ||
==Video Solution== | ==Video Solution== | ||
Line 34: | Line 63: | ||
~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com) | ~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com) | ||
+ | ==Video Solution by Interstigation== | ||
+ | https://youtu.be/in3N3Os5kGw | ||
+ | |||
+ | ==Video Solution by TheBeautyofMath== | ||
+ | https://youtu.be/Mi2AxPhnRno?t=1056 | ||
+ | |||
+ | ~IceMatrix | ||
== See Also == | == See Also == | ||
{{AMC10 box|year=2022|ab=B|num-b=13|num-a=15}} | {{AMC10 box|year=2022|ab=B|num-b=13|num-a=15}} | ||
{{MAA Notice}} | {{MAA Notice}} |
Latest revision as of 12:28, 24 August 2024
Contents
Problem
Suppose that is a subset of
such that the sum of any two (not necessarily distinct) elements of
is never an element of
What is the maximum number of elements
may contain?
Solution 1 (Pigeonhole Principle)
Let be the largest number in
.
We categorize numbers
(except
if
is even) into
groups, such that the
th group contains two numbers
and
.
Recall that and the sum of two numbers in
cannot be equal to
, and the sum of numbers in each group above is equal to
. Thus, each of the above
groups can have at most one number in
.
Therefore,
Next, we construct an instance of with
.
Let
.
Thus, this set is feasible.
Therefore, the most number of elements in
is
.
~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com)
Solution 2
We know that two odd numbers sum to an even number, so we can easily say that odd numbers can be included in the list, making for
elements. But, how do we know we can't include even numbers for a higher element value? Well, to get a higher element value than
, odd numbers as well as even numbers would have to be included in the list (since there are only
even numbers from
, and many of those even numbers are the sum of even numbers). However, for every even value we add to our odd list, we have to take away an odd number because there are either two odd numbers that sum to that even value, or that even value and another odd number will sum to an odd number later in the list. So,
elements is the highest we can go.
Solution 3
The smallest sum of a number where
is
as we are using the smallest value of
. Using this, we can say that if
were an element of
, then one of the sums (the smallest) would be
. Thus
must be the smallest element. So the largest amount of elements that could be in
is the list of numbers from
to
as they all work. Because it is inclusive we have,
.
~ Wiselion :)
Solution 4 (Pigeonhole v2)
We construct a possible subset with
elements by including all odd integers from
to
, inclusive.
. The sum of any
elements is even, and thus cannot be an element of
.
To show that cannot have more than
elements, assume for sake of contradiction that
. Let
where
and
. Because the sums of any
(not necessarily distinct) elements do not appear in
,
is not an element of
for all
. So,
are all distinct integers. Let these integers be elements of the set
.
, and because
,
. But all elements of
must be
and
, leaving only 26 possible values for the elements in
. By the Pigeonhole Principle, the elements cannot be distinct, and we have a contradiction.
Thus, is the maximum possible size of
.
~starwars101
Solution 5 (solution 2 with a deeper explanation. For if you felt stuck at the start)
The first element of subset must be
. Nothing between
and
can possibly add up to
, so that's your first number. Since you included
, you cannot include
and must instead include
. Now that you have
and
, you cannot include
or
, so you include
. Including
rules out
and
. So the next numbers to include are
and
. By this point, it's evident that you're going by odds. But will this pattern will continue?
Since you started out with and then
, you could only ever use those odd numbers to create even numbers. Odd plus odd is never odd, so the next smallest number
can contain will always be the next smallest odd number.
So now you have the odds from to
. You might realize quickly that that is
elements, but if you don't, you can convert them to the evens
to
. By halving each term, you have integers
to
, so it's obvious now that the answer is
~mihikamishra
Video Solution
~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com)
Video Solution by Interstigation
Video Solution by TheBeautyofMath
https://youtu.be/Mi2AxPhnRno?t=1056
~IceMatrix
See Also
2022 AMC 10B (Problems • Answer Key • Resources) | ||
Preceded by Problem 13 |
Followed by Problem 15 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25 | ||
All AMC 10 Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.