Difference between revisions of "1983 AIME Problems/Problem 13"

Revision as of 20:02, 15 February 2019

Problem

For $\{1, 2, 3, \ldots, n\}$ and each of its non-empty subsets a unique alternating sum sum is defined as follows. Arrange the numbers in the subset in decreasing order and then, beginning with the largest, alternately add and subtract successive numbers. For example, the alternating sum for $\{1, 2, 3, 6,9\}$ is $9-6+3-2+1=5$ and for $\{5\}$ it is simply $5$ . Find the sum of all such alternating sums for $n=7$ .

Solution

Solution 1

Let $S$ be a non- empty subset of $\{1,2,3,4,5,6\}$ .

Then the alternating sum of $S$ , plus the alternating sum of $S \cup \{7\}$ , is $7$ . This is because, since $7$ is the largest element, when we take an alternating sum, each number in $S$ ends up with the opposite sign of each corresponding element of $S\cup \{7\}$ .

Because there are $2^{6} - 1 = 63$ of these pairs of sets (subtracting $1$ to exclude the empty set), the sum of all possible subsets of our given set is $63 \cdot 7$ . However, we forgot to include the subset that only contains $7$ , so the answer is $64 \cdot 7=\boxed{448}$ .

Solution 2 (almost the same as Solution 1)

Consider a given subset $T$ of $S$ that contains $7$ ; then there is a subset $T'$ which contains all the elements of $T$ except for $7$ , and only those elements . Since each element of $T'$ has one fewer element preceding it than it does in $T$ , their signs are opposite. Thus the sum of the alternating sums of $T$ and $T'$ is equal to 7. There are $2^6$ subsets containing 7, so our answer is $7 * 2^6 = \boxed{448}$ .

Solution 3

Denote the desired total of all alternating sums of an $n$ -element set as $S_n$ . We are looking for $S_7$ . Notice that all alternating sums of an $n$ -element set are also alternating sums of an $n+1$ -element set. However, when we go from an $n$ to $n+1$ element set, for each subset with the new element, we are adding the new element and subtracting one of the alternating sums of the $n$ -element set. There are $2^n$ subsets of an $n+1$ -element set that includes the new element, giving us the relationship $S_{n+1} = S_n + 2^n(n+1) - S_n = 2^n(n+1)$ . When $n = 6$ , we therefore get $S_ 7 = 2^6(7) = \boxed{448}$ .

@@ Line 2: / Line 2: @@
 <!-- don't remove the following tag, for PoTW on the Wiki front page--><onlyinclude>For <math>\{1, 2, 3, \ldots, n\}</math> and each of its non-empty subsets a unique '''alternating sum''' sum is defined as follows. Arrange the numbers in the subset in decreasing order and then, beginning with the largest, alternately add and subtract successive numbers. For example, the alternating sum for <math>\{1, 2, 3, 6,9\}</math> is <math>9-6+3-2+1=5</math> and for <math>\{5\}</math> it is simply <math>5</math>. Find the sum of all such alternating sums for <math>n=7</math>.<!-- don't remove the following tag, for PoTW on the Wiki front page--></onlyinclude>
-== Solution 1==
+== Solution ==
+=== Solution 1 ===
 Let <math>S</math> be a non-[[empty set | empty]] [[subset]] of <math>\{1,2,3,4,5,6\}</math>.
-Then the alternating sum of <math>S</math> plus the alternating sum of <math>S</math> with 7 included is 7. In mathematical terms, <math>S+ (S\cup 7)=7</math>. This is true because when we take an alternating sum, each term of <math>S</math> has the opposite sign of each corresponding term of <math>S\cup 7</math>.
+Then the alternating sum of <math>S</math>, plus the alternating sum of <math>S \cup \{7\}</math>, is <math>7</math>. This is because, since <math>7</math> is the largest element, when we take an alternating sum, each number in <math>S</math> ends up with the opposite sign of each corresponding element of <math>S\cup \{7\}</math>.
-Because there are <math>63</math> of these pairs, the sum of all possible subsets of our given set is <math>63*7</math>. However, we forgot to include the subset that only contains <math>7</math>, so our answer is <math>64\cdot 7=\boxed{448}</math>.
-== Solution 2 (Almost the same as Solution 1)==
-Consider a given subset <math>T</math> of <math>S</math> that contains 7; then there is a subset <math>T'</math> which contains all the elements of <math>T</math> except for 7, and only those. Since each element of <math>T'</math> has one element fewer preceding it than it does in <math>T</math>, their signs are opposite; so the sum of the alternating sums of <math>T</math> and <math>T'</math> is equal to 7. There are <math>2^6</math> subsets containing 7, so our answer is <math>7 * 2^6 = \boxed{448}</math>.
+Because there are <math>2^{6} - 1 = 63</math> of these pairs of sets (subtracting <math>1</math> to exclude the empty set), the sum of all possible subsets of our given set is <math>63 \cdot 7</math>. However, we forgot to include the subset that only contains <math>7</math>, so the answer is <math>64 \cdot 7=\boxed{448}</math>.
-==Solution 3==
+=== Solution 2 (almost the same as Solution 1) ===
-Denote the desired total of alternating sums of an <math>n</math> element set with <math>S_n</math>. We are looking for <math>S_7</math>. Note that all alternating sums of an <math>n</math> element set are also alternating sums of an <math>n+1</math> element set. However, when we go from an <math>n</math> to <math>n+1</math> element set, for each subset with the new element, we are adding the new element and subtracting one of the alternating sums of the <math>n</math> element set. There are <math>2^n</math> subsets of an <math>n+1</math> element set that includes the new element, giving us the following relationship.
+Consider a given subset <math>T</math> of <math>S</math> that contains <math>7</math>; then there is a subset <math>T'</math> which contains all the elements of <math>T</math> except for <math>7</math>, and only those elements . Since each element of <math>T'</math> has one fewer element preceding it than it does in <math>T</math>, their signs are opposite. Thus the sum of the alternating sums of <math>T</math> and <math>T'</math> is equal to 7. There are <math>2^6</math> subsets containing 7, so our answer is <math>7 * 2^6 = \boxed{448}</math>.
-<math>S_{n+1} = S_n + 2^n(n+1) - S_n = 2^n(n+1)</math>.
+=== Solution 3 ===
-For <math>n = 6</math>, this becomes <math>S_ 7 = 2^6(7) = \boxed{448}</math>.
+Denote the desired total of all alternating sums of an <math>n</math>-element set as <math>S_n</math>. We are looking for <math>S_7</math>. Notice that all alternating sums of an <math>n</math>-element set are also alternating sums of an <math>n+1</math>-element set. However, when we go from an <math>n</math> to <math>n+1</math> element set, for each subset with the new element, we are adding the new element and subtracting one of the alternating sums of the <math>n</math>-element set. There are <math>2^n</math> subsets of an <math>n+1</math>-element set that includes the new element, giving us the relationship <math>S_{n+1} = S_n + 2^n(n+1) - S_n = 2^n(n+1)</math>. When <math>n = 6</math>, we therefore get <math>S_ 7 = 2^6(7) = \boxed{448}</math>.
 == See Also ==

1983 AIME (Problems • Answer Key • Resources)
Preceded by Problem 12	Followed by Problem 14
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15
All AIME Problems and Solutions

Page

Toolbox

Search