Vier-kwadratenstelling van Lagrange

De vier-kwadratenstelling van Lagrange, ook bekend als het vermoeden van Bachet, werd in 1770 bewezen door Joseph-Louis Lagrange. Een eerder bewijs door Fermat werd nooit gepubliceerd.

De stelling is bekend uit de Arithmetica van Diophantus, in het Latijn vertaald door Bachet in 1621. De stelling zegt dat ieder positief geheel getal geschreven kan worden als de som van vier kwadraten van gehele getallen. Bijvoorbeeld:

3=1^{2}+1^{2}+1^{2}+0^{2}

31=5^{2}+2^{2}+1^{2}+1^{2}

310=17^{2}+4^{2}+2^{2}+1^{2}

Formeler, voor elk positief geheel getal $n$ zijn er gehele getallen $x_{1},x_{2},x_{3}$ en $x_{4}$ zodat

n=x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}

Adrien-Marie Legendre verbeterde de stelling in 1798 door te stellen dat een positief geheel getal kan worden geschreven als de som van drie kwadraten dan en slechts dan als het niet van de vorm $4^{k}(8m+7)$ is. Zijn bewijs was incompleet en liet een gat over dat later door Carl Friedrich Gauss werd gedicht.

In 1834 vond Carl Jacobi een exacte formule voor het totale aantal manieren waarop een gegeven positief geheel getal $n$ kan worden geschreven als de som van vier kwadraten. Dat aantal is acht keer de som van de delers van $n$ als $n$ oneven is, en 24 keer de som van zijn oneven delers als $n$ even is.

De vier-kwadraten-stelling van Lagrange is een speciaal geval van de veelhoeksgetalstelling van Fermat en van het probleem van Waring. Een andere generalisatie is de volgende: Gegeven de natuurlijke getallen $a,b,c$ en $d$ , kunnen daarbij voor elk positief geheel getal $n$ gehele getallen $x_{1},x_{2},x_{3}$ en $x_{4}$ gevonden worden, zodat geldt (*):

n=ax_{1}^{2}+bx_{2}^{2}+cx_{3}^{2}+dx_{4}^{2}

Het geval dat $a=b=c=d=1$ wordt door de vier-kwadratenstelling van Lagrange positief beantwoord. De algemene oplossing werd gevonden door Srinivasa Aaiyangar Ramanujan. Aannemende, zonder de algemeenheid te verliezen, dat $a\leq b\leq c\leq d$ , bewees hij dat er precies 54 mogelijke keuzes voor $a,b,c$ en $d$ zijn, zodat (*) oplosbaar is in $x_{1},x_{2},x_{3}$ en $x_{4}$ voor alle $n$ . (Ramanujan gaf nog een 55e mogelijkheid $a=1,\ b=2,\ c=5,\ d=5$ , maar in dit geval is er geen oplossing van (*) voor $n=15$ .[1]). De studie naar deze gevallen leverde uiteindelijk verdere generalisatie op naar de 15- en 290-stelling.