Esta es la OMI $1972$'s $3$rd pregunta.
Tenemos que demostrar que el $\dfrac{(2a)!(2b)!}{a!b!(a+b)!}$ es un número entero.
La expresión dada $f(a,b)=\dfrac{(2a)!(2b)!}{a!b!(a+b)!}$
Ahora note que $f(a,b)=4f(m,n-1)-f(m+1,n-1) $
Así, usted tiene la recursividad en que $n$ puede ser reducido hasta llegar a $0$.
$n$ puede ser reducido hasta que se obtiene la $f(a,b)=\sum_ic_rf(r,0)$
Ahora $f(r,0)$ es un simple coeficiente binomial, $c_r$'s son números naturales.
La pregunta fue planteada sólo para indicar que no todas estas expresiones pueden ser expresados como un recuento de problema.
Y también tiene una bonita y sencilla prueba que implican teorema de Legendre(Como usted ha mencionado). Hacer post como una alternativa de respuesta.:)