Lähdekoodi sivulle Fermat’n pieni lause

'''Fermat'n pienen lauseen''' mukaan kaikilla [[alkuluku|alkuluvuilla]] ''p'' ja kaikilla [[kokonaisluku|kokonaisluvuilla]] ''a'' on voimassa 

:<math>a^p \equiv a \pmod{p}</math>

eli ''a<sup>p</sup>'' on [[kongruenssi (lukuteoria)|kongruentti]] ''a'':n kanssa modulo ''p''. <ref name=m1/>

Toisinaan lause esitetään seuraavassa muodossa: 
jos ''p'' on alkuluku ja ''a'' on kokonaisluku, joka ei ole ''p'':n monikerta, niin tällöin

:<math>a^{p-1} \equiv 1 \pmod{p}</math>, 

toisin sanoen ''a''<sup>''p''–1</sup> – 1 on jaollinen ''p'':llä. 

Tätä teoreemaa kutsutaan Fermat'n pieneksi lauseeksi erotuksena [[Fermat'n suuri lause|Fermat'n suuresta lauseesta]]. Fermat'n pieni lause on perustana [[Fermat'n alkulukutesti|Fermat'n alkulukutestille]].

== Historiaa ==

[[Pierre de Fermat]] keksi lauseensa vuonna [[1636]]. Se esiintyi eräässä hänen kirjeessään, joka on päivätty 18.10.1640, uskotulleen Freniclelle seuraavasti: ''p'' jakaa ''a''<sup>''p''&minus;1</sup> &minus; 1 aina kun ''p'' on alkuluku ja ''a'' ja ''p'' ovat keskenään jaottomia kokonaislukuja.

Kiinalaiset matemaatikot keksivät hypoteesin (toisinaan kutsuttu nimellä kiinalainen hypoteesi), jonka mukaan ''p'' on alkuluku jos ja vain jos 

<math>2^p \equiv 2 \pmod{p}</math>. 

eli 2<sup>''p''</sup> – 2 on jaollinen ''p'':llä.

On totta, että jos ''p'' on alkuluku, on voimassa <math>2^p \equiv 2 \pmod{p}</math> (erikoistapaus Fermat'n pienestä lauseesta). Kääntäen tämä ei kuitenkaan päde, esimerkkinä tapaus ''p'' = 341, joka ei ole alkuluku.

On laajasti uskottu, että kiinalainen hypoteesi keksittiin noin 2000 vuotta ennen Fermat'n keksintöä. On huomattavaa, että vaikka hypoteesi on osittain väärä, tunsivat jo antiikin matemaatikot väitteen.

== Lähteet ==
* {{Kirjaviite | Tekijä = Rosen, Kenneth H. | Nimeke = Elementary Number Theory and Its Applications | Vuosi = 1984 | Julkaisija = Addison-Wesley | Julkaisupaikka = Reading, Massachusetts | Isbn = 0-201-06561-4 | Kieli = {{en}} | Sivu = 148–149}}

== Viitteet ==
{{Viitteet|viitteet=
* <ref name=m1>{{Kirjaviite | Tekijä=Metsänkylä, Tauno & Näätänen, Marjatta | Nimeke=Algebra| Selite= | Sivut= 75 | Julkaisupaikka=Helsinki | Julkaisija=Limes ry | Vuosi=2003 | Isbn= 951-745-200-4}}</ref>
}}

[[Luokka:Lukuteoria]]
[[Luokka:Matemaattiset teoreemat]]