# Solutions to $\binom{n}{5} = 2 \binom{m}{5}$

In Finite Mathematics by Lial et al. (10th ed.), problem 8.3.34 says:

On National Public Radio, the Weekend Edition program posed the following probability problem: Given a certain number of balls, of which some are blue, pick 5 at random. The probability that all 5 are blue is 1/2. Determine the original number of balls and decide how many were blue.

If there are $n$ balls, of which $m$ are blue, then the probability that 5 randomly chosen balls are all blue is $\binom{m}{5} / \binom{n}{5}$. We want this to be $1/2$, so $\binom{n}{5} = 2\binom{m}{5}$; equivalently, $n(n-1)(n-2)(n-3)(n-4) = 2 m(m-1)(m-2)(m-3)(m-4)$. I'll denote these quantities as $[n]_5$ and $2 [m]_5$ (this is a notation for the so-called "falling factorial.")

A little fooling around will show that $[m+1]_5 = \frac{m+1}{m-4}[m]_5$. Solving $\frac{m+1}{m-4} = 2$ shows that the only solution with $n = m + 1$ has $m = 9$, $n = 10$.

Is this the only solution?

You can check that $n = m + 2$ doesn't yield any integer solutions, by using the quadratic formula to solve $(m + 2)(m +1) = 2(m - 3)(m - 4)$. For $n = m + 3$ or $n = m + 4$, I have done similar checks, and there are no integer solutions. For $n \geq m + 5$, solutions would satisfy a quintic equation, which of course has no general formula to find solutions.

Note that, as $n$ gets bigger, the ratio of successive values of $\binom{n}{5}$ gets smaller; $\binom{n+1}{5} = \frac{n+1}{n-4}\binom{n}{5}$ and $\frac{n+1}{n-4}$ is less than 2—in fact, it approaches 1. So it seems possible that, for some $k$, $\binom{n+k}{5}$ could be $2 \binom{n}{5}$.

-
The equation defines a smooth quintic so there are only finitely many solutions. – Felipe Voloch Apr 19 '13 at 3:17
Any solutions have $n=\lfloor 2^{1/5} m\rfloor$, so there are no further solutions for $m\le 10,000,000$. – Brendan McKay Apr 19 '13 at 4:43
For what it's worth: I've checked that there are no other solutions for n up to 35 billion or so. – shreevatsa Apr 19 '13 at 5:01

Looks like there are more points on the curve. $t$ are: [-4, -13/5, -2, -1, -5/8, -1/2, -8/27, 0, 26/41, 1, 7/4, 2, 36/17, 4] – joro Apr 19 '13 at 12:00
According to Magma the Jacobian $J$ of this hyperelliptic curve has rank 4 and satisfies End(J)=Z over the complex numbers ; in particular this genus 2 curve has no elliptic quotient. – François Brunault Apr 19 '13 at 12:20
The curve C defined by $\begin{pmatrix} n \\ 5\end{pmatrix} =2 \begin{pmatrix}m \\ 5\end{pmatrix}$ has genus 6. I guess the genus 2 curve in your answer is the quotient of C by the involution $(m,n) \to (4−m,4−n)$, which is the only obvious automorphism. – François Brunault Apr 19 '13 at 12:55
Using Stahlke and Stoll's program ratpoints, I find that there are no further rational solutions of $u^2 = 9t^6+16t^5-200t^3+256t+144$ with $u=r/s$ and $|r|,|s| \leq 10^5$. On the original equation, it should be easy to show there are no further solutions up to say $10^{100}$ using the fact that $(n-2)/(m-2) = 2^{1/5} + O(1/m)$, so there are only a few hundred approximations to $2^{1/5}$ that are close enough, and they can be computed via the continued-fraction expansion. – Noam D. Elkies Apr 22 '13 at 4:45