Para saber cuándo p divide a C(n,k).
El estudio de la divisibilidad de los coeficientes binomiales $\binom{n}{k}$ por un primo $p$ es un problema fundamental en la combinatoria aritmética y la teoría de números. Aunque puedes checar los casos pequeños con el Triángulo de Pascal, determinar la potencia exacta de un primo que divide a $\binom{n}{k}$ para una $n$ grande requiere que analices las expansiones en base $p$ de $n$ y $k$. El resultado central en este campo es el Teorema de Kummer, el cual establece una conexión hermosa entre la valuación $p$-ádica del coeficiente binomial y la operación aritmética de la suma en base $p$.
Este concepto es crucial para resolver problemas de Olimpiada que involucran argumentos de paridad, congruencias y la distribución de los coeficientes en el Triángulo de Pascal módulo $p$. Por ejemplo, para determinar si $\binom{n}{k}$ es impar, tienes que checar si $v_2\left(\binom{n}{k}\right) = 0$. De forma más general, el Teorema de Kummer te permite determinar exactamente qué tan "divisible" es un coeficiente contando el número de "acarreos" generados al sumar $k$ y $n-k$ en base $p$.
Intuitivamente, la divisibilidad surge de la estructura de los factoriales en la fórmula $\binom{n}{k} = \frac{n!}{k!(n-k)!}$.