For any subset , a number is called an "anchor" for if and are both members of , where denotes the number of members of . Find the average number of anchors over all possible subsets .
Problem 1192
Official solution
Solution:
We first find the sum of the numbers of anchors of all subsets ; this is equivalent to finding, for each , the number of sets for which is an anchor, and then summing over all . Suppose that is an anchor for , and has elements. Then , and also , or . The remaining elements of (other than and ) may be freely chosen from the remaining 13 members of , so we get possible sets . Summing over all allowed values of , we then have sets with as an anchor. If we sum over all (since there are no possible values of when ), we get a total of
If we call this quantity , then, by symmetry, equals
So is the total number of anchors over all possible sets . Finally, to find the average number of anchors, we divide by the number of sets, which is ; thus, the answer is .