🔢 mathematics

Vieta jumping and small norms in quadratic number fields

Dit artikel verduidelijkt de wiskundige link tussen het beroemde IMO 1988-probleem en het bestaan van elementen met kleine normen in kwadratische getalvelden die geparametriseerde eenheden bezitten, gebruikmakend van de techniek van Vieta jumping.

Oorspronkelijke auteurs: Franz Lemmermeyer

Gepubliceerd 2026-01-22

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Franz Lemmermeyer

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een detective bent die een mysterie probeert op te lossen, achtergelaten door een groep wiskundestudenten tijdens een wereldwijde competitie in 1988. Het mysterie is een ogenschijnlijk simpel puzzeltje: Als je twee gehele getallen neemt, $a$ en $b$ , en ze mengt in een specifiek recept ( $a^2 + b^2$ gedeeld door $ab + 1$), is het resultaat dan altijd een kwadraat van een getal (zoals 1, 4, 9, 16)?

De auteur van dit artikel, Franz Lemmermer, wil ons laten zien waarom dit gebeurt. Hij wil het niet alleen bewijzen; hij wil ons de verborgen machinerie erachter laten zien. Hij gebruikt hiervoor twee hoofdinstrumenten: een slimme truc genaamd "Vieta Jumping" en een kaart van een vreemd, onzichtbaar landschap genaamd "Kwadratische Getalvelden".

Hier is het verhaal van het artikel, onderverdeeld in eenvoudige concepten.

1. De Magische Stuiterbal (Vieta Jumping)

Het eerste instrument is de "Vieta Jump". Stel je voor dat je op een trampoline staat die de vorm heeft van een glooiende heuvel (een wiskundige curve die een conische sectie wordt genoemd). Je hebt een bal in je hand.

De Regel: Als je de bal op een specifieke plek laat vallen (een punt met gehele coördinaten), zeggen de wetten van de fysica (algebra) dat de bal naar een nieuw punt zal stuiteren dat ook gehele coördinaten heeft.
De Sprong: Dit is de "jump". Je kunt van punt A naar punt B springen. Maar hier is de magie: je kunt ook achteruit springen.
De Afdaling: De auteur laat zien dat als je begint met een enorm, ingewikkeld paar getallen, je steeds achteruit kunt blijven springen. Elke sprong maakt de getallen kleiner. Uiteindelijk kun je niet meer springen omdat je de "grond" raakt (de oorsprong of een heel klein getal).
De Conclusie: Omdat elk groot paar getallen via deze sprongen afkomstig is van een klein paar getallen, en we weten dat de kleine paren altijd kwadraten opleveren, dan moeten de grote paren ook kwadraten opleveren. Het is als zeggen: "Als elke rivier terugstroomt naar een schone bron, dan moet het water in de oceaan ook schoon zijn."

2. Het Rooster van Onzichtbare Steden (Kwadratische Getalvelden)

Het tweede deel van het artikel neemt ons dieper mee. De auteur zegt: "Laten we stoppen met alleen naar getallen te kijken en beginnen met het bekijken van een landschap."

Stel je een uitgestrekte, onzichtbare stad voor, gebouwd op een rooster. In deze stad heeft elk gebouw een "gewicht" (een Norm genoemd).

Het Doel: De oorspronelijke wiskundige puzzel vraagt eigenlijk: "Kunnen we gebouwen in deze stad vinden die een zeer specifieft, klein gewicht hebben?"
De Eenheden (De Liften): In deze stad zijn er speciale liften genaamd Eenheden (Units). Als je een lift instapt, kun je naar een nieuw gebouw reizen, maar je gewicht blijft exact hetzelfde. Je kunt deze liften voor eeuwig omhoog en omlaag rijden.
De Connectie: De auteur legt uit dat de "stuiterende bal" (Vieta Jumping) eigenlijk gewoon een manier is om deze liften te gebruiken. Wanneer je van het ene getalpaar naar het andere springt, neem je in feite een stap op een ladder gemaakt van deze eenheden.

3. De "Richaud-Degert" Buurten

Het artikel richt zich op een specifiek type buurt in deze onzichtbare stad. Deze buurten hebben een speciale regel: de liften (eenheden) zijn zeer voorspelbaar en gemakkelijk te vinden.

De auteur bewijst dat in deze specifieke buurten, als je een gebouw vindt met een zeer klein gewicht (een kleine norm), dat gewicht moet een kwadraat zijn.

