Neliönjäännöslause

Lukuteoriassa neliönjäännöslause (myös: neliönjäännösten resiprookkilause) yhdistää kahden toisen asteen modulaarisen yhtälön ratkeavuuden. Se myös tarjoaa keinon ratkaista jokainen toisen asteen yhtälö modulaarisessa aritmetiikassa.

Lauseen otaksuivat Euler ja Legendre ja ensimmäisen todistuksen lauseelle antoi Gauss vuonna 1796, ollessaan vasta 18-vuotias. Gauss kutsui lausetta kultaiseksi lauseeksi ja tutki lausetta niin innokkaasti, että löysi sille ainakin seitsemän erilaista todistusta. Lause on innostanut matemaatikkoja, ja sille tunnetaan jo yli 200 erilaista todistusta.

Neliönjäännöslause kuuluu seuraavasti. Olkoon p ja q kaksi erisuurta paritonta alkulukua. Tällöin p ja q ovat kongruentteja joko 1:n tai 3:n kanssa modulo 4. Jos vähintään toinen näistä luvuista on kongruentti 1:n kanssa modulo 4, on kongruenssilla

ratkaisu  jos ja vain jos kongruenssilla

on ratkaisu . (Ratkaisut ovat yleensä erisuuria.) Toisaalta jos luvut p ja q ovat molemmat alkulukuja jotka ovat kongruentteja 3:n kanssa modulo 4, on kongruenssilla

ratkaisu  jos ja vain jos kongruenssilla

ei ole ratkaisua .

 Legendren symbolista 

Legendren symbolin avulla saadaan:

Neliönjäännöslause voidaan esittää lyhyesti Legendren symbolin avulla:

Koska  on parillinen jos joko p tai q on kongruentti 1 mod 4, ja pariton jos ja vain jos molemmat p ja q ovat kongruentteja 3 mod 4,  on 1 jos joko p tai q on kongruentti 1 mod 4, ja on yhtä suuri kuin –1 jos molemmat p ja q ovat kongruentteja 3 mod 4. 

Neliönjäännöslause voidaan yleistää korkeammille potensseille kuin 2, mutta koska kaksi luvun 1 kuutiojuurista ovat kompleksilukuja, kuutionjäännöslause sisältää välttämättä muitakin kuin rationaalilukuja. Sama pätee kolmosta suuremmillekin potensseille.

Gaussin lemma kertoo neliönjäännösten ominaisuuksista ja Gauss käytti lemmaansa kahdessa neliönjäännöslauseen todistuksessaan.

  Lähteet  

 Aiheesta muualla 
 Neliönjäännöslause MathWorldissä.
 Lauseen kaksi todistusta 

Luokka:Algebrallinen lukuteoria
Luokka:Matemaattiset teoreemat