En matemática, el teorema de Wolstenholme afirma que para un número primo p > 3, la congruencia
es verdadera, donde la parte izquierda de la igualdad es un coeficiente binomial.
Por ejemplo, con p = 7, dice que 1716 es uno más que un múltiplo de 343. El teorema fue demostrado por Joseph Wolstenholme en 1862; Charles Babbage había mostrado la equivalencia para p2 en 1819.
No se sabe si un número compuesto cumple el teorema de Wolstenholme. Muy pocos números primos satisfacen la equivalencia para p4: los dos únicos valores que la cumplen son: 16843 y 2124679 (), y son llamados números de Wolstenholme.
Este teorema puede ser descompuesto en otros dos resultados: y
Por ejemplo, con p = 7, el primero de ellos dice que 1764 es un múltiplo de 49, mientras que el segundo dice que 773136 es múltiplo de 7.
Ejemplos y discusión de los mismos Se va a probar la congruencia de Wolstenholme en su forma original. Para ello, se utiliza un caso particular de la identidad de Vandermonde
Se sigue que la congruencia : es equivalente a .
Referencias
Bibliografía Granville, A., Arithmetic Properties of Binomial Coefficients I: Binomial coefficients modulo prime powers, Canadian Mathematical Society Conference Proceedings, vol 20 (1997) pp. 253-275. Hardy, G.H., Wright, E.M., An Introduction to the Theory of Numbers, 4th ed., Oxford University Press, 1975. Restrepo Mesa, P., On the elemental symmetric functions of 1^{p^k}, 2^{p^k}, \ldots, (p-1)^{p^k}, Mathematical Reflections 4 (2006).
Wolstenholme Wolstenholme Categoría:Temas factoriales y binomiales Categoría:Teoremas sobre números primos