Supongamos \binom{n}{k}=\binom{n'}{k'} con k \geq 2, k' \geq 2, n \geq 2k y n' \geq 2k'. De lo anterior se sigue que eln=n'k=k'?
EDIT: Sí, \binom{16}{2}=\binom{10}{3}=120.
Ahora quiero preguntar si hay infinitamente muchos de esos pares, pero yo probablemente debería pedir que en una pregunta aparte. Gracias!
EDIT 2: para referencia en el futuro, sí hay infinitamente muchas de esas coincidencias. Ver Singmaster de la Conjetura.