Lagrangen neljän neliön lause

Lukuteoriassa Lagrangen lauseen mukaan jokainen positiivinen kokonaisluku on esitettävissä neljän neliön summana. Lauseen otaksui Claude Gaspard Bachet de Méziriac ja sen todisti 1770 Joseph Louis Lagrange. Lause esiintyi jo Diofantoksen Arithmeticassa, josta Bachet käänsi sen latinaksi vuonna 1621. Esimerkkeinä lauseesta on

3 = 1² + 1² + 1² + 0²

31 = 5² + 2² + 1² + 1²

310 = 17² + 4² + 2² + 1².

Adrien-Marie Legendre täydensi lausetta vuonna 1798 väittämällä, että positiivinen kokonaisluku voidaan esittää kolmen neliön summana jos ja vain jos se ei ole muotoa 4^k(8m + 7). Legendren todistus oli puutteellinen ja lauseen todisti ensimmäisenä Carl Friedrich Gauss.

Vuonna 1834 Carl Gustav Jakob Jacobi löysi täsmällisen kaavan sille, monellako tavalla annettu positiivinen kokonaisluku voidaan esittää neljän neliön summana. Tämä luku on kahdeksan kertaa n:n tekijöiden lukumäärä jos n on pariton ja 24 kertaa n:n parittomien tekijöiden lukumäärä jos n on parillinen.

Lagrangen neljän neliön lause on erikoistapaus Fermat'n monikulmiolauseesta ja Waringin probleemasta. Myös seuraava tulos on yleisempi kuin Lagrangen lause: Olkoon a, b, c ja d annettuja luonnollisia lukuja. Voidaanko löytää kokonaisluvut luvut x₁, x₂, x₃, x₄ siten, että yhtälöllä

n = ax₁² + bx₂² + cx₃² + dx₄²

on ratkaisu n:n kaikilla positiivisilla kokonaislukuarvoilla. Tapaus a=b=c=d=1 on Lagrangen lause. Yleisen tapauksen todisti Srinivasa Ramanujan. Hän todisti, että jos a ≤ b ≤ c ≤ d, on olemassa täsmälleen 54 eri tapaa valita a, b, c ja d siten, että yhtälöllä on ratkaisu kaikilla n arvoilla, kun x₁, x₂, x₃, x₄ ovat kokonaislukuja. (Ramanujan listasi 55:nnen mahdollisuuden a=1, b=2, c=5, d=5, mutta tässä tapauksessa yhtälöllä ei ole ratkaisuja, jos n=15.

Lähteet

• Ireland ja Rosen, A Classical Introduction to Modern Number Theory, Springer-Verlag, 1990, ISBN 0-387-97329-X

Aiheesta muualla

• Todistus PlanetMath.orgissa
• Toinen todistus
• Lausetta havainnollistava appletti