Вильсон теоремасы
Вильсон теоремасы — сандар теориясындағы теорема:
p — сонда, тек сонда егер p-ға бөлінсе ғана жай сан болады |
Тарихы
Теореманы алғашқы рет Уорингом 1770 жылы тұжырымдаған, әрі оның сөзіне қарағанда Джон Вильсонға тиесілі болған. Лагранж 1771 жылы дәлелдеген.
C++ тіліндегі коды
int factorialMod(int x, int p) {
if( x == 0 ) return 1;
return (x * factorialMod(x-1,p)) % p;
}
bool primeInt (int p)
{
return (factorialMod(p-1,p)+1)%p == 0;
}
Мұндағы factorialMod(x,p) функция x санының p модулі бойынша факториалын еcептейді, ал primeInt(x) функциясы мәні —false, егер x құрама болса, true, егер жай болса.
Әдебиет
- Бухштаб А. А. Теория чисел, 2-е издание, М., 1966
- Трост Э. Простые числа, пер. с нем., М., 1959
- Виноградов И. М. Основы теории чисел — 5 изд.. — Мәскеу: Гостехиздат, 1952.