De Analogie: Stel je een regel voor in deze stad voor: "Als je een huis vindt met een gewicht van minder dan 10 pond, dan moet het gemaakt zijn van gouden bakstenen (een kwadraat)." De auteur controleert de blauwdrukken van deze buurten en bevestigt dat deze regel daar standhoudt.
Het Resultaat: Omdat de oorspronkelijke wiskundige puzzel in deze specifieke buurt past, is de regel van toepassing. Daarom is het antwoord op de 1988 Olympiade-opgave altijd een kwadraat.

4. De Kaart Uitbreiden

De auteur stopt niet bij de oorspronkelijke puzzel. Hij gebruikt deze instrumenten om andere soortgelijke raadsels op te lossen:

Hij verandert het recept een klein beetje (door de getallen in de vergelijking te veranderen) en vraagt: "Houdt de regel nog steeds stand?"
Hij ontdekt dat voor sommige recepten het antwoord nog steeds een kwadraat is.
Voor andere recepten kan het antwoord "twee keer een kwadraat" of iets anders zijn, afhankelijk van de vorm van de onzichtbare stad.
Hij ontdekt ook dat er voor sommige recepten helemaal geen oplossingen zijn (de stad is leeg op die plekken).

Samenvatting

Het artikel is een rondleiding die uitlegt dat een beroemde wiskundige puzzel geen willekeurige truc is. Het is een reflectie van een diepere, ordelijke structuur in de wiskunde.

Vieta Jumping is de methode om vanuit een groot probleem terug te lopen naar een eenvoudig probleem.
Kwadratische Getalvelden zijn de kaart die het terrein laat zien waar deze getallen leven.
De Conclusie is dat de "kleine normen" (de kleine gewichten van de gebouwen) in dit specifieke terrein gedwongen worden om kwadraten te zijn, wat het mysterie van de 1988 Olympiade-opgave en vele anderen zoals deze oplost.

De belangrijkste boodschap van de auteur is dat deze "springtechniek" niet alleen voor wiskundecompetities is; het is een krachtige manier om de architectuur van getallen zelf te begrijpen.

Technische Samenvatting: Vieta Jumping en Kleine Normen in Kwadratische Getalvelden

Introductie en Probleemstelling
Dit artikel onderzoekt de verbinding tussen het beroemde probleem van de International Mathematical Olympiad (IMO) 1988 en de rekenkunde van kwadratische getalvelden, met een specifieke focus op elementen met kleine normen. Het centrale probleem dat wordt behandeld is: Laat $a$ en $b$ positieve gehele getallen zijn waarvoor $ab + 1$ deelbaar is door $a^2 + b^2$ . Bewijs dat $\frac{a^2 + b^2}{ab + 1}$ een perfect kwadraat is.

Door $\frac{a^2 + b^^2}{ab + 1} = k$ te stellen, wordt het probleem geherformuleerd als het bewijzen dat als de conische sectie $C_k: a^2 - kab + b^2 = k$ een geheel punt bezit, $k$ dan een perfect kwadraat moet zijn. De auteur, Franz Lemmermer, beoogt aan te tonen dat Vieta jumping een techniek is die toepasbaar is buiten de reikwijdte van olympiaproblemen, door een link te leggen met geparametriseerde eenheden in kwadratische velden van het type Richaud-Degert.

Methodologie: Vieta Jumping
Het primaire instrument dat wordt gebruikt is "Vieta jumping", een descentiemethode die wordt ingezet voor de analyse van gehele punten op conische secties.

Generatie van Punten: Vertrekkend vanuit een bekend geheel punt (bijv. $(m, 0)$ op de curve $C_{m^2}$ ) behandelt de methode de vergelijking van de conische sectie als een kwadratische vergelijking in één variabele. Volgens de Vieta-formules geldt dat als één wortel een geheel getal is, de tweede wortel ook een geheel getal is. Dit maakt het mogelijk om nieuwe gehele punten te construeren uit bestaande punten via operaties zoals $(a, b) \to (m^2b - a, b)$ en $(a, b) \to (a, m^2a - b)$ .
Descentie (Afname): De techniek behelst het omkeren van dit proces. Gegeven een willekeurig geheel punt $(a, b)$ met positieve coördinaten, kan men een nieuw punt $(a', b')$ genereren met een kleinere som van coördinaten ( $a' + b' < a + b$ ). Herhaalde toepassing van deze descentie leidt tot een "fundamentele" oplossing nabij de oorsprong (specifiek punten waar één coördinaat nul is).
Classificatie: Voor het geval waarbij de quociënt een perfect kwadraat is ( $k=m^2$ ), classificeert de auteur alle gehele punten op $C_{m^2}$ als behorend tot specifieke sequenties die worden gegenereerd door deze sprongen (jumps) vanaf triviale oplossingen zoals $(\pm m, 0)$ .

