Teorema de Wilson
Wilson's theorem
- Fecha
- c. 1000 (Ibn al-Haytham) / 1771 (demostración de Lagrange) · fiabilidad alta
- Lugar
- Berlín, Prusia (actual Alemania)
- Autoría
- Joseph-Louis Lagrange (primera demostración); enunciado atribuido a John Wilson y anunciado por Edward Waring en 1770
- Ámbito
- Saber y símbolos
⚠️ Dato en discusión: las fuentes no coinciden.
Qué se descubrió
El teorema que caracteriza los números primos —un entero p mayor que 1 es primo si y sólo si (p-1)! + 1 es múltiplo de p— lo anunció sin demostración Edward Waring en 1770 atribuyéndoselo a su antiguo alumno John Wilson; Lagrange dio la primera prueba rigurosa un año después en la Academia de Berlín. El matemático árabe Ibn al-Haytham ya lo había formulado hacia el año 1000, sin que se conociera en Europa.
Ibn al-Haytham formuló esencialmente el mismo resultado hacia el año 1000, varios siglos antes que Wilson y Waring, sin conexión conocida con el redescubrimiento europeo.
A qué dio paso
- Tests de primalidad
- Teoría algebraica de números