Stelling van Wilson
Uit Wikipedia, de vrije encyclopedia
De stelling van Wilson is een wiskundige stelling die zegt dat dan en slechts dan een priemgetal is, als:
- .
De congruentie kan ook worden geformuleerd als: is een deler van .
De stelling werd voor het eerst geformuleerd door Ibn al-Haytham, ook bekend als Alhazen, maar is naar John Wilson genoemd. Wilson was een student van Edward Waring. Die formuleerde de stelling in 1770, maar noch hijzelf noch Wilson konden de stelling bewijzen. Lagrange gaf het eerste bewijs in 1771. Leibniz kende de stelling een eeuw eerder ook, maar publiceerde die niet.