Difference between revisions of "2018 AIME I Problems/Problem 9"
m (→Solution 2) |
m (→Solutions) |
||
(14 intermediate revisions by 8 users not shown) | |||
Line 1: | Line 1: | ||
==Problem== | ==Problem== | ||
Find the number of four-element subsets of <math>\{1,2,3,4,\dots, 20\}</math> with the property that two distinct elements of a subset have a sum of <math>16</math>, and two distinct elements of a subset have a sum of <math>24</math>. For example, <math>\{3,5,13,19\}</math> and <math>\{6,10,20,18\}</math> are two such subsets. | Find the number of four-element subsets of <math>\{1,2,3,4,\dots, 20\}</math> with the property that two distinct elements of a subset have a sum of <math>16</math>, and two distinct elements of a subset have a sum of <math>24</math>. For example, <math>\{3,5,13,19\}</math> and <math>\{6,10,20,18\}</math> are two such subsets. | ||
− | |||
− | |||
==Solution 1== | ==Solution 1== | ||
Line 14: | Line 12: | ||
Case 2. | Case 2. | ||
− | We can look for solutions by listing possible <math>a</math> values and filling in the blanks. Start with <math>a=4</math>, as that is the minimum. We find <math>\{4, 12, 20, ?\}</math>, and likewise up to <math>a=15</math>. But we can't have <math>a=8</math> or <math>a=12</math> because <math>a=b</math> or <math>a=c</math>, respectively! Now, it would seem like there are <math>10</math> values for <math>a</math> and <math>17</math> unique values for each <math>?</math>, giving a total of <math>170</math>, but that is once again not true because there are some repeated values! | + | We can look for solutions by listing possible <math>a</math> values and filling in the blanks. Start with <math>a=4</math>, as that is the minimum. We find <math>\{4, 12, 20, ?\}</math>, and likewise up to <math>a=15</math>. But we can't have <math>a=8</math> or <math>a=12</math> because <math>a=b</math> or <math>a=c</math>, respectively! Now, it would seem like there are <math>10</math> values for <math>a</math> and <math>17</math> unique values for each <math>?</math>, giving a total of <math>170</math>, but that is once again not true because there are some repeated values! |
+ | There are two cases of overcounting: | ||
+ | |||
+ | case 1) (5,11,13,19) & (5.11.19.13) | ||
+ | |||
+ | The same is for (6,10,14,18) and (7,9,15,17) | ||
+ | |||
+ | case 2) those that have the same b and c values | ||
+ | |||
+ | this case includes: | ||
+ | |||
+ | (1,15,9,7) and (7,9,15,1) | ||
+ | |||
+ | (2,14,10,6) and (6,10,14,2) | ||
+ | |||
+ | (3,13,11,5) and (5,11,13,3) | ||
+ | |||
+ | So we need to subtract 6 overcounts. | ||
+ | So, that's <math>164</math> for Case 2. | ||
Total gives <math>\boxed{210}</math>. | Total gives <math>\boxed{210}</math>. | ||
Line 21: | Line 37: | ||
==Solution 2== | ==Solution 2== | ||
− | + | Let's say our four elements in our subset are <math>a,b,c,d</math>. We have two cases. Note that the order of the elements / the element letters themselves don't matter since they are all on equal grounds at the start. | |
+ | |||
+ | |||
+ | <math>\textrm{Case } 1 \textrm{:}</math> <math>a+b = 16</math> and <math>c+d = 24</math>. | ||
+ | |||
+ | List out possibilities for <math>a+b</math> <math>(\text{i.e. } 1+15, 2+14, 3+13 \text{ etc.})</math> but don't list <math>8+8</math> because those are the same elements and that is restricted. | ||
+ | |||
+ | Then list out the possibilities for <math>c+d \text{ }(\text{i.e. } 4+20, 5+19, 6+18, \text{ etc.})</math> but don't list <math>12+12</math> because they are the same elements. | ||
+ | |||
+ | This will give you <math>7 \cdot 8</math> elements, which is <math>56</math>. However, as stated above, we have overlap. Just count starting from <math>a+b</math>. <math>15,14,13,11,10,9,7,6,5,4</math> all overlap once, which is <math>10</math>, thus <math>56 - 10 = 46</math> cases in this case. Note that <math>12</math> wasn't included because again, if <math>c+d = 24</math>, <math>c</math> and <math>d</math> cannot be <math>12</math>. | ||
+ | |||
+ | |||
+ | <math>\textrm{Case } 2 \textrm{:}</math> <math>a+b = 16</math> and <math>b+c = 24</math>. | ||
− | + | Here, <math>b</math> is included in both equations. We can easily see that <math>a, b, c</math> will never equal each other. | |
− | + | Furthermore, there are 17 choices for <math>d</math> (<math>20 - 3</math> included elements) for each <math>b</math>. Listing out the possible <math>b</math>s, we go from <math>15,14,13,11,10,9,7,6,5,4</math>. Do not include <math>8</math> or <math>12</math> because if they are included, then <math>a/c</math> will be the same as <math>b</math>, which is restricted. | |
− | + | There are <math>10</math> options there, and thus <math>10 \cdot 17 = 170</math>. But, note that if <math>d = b+8</math>, <math>a+d = a+b+8 = 24</math>, and so we have a double-counted set. Starting with <math>b=15</math>, we have <math>15, 14, 13, 11, 10, 9</math> (where <math>d</math> is <math>7, 6, 5, 3, 2, 1)</math>. That means there are <math>6</math> double-counted cases. Thus <math>170 - 6 = 164</math> cases in this case. | |
− | Adding these up, we get <math>46+ | + | Adding these up, we get <math>46+164 = \boxed{210}.</math> |
~IronicNinja | ~IronicNinja | ||
− | ~<math>\LaTeX | + | ~<math>\LaTeX</math> by AlcBoy1729 |
− | + | ~Formatted by ojaswupadhyay and phoenixfire | |
− | |||
− | == Solution | + | ==Solution 3 (Official MAA)== |
+ | There are two types of <math>\{a,b,c,d\} \subseteq \{1,2,3,4\dots,20\}</math> that have the needed property. There is either an assignment of distinct values for <math>a,\,b,\,c,</math> and <math>d</math> such that <math>a+b=16</math> and <math>c+d=24</math> or an assignment such that <math>a+b=16</math> and <math>a+c=24.</math> These two types are mutually exclusive because <math>c+d=24</math> and <math>a+c=24</math> imply that <math>a=d.</math> For the first type, there are <math>7</math> choices for <math>\{a,b\},</math> namely <math>\{1,15\},\,\{2,14\},\,\{3,13\},\,\{4,12\},\,\{5,11\},\,\{6,10\},</math> and <math>\{7,9\},</math> and there are <math>8</math> choices for <math>\{c,d\},</math> namely <math>\{4,20\},\,\{5,19\},\,\{6,18\},\,\{7,17\},\,\{8,16\},\,\{9,15\},\{10,14\},</math> and <math>\{11,13\}.</math> Thus a four-element subset of the first type can be formed by taking the union of one of <math>7</math> two-element subsets with one of <math>8</math> two-element subsets as long as these two subsets are disjoint. There are <math>10</math> such pairings that are not disjoint out of the <math>7\cdot 8=56</math> pairings, so there are <math>56-10=46</math> subsets of the first type. | ||
− | + | For subsets of the second type, there are <math>10</math> choices for the value of <math>a</math> <math>(4,\,5,\,6,\,7,\,9,\,10,\,11,\,13,\,14,\,15)</math> such that <math>b=16-a</math> and <math>c=24-a</math> can be two other elements of the subset. Note that in each of these cases, <math>c-b=(24-a)-(16-a)=8.</math> For each of these, there are <math>20-3=17</math> other values that can be chosen for the element <math>d</math> in the subset. But <math>10\cdot 17=170</math> counts some subsets more than once. In particular, a subset is counted twice if <math>b+d=24</math> or <math>c+d=16</math>. In such cases either <math>d=a+8</math> or <math>d=a-8</math>. There are exactly <math>6</math> subsets where the role of <math>a</math> can be played by two different elements of the set. They are <math>\{1,7,9,15\},\,\{2,6,10,14\},\,\{3,5,11,13\},\,\{5,11,13,19\},\,\{6,10,14,18\},</math> and <math>\{7,9,15,17\}</math>. Thus there are <math>170-6=164</math> subsets of the second type. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | = | + | In all, there are <math>46+164=210</math> subsets with the required property. |
{{AIME box|year=2018|n=I|num-b=8|num-a=10}} | {{AIME box|year=2018|n=I|num-b=8|num-a=10}} | ||
{{MAA Notice}} | {{MAA Notice}} |
Latest revision as of 22:32, 5 February 2022
Problem
Find the number of four-element subsets of with the property that two distinct elements of a subset have a sum of , and two distinct elements of a subset have a sum of . For example, and are two such subsets.
Solution 1
This problem is tricky because it is the capital of a few "bashy" calculations. Nevertheless, the process is straightforward. Call the set .
Note that there are only two cases: 1 where and or 2 where and . Also note that there is no overlap between the two situations! This is because if they overlapped, adding the two equations of both cases and canceling out gives you , which cannot be true.
Case 1. This is probably the simplest: just make a list of possible combinations for and . We get for the first and for the second. That appears to give us solutions, right? NO. Because elements can't repeat, take out the supposed sets That's ten cases gone. So for Case 1.
Case 2. We can look for solutions by listing possible values and filling in the blanks. Start with , as that is the minimum. We find , and likewise up to . But we can't have or because or , respectively! Now, it would seem like there are values for and unique values for each , giving a total of , but that is once again not true because there are some repeated values! There are two cases of overcounting:
case 1) (5,11,13,19) & (5.11.19.13)
The same is for (6,10,14,18) and (7,9,15,17)
case 2) those that have the same b and c values
this case includes:
(1,15,9,7) and (7,9,15,1)
(2,14,10,6) and (6,10,14,2)
(3,13,11,5) and (5,11,13,3)
So we need to subtract 6 overcounts. So, that's for Case 2.
Total gives .
-expiLnCalc
Solution 2
Let's say our four elements in our subset are . We have two cases. Note that the order of the elements / the element letters themselves don't matter since they are all on equal grounds at the start.
and .
List out possibilities for but don't list because those are the same elements and that is restricted.
Then list out the possibilities for but don't list because they are the same elements.
This will give you elements, which is . However, as stated above, we have overlap. Just count starting from . all overlap once, which is , thus cases in this case. Note that wasn't included because again, if , and cannot be .
and .
Here, is included in both equations. We can easily see that will never equal each other.
Furthermore, there are 17 choices for ( included elements) for each . Listing out the possible s, we go from . Do not include or because if they are included, then will be the same as , which is restricted.
There are options there, and thus . But, note that if , , and so we have a double-counted set. Starting with , we have (where is . That means there are double-counted cases. Thus cases in this case.
Adding these up, we get
~IronicNinja ~ by AlcBoy1729 ~Formatted by ojaswupadhyay and phoenixfire
Solution 3 (Official MAA)
There are two types of that have the needed property. There is either an assignment of distinct values for and such that and or an assignment such that and These two types are mutually exclusive because and imply that For the first type, there are choices for namely and and there are choices for namely and Thus a four-element subset of the first type can be formed by taking the union of one of two-element subsets with one of two-element subsets as long as these two subsets are disjoint. There are such pairings that are not disjoint out of the pairings, so there are subsets of the first type.
For subsets of the second type, there are choices for the value of such that and can be two other elements of the subset. Note that in each of these cases, For each of these, there are other values that can be chosen for the element in the subset. But counts some subsets more than once. In particular, a subset is counted twice if or . In such cases either or . There are exactly subsets where the role of can be played by two different elements of the set. They are and . Thus there are subsets of the second type.
In all, there are subsets with the required property.
2018 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 8 |
Followed by Problem 10 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.