2008 AMC 10A Problem 23
Two subsets of the set are to be chosen so that their union is and their intersection contains exactly two elements. In how many ways can this be done, assuming that the order in which the subsets are chosen does not matter?
Show solution without answering
Key insight
Each letter is in both subsets, only the first, or only the second. Choose the 2 shared letters, split the other 3, then halve.
Solution
Call the two subsets and .
1. Where can each letter go? Together and must contain all of , so no letter is left out. Each letter is in exactly one of three places: in both, in only, or in only.
2. The shared letters. Exactly two letters are in both subsets. The number of ways to choose letters from is
3. The other three letters. Each of them goes to only or to only, so there are choices.
4. So far that is ways, but this treats "first subset" and "second subset" as different.
5. Order does not matter. For example, , and , are the same choice, and we counted it twice. Every choice is counted exactly twice, because and are never equal (the three unshared letters are in only one of them). So divide by :
The answer is .
Why this works
Choosing two subsets is the same as deciding, for each letter, which part of a two-circle Venn diagram it goes in. That turns a set question into a "multiply the choices" question. Whenever order does not matter, count with order first and then divide, but first check that no choice is counted only once.
Alternative approach
Avoid the division. After picking the shared letters ( ways), you only need to split the other letters into two groups, one for each subset. There are ways to pick which letters join , but picking for and picking for give the same pair of subsets. So there are only different splits, for a total of .
Concise solution
A shorter write-up, the way contest solutions are usually written. It may take a different route from the solution above.
Call the subsets and . Because , every element of lies in at least one of them, so each element is in exactly one of three regions: only, only, or both.
First count ordered pairs . Exactly two elements are in both: ways to pick them. Each of the remaining three elements is in only or in only: ways. That gives ordered pairs.
Since order does not matter, each unordered pair has been counted twice, once as and once as , provided . And always holds here: the three non-shared elements belong to exactly one of the two subsets, so the subsets differ. Therefore the number of unordered pairs is
The answer is .
Review in the AoPS books
- Introduction to Counting & Probability, Chapter 1: Counting Is Arithmetic
- Intermediate Counting & Probability, Chapter 2: Sets and Logic (§2.2, §2.3)
- Intermediate Counting & Probability, Chapter 4: Constructive Counting and 1-1 Correspondences (§4.4, §4.5, §4.6)
- Introduction to Algebra, Chapter 22: Special Manipulations (§22.3)
Similar problems
Problem © Mathematical Association of America (MAA), American Mathematics Competitions. Reproduced for non-commercial educational use. Solution and commentary are original to this site.