El uso del argumento combinatorio demuestra que$\frac{(3n)!}{2^n\times 3^n}$ es un entero.
Si organizamos$3n$ objetos donde hay 3 objetos de un tipo, otros 3 objetos de segundo tipo$\cdots$ y 3 objetos de$n^{th}$ tipo entonces el número de formas son$\frac{(3n)!}{3^n}$ . Pero no puedo imaginar cómo introducir$2^n$ en el denominador.