Wilsonsova věta - Wilsons theorem - Wikipedia
v teorie čísel, Wilsonova věta uvádí, že a přirozené číslo n > 1 je a prvočíslo kdyby a jen kdyby produkt všech kladná celá čísla méně než n je jeden méně než násobek n. To je (pomocí zápisů z modulární aritmetika ), faktoriál splňuje
přesně kdy n je prvočíslo. Jinými slovy, libovolné číslo n je prvočíslo tehdy a jen tehdy, (n - 1)! + 1 je dělitelné n.[1]
Dějiny
Tuto větu uvedl Ibn al-Haytham (c. 1000 nl),[2] a v 18. století John Wilson.[3] Edward Waring oznámil teorém v roce 1770, ačkoli to nedokázal ani on, ani jeho student Wilson. Lagrange dal první důkaz v roce 1771.[4] Existují důkazy o tom Leibniz byl si také vědom výsledku před sto lety, ale nikdy ho nezveřejnil.[5]
Příklad
Pro každou z hodnot n od 2 do 30, následující tabulka ukazuje počet (n - 1)! a zbytek, když (n - 1)! je rozděleno n. (V zápisu z modulární aritmetika, zbytek, když m je rozděleno n je psáno m mod n.) Barva pozadí je pro primární hodnoty n, zlato za kompozitní hodnoty.
(sekvence A000142 v OEIS ) | (sekvence A061006 v OEIS ) | |
---|---|---|
2 | 1 | 1 |
3 | 2 | 2 |
4 | 6 | 2 |
5 | 24 | 4 |
6 | 120 | 0 |
7 | 720 | 6 |
8 | 5040 | 0 |
9 | 40320 | 0 |
10 | 362880 | 0 |
11 | 3628800 | 10 |
12 | 39916800 | 0 |
13 | 479001600 | 12 |
14 | 6227020800 | 0 |
15 | 87178291200 | 0 |
16 | 1307674368000 | 0 |
17 | 20922789888000 | 16 |
18 | 355687428096000 | 0 |
19 | 6402373705728000 | 18 |
20 | 121645100408832000 | 0 |
21 | 2432902008176640000 | 0 |
22 | 51090942171709440000 | 0 |
23 | 1124000727777607680000 | 22 |
24 | 25852016738884976640000 | 0 |
25 | 620448401733239439360000 | 0 |
26 | 15511210043330985984000000 | 0 |
27 | 403291461126605635584000000 | 0 |
28 | 10888869450418352160768000000 | 0 |
29 | 304888344611713860501504000000 | 28 |
30 | 8841761993739701954543616000000 | 0 |
Důkazy
Oba důkazy (pro prvočíselné moduly) níže využívají skutečnost, že třídy reziduí modulující prvočíslo jsou a pole —Viz článek hlavní pole Více podrobností.[6] Lagrangeova věta, který uvádí, že v jakékoli oblasti a polynomiální z stupeň n má nanejvýš n kořeny, je potřeba pro oba důkazy.
Složený modul
Li n je složený, je dělitelný nějakým prvočíslem q, kde 2 ≤ q ≤ n − 2. Li (n − 1)! byly shodné s -1 (mod n) pak by také bylo shodné s −1 (mod q). Ale (n - 1)! ≡ 0 (modq).
Ve skutečnosti platí více. S jedinou výjimkou 4, kde 3! = 6 ≡ 2 (mod 4), pokud n je složený pak (n - 1)! je shodný s 0 (modn). Důkaz je rozdělen do dvou případů: Nejprve, pokud n lze započítat jako součin dvou nerovných čísel, n = ab, kde 2 ≤A < b ≤ n - 2, pak oba A a b se objeví v produktu 1 × 2 × ... × (n − 1) = (n − 1)! a (n - 1)! bude dělitelný n. Li n nemá takovou faktorizaci, pak to musí být čtverec nějakého prvočísla q, q > 2. Ale potom 2q < q2 = n, oba q a 2q budou faktory (n - 1)! A znovu n rozděluje (n − 1)!.
Prime modul
- Základní důkaz
Výsledek je triviální, když p = 2, tak předpokládejme p je zvláštní prime, p ≥ 3. Protože třídy reziduí (mod p) jsou pole, každé nenulové A má jedinečnou multiplikativní inverzi, A−1. Lagrangeova věta znamená, že jediné hodnoty A pro který A ≡ A−1 (mod p) jsou A ≡ ± 1 (mod p) (protože shoda A2 ≡ 1 může mít maximálně dva kořeny (mod p)). Proto, s výjimkou ± 1, faktory (p − 1)! lze uspořádat do nerovných párů,[7] kde je produkt každého páru ≡ 1 (mod p). To dokazuje Wilsonovu větu.
Například pokud p = 11,
- Důkaz pomocí Fermatovy malé věty
Výsledek je opět triviální p = 2, tak předpokládejme p je zvláštní prime, p ≥ 3. Zvažte polynom
G má titul p − 1, vedoucí termín Xp − 1a konstantní termín (p − 1)!. Své p − 1 kořeny jsou 1, 2, ..., p − 1.
Nyní zvažte
h má také titul p − 1 a vedoucí termín Xp − 1. Modulo p, Fermatova malá věta říká, že má také to samé p − 1 kořeny, 1, 2, ..., p − 1.
Nakonec zvažte
F má titul nanejvýš p - 2 (protože hlavní termíny se ruší) a modulo p má také p − 1 kořeny 1, 2, ..., p − 1. Lagrangeova věta však říká, že nemůže mít více než p - 2 kořeny. Proto, F musí být shodně nula (mod p), takže jeho konstantní člen je (p - 1)! + 1 ≡ 0 (mod p). Toto je Wilsonova věta.
- Důkaz použití Sylowových vět
Je možné odvodit Wilsonovu větu z konkrétní aplikace Sylowovy věty. Nechat p být předseda. Okamžitě lze odvodit, že symetrická skupina má přesně prvky objednávky p, jmenovitě p-cykly . Na druhou stranu každý Sylow p-podskupina v je kopií . Z toho tedy vyplývá, že počet Sylow p-skupiny jsou . Třetí Sylowova věta naznačuje
Vynásobením obou stran (p − 1) dává
to je výsledek.
Aplikace
Testy originality
V praxi je Wilsonova věta zbytečná jako test primality protože práce na počítači (n - 1)! modulo n pro velké n je výpočetně složité a jsou známy mnohem rychlejší testy primality (ve skutečnosti dokonce zkušební rozdělení je podstatně efektivnější).
Kvadratické zbytky
Pomocí Wilsonovy věty pro jakékoli liché prvočíslo p = 2m + 1, můžeme přeskupit levou stranu
dosáhnout rovnosti
To se stává
nebo
Tuto skutečnost můžeme použít k prokázání části slavného výsledku: pro jakýkoli prime p takhle p ≡ 1 (mod 4), číslo (−1) je čtverec (kvadratický zbytek ) mod p. Předpokládejme p = 4k + 1 pro celé číslo k. Pak můžeme vzít m = 2k výše, a docházíme k závěru, že (m!)2 je shodný s (-1).
Vzorce pro prvočísla
Wilsonova věta byla použita ke konstrukci vzorce pro prvočísla, ale jsou příliš pomalé na to, aby měly praktickou hodnotu.
funkce gama p-adic
Wilsonova věta umožňuje definovat funkce gama p-adic.
Gaussovo zobecnění
kde p představuje liché prvočíslo a kladné celé číslo. Hodnoty m pro které je produkt −1, jsou přesně ty, kde existuje a primitivní root modulo m.
To dále zobecňuje skutečnost, že v každém konečný abelianská skupina, buď produkt všech prvků je identita, nebo existuje přesně jeden prvek A z objednat 2 (ale ne obojí). V druhém případě je součin všech prvků stejnýA.
Viz také
Poznámky
- ^ Univerzální kniha matematiky. David Darling, str. 350.
- ^ O'Connor, John J.; Robertson, Edmund F., „Abu Ali al-Hasan ibn al-Haytham“, MacTutor Historie archivu matematiky, University of St Andrews.
- ^ Edward Waring, Meditationes Algebraicae (Cambridge, Anglie: 1770), strana 218 (latinsky). Ve třetím (1782) vydání Waring's Meditationes AlgebraicaeWilsonova věta se jeví jako problém č. 5 strana 380. Waring na této stránce uvádí: „Hanc maxime elegantem primorum numerorum proprietatem invenit vir clarissimus, rerumque mathematicarum peritissimus Joannes Wilson Armiger.“ (Muž, který je nejslavnějším a nejšikovnějším v matematice, Squire John Wilson, našel tuto nejelegantnější vlastnost prvočísel.)
- ^ Joseph Louis Lagrange, „Demonstrace d'un théorème nouveau znepokojující les nombres premiers“ (Důkaz nové věty o prvočíslech), Nouveaux Mémoires de l'Académie Royale des Sciences et Belles-Lettres (Berlín), sv. 2, strany 125–137 (1771).
- ^ Giovanni Vacca (1899) „Sui manoscritti inediti di Leibniz“ (k nepublikovaným rukopisům Leibniz),Bollettino di bibliografia e storia delle scienze matematiche ... (Věstník bibliografie a dějin matematiky), sv. 2, strany 113–116; vidět strana 114 (v italštině). Vacca cituje z Leibnizových matematických rukopisů uchovávaných v Královské veřejné knihovně v Hannoveru (Německo), sv. 3 B, svazek 11, strana 10:
Originál : Inoltre egli intravide anche il teorema di Wilson, come risulta dall'enunciato seguente:
"Productus continuorum usque ad numerum qui antepraecedit datum divisus per date relinquit 1 (vel doplnkem ad unum?) Si datus sit primitivus. Si datus sit derivativus relinquet numerum qui cum dato habeat communem mensuram unitate majorem."
Egli non giunse pero a dimostrarlo.
Viz také: Giuseppe Peano, ed., Formulaire de mathématiques, sv. 2, č. 3, strana 85 (1897).Překlad : Kromě toho [Leibniz] zahlédl také Wilsonovu větu, jak ukazuje následující prohlášení:
"Produkt všech celých čísel předcházejících danému celému číslu, pokud je vydělen daným celým číslem, ponechá 1 (nebo doplněk 1?), Pokud je dané celé číslo prvočíslo. Pokud je dané celé číslo složené, ponechá číslo, které má společnou faktor s daným celým číslem [které je] větší než jedna. "
Nepodařilo se mu to však dokázat. - ^ Landau, dva důkazy THM. 78
- ^ Když n = 3, jediné faktory jsou ± 1
- ^ Gauss, DA, umění. 78
Reference
The Disquisitiones Arithmeticae byl přeložen z Gaussovy ciceronské latiny do angličtiny a němčiny. Německé vydání obsahuje všechny jeho práce o teorii čísel: všechny důkazy kvadratické reciprocity, určení znaménka Gaussovy sumy, vyšetřování biquadratické reciprocity a nepublikované poznámky.
- Gauss, Carl Friedrich; Clarke, Arthur A. (1986), Disquisitiones Arithemeticae (2. opravené vydání), New York: Springer, ISBN 0-387-96254-9 (přeloženo do angličtiny).
- Gauss, Carl Friedrich; Maser, H. (1965), Untersuchungen über hohere Arithmetik (Disquisitiones Arithemeticae a další články o teorii čísel) (2. vyd.), New York: Chelsea, ISBN 0-8284-0191-8 (přeloženo do němčiny).
- Landau, Edmund (1966), Základní teorie čísel, New York: Chelsea.
- Ruda, Oystein (1988). Teorie čísel a její historie. Doveru. str.259–271. ISBN 0-486-65620-9.