The correct option is
A Adding on k, we obtain that the total number of pairs (A, B) equals
n∑k=02k(nk)2, hence the conclusion.
Let us count in two ways the number of ordered pairs (A, B), Where A is a subset of
{1,2,...,n} and B is a subset of
{1,2,...,2n} with n elements and disjoint from A. First, for
0≤k≤n, choose a subset A of
{1,2,...,n} having
n−k elements. This can be done in
(nn−k)=(nk) ways. Next, choose B, a subset with n elements of
{1,2,...,2n}−A Since,
{1,2,...,2n}−A has
2n−(n−k)=n+k elements, B can be chosen in
(n+kn)=(n+kk) ways. We deduce, by adding on k, that the number of such pairs equals
n∑k=0(nk)(n+kk). On the other hand, we could start by choosing the subsets B{1,2,...,n} and B′′⊂{n+1,n+2,...,2n}, both with k elements, and define
B=B′′∪({1,2,...,n}−B′). Since for given k each of the sets B' and B'' can be chosen in (nk) ways, B can be chosen in (nk)2 ways.
Finally, pick A to be an arbitrary subset of B'.
There are 2k ways to do this. Adding on k, we obtain that the total number of pairs (A,B) equals n∑k=02k(nk)2