Vermoeden van Erdős-Straus

Uit testwiki
Naar navigatie springen Naar zoeken springen

Het vermoeden van Erdős-Straus is een nog niet bewezen vermoeden uit de getaltheorie dat stelt dat door welk getal groter dan 1 je 4 ook deelt, het quotiënt altijd de som van drie stambreuken is. Paul Erdős en Ernst G. Straus stelden het vermoeden op in 1948. Het is een van de vele vermoedens van Erdős.

Formeel luidt het vermoeden: voor iedere gehele n2 geldt dat er positieve getallen x,y,z zijn, zo dat

4n=1x+1y+1z.

Berekende toetsing

Verscheidene auteurs hebben met brute kracht naar tegenbewijs gezocht. Dit zoeken ging een stuk sneller door alleen priemgetallen te bekijken met verschillende equivalentierelaties. Zo heeft Allan Swett dit bekeken tot 1014.[1]

Modulaire gelijkheid

Als beide kanten van de vergelijking 4/n=1/x+1/y+1/z met nxyz vermenigvuldigd worden, ontstaat de vergelijking 4xyz=n(xy+xz+yz). Als polynomiale vergelijking met gehele getallen is dit een diofantische vergelijking.

Het aantal oplossingen

Het aantal verschillende mogelijkheden als functie van n om 4/n als som van 3 stambreuken te schrijven heeft computers ook aan het rekenen gezet. Dit aantal schijnt onregelmatig te groeien met n. Te beginnen bij n=3 is het aantal verschillende mogelijkheden:

1, 1, 2, 5, 5, 6, 4, 9, 7, 15, 4, 14, 33, 22, 4, 21, 9, ... (rij A073101) in OEIS.

Zelfs voor grotere n kunnen er relatief weinig oplossingen zijn. Zo zijn er bijvoorbeeld maar 7 verschillende oplossingen voor n=73.

Sjabloon:Appendix