The irrationality measure of arctan1/2 is at most 8.585166

In het uitgestrekte landschap van de wiskunde zijn er getallen die als eenvoudige breuken kunnen worden geschreven, zoals één-half of drie-kwart, en getallen die dat niet kunnen. De laatstgenoemde worden irrationale getallen genoemd. Hoewel we weten dat er veel van bestaan, zoals de verhouding tussen de omtrek van een cirkel en zijn diameter, rijst er vaak een diepere vraag: hoe "dichtbij" kan een breuk bij deze irrationale getallen komen zonder ze daadwerkelijk te zijn? Wiskundigen meten deze nabijheid met een concept genaamd de irrationaliteitsmaat. Denk aan deze maat als een liniaal voor hoe goed een getal benaderd kan worden door breuken; een lager getal betekent dat het irrationale getal moeilijker te misleiden is met eenvoudige breuken, terwijl een hoger getal suggereert dat het gemakkelijker te benaderen is. Het begrijpen van deze maten helpt wiskundigen om de verborgen structuur van getallen in kaart te brengen en de grenzen van ons vermogen om te bepalen hoe nauwkeurig we ze met rationale waarden kunnen vastleggen.

Een recente studie door wiskundige Yufei Bai pakt deze vraag aan voor een specifiek, bekend irrationaal getal: de hoek waarvan de tangens één-half is. Deze hoek, vaak geschreven als de arctangens van één-half, verschijnt in de meetkunde en de trigonometrie, maar de precieze aard ervan als irrationaal getal is het onderwerp geweest van voortdurende verfijning. Het doel van dit werk was niet om te bewijzen dat het getal iriraat is — dat was al bekend — maar om de bovengrens op de irrationaliteitsmaat van dit getal aan te scherpen. Door een striktere grens vast te stellen, verkleint het onderzoek het bereik van mogelijkheden voor hoe goed dit getal benaderd kan worden, waardoor de bekende grenzen van wiskundige precisie worden opgezocht.

Om dit te bereiken, construeerde de onderzoeker een reeks complexe wiskundige objecten die bekend staan als integralen. Dit zijn geen eenvoudige oppervlakten onder een curve, maar hooggespecialiseerde instrumenten die ontworpen zijn om te interageren met het specifieke getal in kwestie. Het proces begon met het definiëren van een familie van deze integralen, waarbij elk exemplaar complexer is dan het vorige, bestaande uit polynomen en specifieke bereikberekeningen. De onderzoeker paste vervolgens een slimme verschuiving toe op het centrum van deze berekeningen, waarbij de focus naar een nieuw punt werd verplaatst om verborgen symmetrieën te onthullen. Deze symmetrie maakte het mogelijk om de ingewikkelde expressies af te breken in eenvoudigere delen, vergelijkbaar met het scheiden van een complexe machine in haar individuele tandwielen en veren.

De kern van het werk bestond uit het analyseren van de coëfficiënten, of de numerieke bouwstenen, die voortkwamen uit het afbreken van deze integralen. De onderzoeker bewees dat deze getallen, hoewel ze complex lijken en imaginaire componenten bevatten, in werkelijkheid een zeer specifieke en rigide structuur bezitten. Hij demonstreerde dat wanneer deze getallen worden vermenigvuldigd met bepaalde zorgvuldig gekozen factoren, de resultaten altijd gehele getallen zijn. Deze eigenschap van integraliteit is cruciaal, omdat het de onderzoeker in staat stelt om deze complexe waarden te behandelen alsof het eenvoudige gehele getallen zijn voor het doel van de berekening, waardoor de rommelige breukdelen die dergelijke problemen gewoonlijk compliceren, worden weggestreept.

Met deze vastgestelde eigenschappen van gehele getallen onderzocht de onderzoeker vervolgens hoe de grootte van deze integralen zich gedraagt naarmate de complexiteit van de berekening toeneemt. Met behulp van een methode bekend als de zadelpunttechniek, die inhoudt dat men de meest kritische punten in een wiskundig landschap zoekt om het algemene gedrag te voorspellen, berekende de onderzoeker de snelheid waarmee deze integralen groeien of krimpen. De analyse onthulde dat de integralen op een zeer specifieke, snelle manier krimpen, terwijl de coëfficiënten geassocieerd met het irrationale getal op een andere, tragere snelheid groeien. Door deze twee snelheden met elkaar te vergelijken, kon de onderzoeker de maximale mogelijke waarde voor de irrationaliteitsmaat bepalen.

Het eindresultaat van deze rigoureuze analyse is een nieuwe, striktere grens voor de irrationaliteitsmaat van de arctangens van één-half. De studie concludeert dat deze maat maximaal 8,585166 is. Dit getal vertegenwoordigt een significante verfijning in ons begrip van de eigenschappen van het getal. Het beweert niet de exacte maat te hebben gevonden, noch suggereert het dat het getal iets anders is dan irrationaal. In plaats daarvan biedt het een definitief plafond, waarmee wordt bewezen dat de irrationaliteitsmaat, ongeacht hoe hard men probeert, deze specifieke waarde niet kan overschrijden. Deze bevinding voegt een precieze baksteen toe aan het fundament van de getaltheorie en biedt een duidelijker beeld van het wiskundige terrein rondom deze fundamentele constante.