Vier-kwadratenstelling van Lagrange

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen

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 .[1]). De studie naar deze gevallen leverde uiteindelijk verdere generalisatie op naar de 15- en 290-stelling.

Externe links[bewerken]