Difference between revisions of "2020 AIME I Problems/Problem 7"

(Solution 1)
(Solution 4)
Line 72: Line 72:
 
<cmath>\frac{1}{2}\cdot \binom{24}{12}=\frac{24\cdot 23\cdot 22\cdot 21\cdot 20\cdot 19\cdot 18\cdot 17\cdot 16\cdot 15\cdot 14\cdot 13}{2\cdot 12\cdot 11\cdot 10\cdot 9\cdot 8\cdot 7\cdot 6\cdot 5\cdot 4\cdot 3\cdot 2}=2\cdot 7\cdot 13\cdot 17\cdot 19\cdot 23</cmath>
 
<cmath>\frac{1}{2}\cdot \binom{24}{12}=\frac{24\cdot 23\cdot 22\cdot 21\cdot 20\cdot 19\cdot 18\cdot 17\cdot 16\cdot 15\cdot 14\cdot 13}{2\cdot 12\cdot 11\cdot 10\cdot 9\cdot 8\cdot 7\cdot 6\cdot 5\cdot 4\cdot 3\cdot 2}=2\cdot 7\cdot 13\cdot 17\cdot 19\cdot 23</cmath>
 
so the desired answer is <math>2+7+13+17+19+23=\boxed{081}</math> ~ktong
 
so the desired answer is <math>2+7+13+17+19+23=\boxed{081}</math> ~ktong
 +
 +
== Video Solution ==
 +
 +
https://youtu.be/MVxsY8DwHVk
 +
 +
(Solves using both methods - Casework and Vandermonde's Identity)
  
 
==See Also==
 
==See Also==

Revision as of 13:37, 9 June 2020

Problem

A club consisting of $11$ men and $12$ women needs to choose a committee from among its members so that the number of women on the committee is one more than the number of men on the committee. The committee could have as few as $1$ member or as many as $23$ members. Let $N$ be the number of such committees that can be formed. Find the sum of the prime numbers that divide $N.$

Solution 1

Let $k$ be the number of women selected. Then, the number of men not selected is $(11-(k-1)=12-k$. Note that the sum of the number of women selected and the number of men not selected is constant at $12$. Each combination of women selected and men not selected corresponds to a committee selection. Since choosing 12 individuals from the total of 23 would give $k$ women and $12-k$ men, the number of committee selections is $\binom{23}{12}$. The answer is $\boxed{081}$. ~awang11's sol

Solution 2 (Bash)

We casework on the amount of men on the committee.

If there are no men in the committee, there are $\dbinom{12}{1}$ ways to pick the women on the committee, for a total of $\dbinom{11}{0} \cdot \dbinom{12}{1}$. Notice that $\dbinom{11}{0}$ is equal to $\dbinom{11}{11}$, so the case where no men are picked can be grouped with the case where all men are picked. When all men are picked, all females must also be picked, for a total of $\dbinom{12}{12}$. Therefore, these cases can be combined to \[\dbinom{11}{0} \cdot \left(\dbinom{12}{1} + \dbinom{12}{12}\right)\] Since $\dbinom{12}{12} = \dbinom{12}{0}$, and $\dbinom{12}{0} + \dbinom{12}{1} = \dbinom{13}{1}$, we can further simplify this to \[\dbinom{11}{0} \cdot \dbinom{13}{1}\]

All other cases proceed similarly. For example, the case with one men or ten men is equal to $\dbinom{11}{1} \cdot \dbinom{13}{2}$. Now, if we factor out a $13$, then all cases except the first two have a factor of $121$, so we can factor this out too to make our computation slightly easier. The first two cases (with $13$ factored out) give $1+66=67$, and the rest gives $121(10+75+270+504) = 103,939$. Adding the $67$ gives $104,006$. Now, we can test for prime factors. We know there is a factor of $2$, and the rest is $52,003$. We can also factor out a $7$, for $7,429$, and the rest is $17 \cdot 19 \cdot 23$. Adding up all the prime factors gives $2+7+13+17+19+23 = \boxed{081}$.

Video Solution:

https://youtu.be/MVxsY8DwHVk

(Solves using both methods - Casework and Vandermonde's Identity)

Solution 3 (Vandermonde's identity)

Applying Vandermonde's identity by setting $m=12$, $n=11$, and $r=11$, we obtain $\binom{23}{11}\implies$ $\boxed{081}$. ~Lcz

Short Proof

Consider the following setup: [asy] size(1000, 100); for(int i=0; i<23; ++i){ dot((i, 0)); } draw((10.5, -1.5)--(10.5, 1.5), dashed); [/asy] The dots to the left represent the men, and the dots to the right represent the women. Now, suppose we put a mark on $11$ people (the $*$). Those to the left of the dashed line get to be "in" on the committee if they have a mark. Those on the right side of the dashed line are already on the committee, but if they're marked they get forcibly evicted from it. If there were $x$ people marked on the left, there ends up being $12-(11-x) = x+1$ people not marked on the right. Circles represent those in the committee. [asy] size(1000, 100); for(int i=0; i<23; ++i){ dot((i, 0)); } for(int i=0; i<23; ++i){ if(i%2==0){ if(i >= 11){ draw(circle((i, 0), 0.25)); } continue; } label("$*$", (i,0.5), N); if(i < 11){ draw(circle((i, 0), 0.25)); } } draw((10.5, -1.5)--(10.5, 1.5), dashed); [/asy]

We have our bijection, so the number of ways will be $\binom{23}{11}$.

~programjames1

Solution 4

Notice that the committee can consist of $k$ boys and $k+1$ girls. Summing over all possible $k$ gives \[\sum_{k=0}^{11}\binom{11}{k}\binom{12}{k+1}=\binom{11}{0}\binom{12}{1}+\binom{11}{1}\binom{12}{2}+\cdots + \binom{11}{11}\binom{12}{12}\] Using the identity $\binom{n}{k}=\binom{n}{n-k}$, and Pascal's Identity $\binom{n}{k}+\binom{n}{k+1}=\binom{n+1}{k+1}$, we get \[\sum_{k=0}^{11}\binom{11}{k}\binom{12}{k+1}=\binom{12}{12}+\binom{12}{1}\left(\binom{11}{0}+\binom{11}{1}\right)+\cdots\] \[=\binom{12}{0}^2+\binom{12}{1}^2+\binom{12}{2}^2+\binom{12}{3}^2+\binom{12}{4}^2+\binom{12}{5}^2+\frac{\binom{12}{6}^2}{2}\] \[=\frac{1}{2}\sum_{k=0}^{12}\binom{12}{k}^2\] Using the identity $\sum_{k=0}^n\binom{n}{k}^2=\binom{2n}{n}$, this simplifies to \[\frac{1}{2}\cdot \binom{24}{12}=\frac{24\cdot 23\cdot 22\cdot 21\cdot 20\cdot 19\cdot 18\cdot 17\cdot 16\cdot 15\cdot 14\cdot 13}{2\cdot 12\cdot 11\cdot 10\cdot 9\cdot 8\cdot 7\cdot 6\cdot 5\cdot 4\cdot 3\cdot 2}=2\cdot 7\cdot 13\cdot 17\cdot 19\cdot 23\] so the desired answer is $2+7+13+17+19+23=\boxed{081}$ ~ktong

Video Solution

https://youtu.be/MVxsY8DwHVk

(Solves using both methods - Casework and Vandermonde's Identity)

See Also

2020 AIME I (ProblemsAnswer KeyResources)
Preceded by
Problem 6
Followed by
Problem 8
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. AMC logo.png