Difference between revisions of "Fermat-prímteszt"

→‎Álprímek: a bizonyítás befejezése
(→‎Álprímek: 3. állítás bizonyításának elkezdése)
(→‎Álprímek: a bizonyítás befejezése)
 
'''Állítás''' - ''n'' bukja a tesztet ezekre a ''tb_1<tb_2< ... <tb_k'' számokra.
 
Tegyük fel indirekt, hogy ''tb_i'' -re nem bukja a tesztet, azaz ''n'' álprím erre az alapra. Ekkor ''mod n'' számolva a [[redukált maradékosztály]]ok csoportjában ''n'' a ''tb_ib_i^-1'' maradékosztály minden elemére álprím, így a ''t'' számra is, ami ellentmondás.
[[Kategória:Számelmélet]]