Belangrijkste Bijdragen en Resultaten

Bewijs van het IMO-probleem: Het artikel biedt drie verschillende bewijzen voor het IMO 1988-probleem:
1. Elementaire Descentie: Gebruikmakend van Lemma 4, toont de auteur aan dat als $k$ geen kwadraat is, men kan descenderen naar een punt $(A, 0)$ of $(0, A)$ , wat impliceert dat $k = A^2$ , een contradictie als $k$ als niet-kwadraat werd aangenomen.
2. Pell Conic Actie: De gehele punten op $C_k$ worden beschouwd als een principaal homogeen verband onder de actie van de geassocieerde Pell-conische sectie. De actie van eenheden in het kwadratische veld verplaatst gehele punten naar een begrensde regio nabij de oorsprong, wat een classificatie van mogelijke waarden voor $k$ mogelijk maakt.
3. Kwadratische Getalvelden: Het probleem wordt vertaald naar het vinden van elementen met een kleine norm in reële kwadratische velden. Door gebruik te maken van grenzen aan de coëfficiënten van elementen $\xi \eta$ (waarbij $\eta$ een eenheid is), bewijst de auteur dat als de norm $\nu$ klein is ten opzichte van de veldparameters, $\nu$ een perfect kwadraat moet zijn (of gerelateerd aan een kwadraat).
Generalisaties en Families van Vergelijkingen:
- Stelling 6: Generaliseert het resultaat naar de vergelijking $x^2 - pxy + y^2 = q$ . Er wordt bewezen dat als $p > 2$ en $0 < q \le p + 1$ , dan $q$ een perfect kwadraat moet zijn voor het bestaan van gehele oplossingen. De grens wordt getoond als scherp, aangezien $q = p + 2$ oneindig veel oplossingen toelaat.
- Stelling 7: Behandelt het geval waar $q < 0$ . Er wordt aangetoond dat voor $p > 0$ en $3 - p \le q < 0$ , er geen gehele oplossingen bestaan, behalve voor specifieke randgevallen (bijv. $q = 2 - p$ ) die oplossingen opleveren die gerelateerd zijn aan Fibonacci-getallen (Propositie 8).
- Richaud-Degert Type Velden: Het artikel analyseert vergelijkingen van de vorm $|x^2 - my^2| = \nu$ waarbij $m = n^2 - 1$ , $m = n^2 - 4$ , of $m = n^2 + 2$ . Proposities 13, 14 en 15 stellen voorwaarden vast waaronder kleine normen $\nu$ perfecte kwadraten moeten zijn of gerelateerd aan kwadraten, gebruikmakend van de fundamentele eenheden van deze specifieke kwadratische velden.

Betekenis en Reikwijdte
Het artikel stelt dat de primaire betekenis ervan ligt in het illustreren dat Vieta jumping niet louter een heuristiek is voor competitieve wiskunde, maar een robuuste techniek met diepe verbindingen met de algebraïsche getaltheorie. In het bijzonder overbrugt het de kloof tussen elementaire Diophantische analyse en de rekenkunde van kwadratische velden, met name met betrekking tot elementen met kleine normen.

De auteur merkt op dat hoewel veel soortgelijke problemen met de gepresenteerde methoden kunnen worden opgelost (inclusclusief computer-ontdekte variaties), andere nieuwe ideeën vereisen. Het werk beoogt geen experimentele toepassingen of toekomstige theoretische uitbreidingen voor te stellen buiten de reikwijdte van de bewezen stellingen en generalisaties. De focus blijft liggen op het leveren van rigoureuze bewijzen voor het IMO-probleem en zijn generalisaties, en daarmee het problematiseren van een beroemd olympiaprobleem binnen het bredere kader van de getaltheorie.

1. De Magische Stuiterbal (Vieta Jumping)

2. Het Rooster van Onzichtbare Steden (Kwadratische Getalvelden)

3. De "Richaud-Degert" Buurten

4. De Kaart Uitbreiden

Samenvatting

Meer zoals dit