В теорії чисел теорема Вілсона стверджує, що натуральне число є простим в тому і тільки тому випадку коли справджується рівність:
- .
Або ж, в словесному формулюванні:
|
Історія
Теорема вперше була сформульована індійським математиком , а згодом арабським вченим . В Європі її сформулював без доведення англійський математик , на честь якого вона названа. Перше відоме доведення дав Лагранж у 1773 році.
Доведення
Нехай деяке просте число. Елементарними обчисленнями можна переконатися, що теорема справджується для і . Тож вважатимемо, що . Якщо для деякого цілого справджується рівність:
- ,
то справджується також , або
- ,
Тож у випадку, якщо , маємо або .
Якщо ж , тоді існує деяке , відмінне від , таке, що . Таким чином справджується:
- .
Дана рівність еквівалентна наступній:
- ,
звідки випливає, що ділиться на . Тоді і як наслідок
зважаючи, що маємо
- ,
звідки
- .
Тому маємо
і число не ділиться на .
Застосування теореми
Теорема Вілсона може бути використана для перевірки чисел на простоту. Наприклад відповідний алгоритм на мові :
int factorial(int x) { if( x == 0 ) return 1; return x * factorial (x - 1) % p; } bool simpleInt (int p) { return (factorial (p-1)+1)%p==0; }
Проте через складність обчислення факторіалу даний метод є дуже неефективним.
Дивись також
Література
Українською
- (укр.) Елементи теорії груп та теорії кілець. — І.-Ф. : Голіней, 2023. — 153 с.
Іншими мовами
- Бухштаб А. А. Теория чисел, 2-е издание, М., 1966
- Трост Э. Простые числа, пер. с нем., М., 1959
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
V teoriyi chisel teorema Vilsona stverdzhuye sho naturalne chislo n gt 1 displaystyle n gt 1 ye prostim v tomu i tilki tomu vipadku koli spravdzhuyetsya rivnist n 1 1 mod n displaystyle n 1 equiv 1 mod n Abo zh v slovesnomu formulyuvanni Yaksho p displaystyle p proste chislo todi chislo p 1 1 displaystyle p 1 1 dilitsya na p displaystyle p Zvorotno yaksho p 1 1 displaystyle p 1 1 dilitsya na p displaystyle p todi p displaystyle p proste chislo IstoriyaTeorema vpershe bula sformulovana indijskim matematikom a zgodom arabskim vchenim V Yevropi yiyi sformulyuvav bez dovedennya anglijskij matematik na chest yakogo vona nazvana Pershe vidome dovedennya dav Lagranzh u 1773 roci DovedennyaNehaj p displaystyle p deyake proste chislo Elementarnimi obchislennyami mozhna perekonatisya sho teorema spravdzhuyetsya dlya p 2 displaystyle p 2 i p 3 displaystyle p 3 Tozh vvazhatimemo sho p gt 3 displaystyle p gt 3 Yaksho dlya deyakogo cilogo spravdzhuyetsya rivnist x 2 1 mod p displaystyle x 2 equiv 1 mod p to spravdzhuyetsya takozh x 2 1 0 mod p displaystyle x 2 1 equiv 0 mod p abo x 1 x 1 0 mod p displaystyle x 1 cdot x 1 equiv 0 mod p Tozh u vipadku yaksho 1 lt x lt p 1 displaystyle 1 lt x lt p 1 mayemo x 1 displaystyle x 1 abo x p 1 displaystyle x p 1 Yaksho zh 2 lt x lt p 2 displaystyle 2 lt x lt p 2 todi isnuye deyake 2 lt y lt p 2 displaystyle 2 lt y lt p 2 vidminne vid x displaystyle x take sho x y 1 mod p displaystyle xy equiv 1 mod p Takim chinom spravdzhuyetsya 2 p 2 1 mod p displaystyle 2 cdot cdot p 2 equiv 1 mod p Dana rivnist ekvivalentna nastupnij 1 p 1 p 1 mod p displaystyle 1 cdot cdot p 1 equiv p 1 mod p zvidki viplivaye sho p 1 1 displaystyle p 1 1 dilitsya na p displaystyle p Todi a p 1 displaystyle a p 1 i yak naslidok a b p 1 b displaystyle a cdot b p 1 cdot b zvazhayuchi sho p a b displaystyle p a cdot b mayemo p 1 b 0 mod p displaystyle p 1 cdot b equiv 0 mod p zvidki p 1 b 1 b mod p displaystyle p 1 cdot b not equiv 1 cdot b mod p Tomu mayemo p 1 1 mod p displaystyle p 1 not equiv 1 mod p i chislo p 1 1 displaystyle p 1 1 ne dilitsya na p displaystyle p Zastosuvannya teoremiTeorema Vilsona mozhe buti vikoristana dlya perevirki chisel na prostotu Napriklad vidpovidnij algoritm na movi S int factorial int x if x 0 return 1 return x factorial x 1 p bool simpleInt int p return factorial p 1 1 p 0 Prote cherez skladnist obchislennya faktorialu danij metod ye duzhe neefektivnim Divis takozhMala teorema Ferma Kitajska teorema pro zalishki Modulna arifmetika Faktorial Teorema VolstengolmaLiteraturaUkrayinskoyu ukr Elementi teoriyi grup ta teoriyi kilec I F Golinej 2023 153 s Inshimi movami Buhshtab A A Teoriya chisel 2 e izdanie M 1966 Trost E Prostye chisla per s nem M 1959