Hledat:

Parfémy Krása Produkty pro zdraví Hodinky Elektro Šperky a klenoty Nábytek Nářadí a zahrada Outdoor Počítače a notebooky
 

Wilsonova věta

Wilsonova věta (pojmenovaná po Johnu Wilsonovi) je matematická věta, která zní:

Číslo p > 1 je prvočíslo, právě když (p-1)!\ \equiv -1 \pmod p.

[editovat] Důkaz

Mohou nastat tři případy:

  1. p je prvočíslo.
    Ke každému z čísel, jejichž součin je na levé straně kongruence, existuje číslo inverzní modulo p, inverze je bijekcí, jediná dvě čísla, která se v ní zobrazí sama na sebe, jsou 1 a p − 1. Ostatní čísla se vždy vykrátí s inverzemi, na levé straně je tedy součin 1 \cdot (p-1) \equiv -1 \pmod p.
    Asi by se melo explicitne dokazat, ze 1 a (p-1) jsou jedina idempotentni cisla (tj. a*a mod p = 1):Predpokladejme, ze  a^2 \equiv 1
    a^2 - 1 \equiv 0
    (a-1)(a+1) \equiv 0 .
    Protoze cyklicka (prvociselna) grupa nema zadne delitele nuly krome 0 a p je tedy a-1 = 0 nebo a+1 = p. To jsem to ale pekne dokazal ;-).
  1. p je složené, p > 4, pak lze rozlišit dva případy:
    1. Mezi čísly 1, 2, …, p − 1 existují dvě různá čísla a, b taková, že p = ab, takže (p-1)!\ \equiv 0 \pmod p.
    2. p je druhá mocnina prvočísla q, q > 2. Pak jsou mezi čísly 1, 2, …, p − 1 čísla q, 2q, 2q2 | (p − 1)!, (p-1)!\ \equiv 0 \pmod p
  2. p = 4
    (p-1)! = 6\ \equiv 2 \pmod 4


 
Wilsonova věta v jiných jazycích: Български, Català, Dansk, Deutsch, English, Español, Suomi, Français, Magyar, Italiano, 日本語, 한국어, Latviešu, Nederlands, Polski, Português, Română, Русский, Svenska, ไทย, Tiếng Việt, 中文
Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „http://cs.wikipedia.org/wiki/Wilsonova_v%C4%9Bta
Stránka byla naposledy upravena v Stránka byla naposledy editována 30. 6. 2008 v 22:00.
Veškerý text je dostupný za podmínek GNU Free Documentation License (Autorské právo pro podrobnosti).
Další služby: Portál | Katalog | Hledej | Zprávy | Počasí | Kurzy | Práce | Slovník | TV | Online hry | Java hry | SMS | Loga a melodie | Chat | Fórum | Kontakt