Maths Olympiad Prep

Library / /57 of 69

, 2011

Combinatorics Difficulty 6.3 National Olympiad Prove it South Africa

A poker set contains three chips of each of 2n2n different colours for a complete set of 6n6n chips. Let pnp_n be the number of ways in which the chips can be partitioned into two piles of 3n3n chips each in such a way that no pile contains three chips of the same colour. Prove that pnp_n is odd if and only if nn is a power of 2.

Solution

No three chips of the same colour should be in the same pile, so each pile must contain a chip of each colour. So essentially we need to partition 2n2n chips into two piles of nn each. This can be done in pn=(2nn)/2p_n = \binom{2n}{n}/2 ways.

Now,
pn=12(2nn)=(2n)!2(n!)2=13(2n1)242n2(n!)2=13(2n1)2nn!2(n!)2=13(2n1)2n1n!. \begin{align*} p_n &= \frac{1}{2} \binom{2n}{n} = \frac{(2n)!}{2(n!)^2} \\ &= 1 \cdot 3 \cdot \dotsb (2n-1) \frac{2 \cdot 4 \cdot \dotsb 2n}{2(n!)^2} \\ &= 1 \cdot 3 \cdot \dotsb (2n-1) \frac{2^n n!}{2(n!)^2} \\ &= 1 \cdot 3 \cdot \dotsb (2n-1) \frac{2^{n-1}}{n!}. \end{align*}

Now, let mm be a positive integer such that 2mn<2m+12^m \le n < 2^{m+1}. Then the greatest integer aa such that 2a2^a divides n!n! is
a=n2+n22+n23++n2mn2+n22+n23++n2m=nn2mn1. \begin{align*} a &= \lfloor \frac{n}{2} \rfloor + \lfloor \frac{n}{2^2} \rfloor + \lfloor \frac{n}{2^3} \rfloor + \dots + \lfloor \frac{n}{2^m} \rfloor \\ &\le \frac{n}{2} + \frac{n}{2^2} + \frac{n}{2^3} + \dots + \frac{n}{2^m} \\ &= n - \frac{n}{2^m} \le n-1. \end{align*}

Now, pnp_n is odd exactly when a=n1a = n-1, which happens if only if n=2mn = 2^m.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.