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:

Formeler, voor elk positief geheel getal  zijn er gehele getallen  en  zodat

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  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  kan worden geschreven als de som van vier kwadraten. Dat aantal is acht keer de som van de delers van  als  oneven is, en 24 keer de som van zijn oneven delers als  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  en , kunnen daarbij voor elk positief geheel getal  gehele getallen  en  gevonden worden, zodat geldt (*):
?

Het geval dat  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 , bewees hij dat er precies 54 mogelijke keuzes voor  en  zijn, zodat (*) oplosbaar is in  en  voor alle . (Ramanujan gaf nog een 55e mogelijkheid , maar in dit geval is er geen oplossing van (*) voor .). De studie naar deze gevallen leverde uiteindelijk verdere generalisatie op naar de 15- en 290-stelling.

Externe links 
  Bewijs op PlanetMath.org
  Een ander bewijs
  Een applet die getallen schrijft als som van kwadraten

Getaltheorie
Lagrange vier-kwadraten