🔢 mathematics

Another inequality inspired by Erdős

Dit artikel presenteert een elementair rekenkundig bewijs van een specifieke ongelijkheid, geïnspireerd door Paul Erdőss klassieke bewijs van de Bertrandpostulaat, als onderdeel van een bredere inspanning om een rekenkundig puur bewijs van het postulaat zelf vast te stellen.

Oorspronkelijke auteurs: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Gepubliceerd 2026-07-21

📖 6 min leestijd🧠 Diepgaand

CC0 1.0

Oorspronkelijke auteurs: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Oorspronkelijk artikel vrijgegeven aan het publieke domein onder CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 werkt in de uitgestrekte, stille bibliotheek van de Getaltheorie, een tak van de wiskunde die gewijd is aan de verborgen geheimen van gehele getallen. In deze wereld zijn getallen niet alleen hulpmiddelen om appels te tellen; ze zijn personages met hun eigen persoonlijkheden, relaties en strikte regels. Een van de meest beroemde regels in deze bibliotheek is het "Bertrand-postulaat", een eeuwenoude observatie die stelt dat als je een getal kiest dat groter is dan 6, er altijd minstens één priemgetal (een getal dat alleen deelbaar is door 1 en zichzelf) verborgen is in een specifieke buurt net onder het. Lange tijd gebruikten wiskundigen zoals de legendarische Paul Erdős slimme trucs met behulp van binomiale coëfficiënten (die lijken op de getallen die je krijgt wanneer je combinaties van items telt) om deze regels te bewijzen. Maar soms zijn de meest interessante mysteries niet de grote, luidruchtige stellingen, maar de stille, vreemde ongelijkheden die opduiken wanneer je probeert die bewijzen te vereenvoudigen. Dit zijn de "vreemdheden" die wiskundigen het hoofd doen krabben en doen afvragen: "Klopt dit altijd, of is er een sluipende uitzondering verborgen in de getallen?"

Dit artikel, getiteld "Another Inequality Inspired by Erdős", duikt diep in zo'n sluipende ongelijkheid. De auteurs, Barora Batíková, Tomáš J. Kepka en Petr C. Němec, onderzoeken een specifieke wiskundige relatie met betrekking tot positieve gehele getallen. Ze definiëren een paar speciale "personages" voor elk getal $n$ : een waarde $z(n)$ gerelateerd aan hoe vaak 3 in $2n$ past, een waarde $m(n)$ gerelateerd aan de vierkantswortel van $2n$ , en een waarde $r(n)$ gerelateerd aan machten van 2. Ze combineren deze vervolgens in een complexe expressie, $y(n)$ , en stellen een eenvoudige vraag: Is deze expressie altijd negatief, altijd positief, of wisselt deze af? Het artikel bewijst dat deze expressie nooit precies nul is (het landt nooit perfect op de lijn) en brengt exact in kaart welke getallen het negatief en welke het positief maken. Het is een beetje alsof je elk huis op een zeer lange straat controleert om te zien of de lichten aan of uit zijn, waarbij je ontdekt dat hoewel de meeste huizen een patroon volgen, er een paar specifieke adressen zijn waar de lichten anders zich gedragen.

De Grote Getallenjacht

Het verhaal begint met een blik terug op het verleden. In 1845 deed een wiskundige genaamd J. Bertrand een gewaagde gok: voor elk getal $n$ groter dan 6, is er altijd een priemgetal tussen $n-2$ en $n^2$ . Later kwam Paul Erdős, een genie bekend om zijn elegante en eenvoudige bewijzen, met een nieuwe manier om een iets andere versie van dit idee te bewijzen. Hierbij stuiterde hij op enkele ongebruikelijke ongelijkheden. Eén hiervan, betrokken bij een waarde genaamd $x(n)$ , werd al bestudeerd in een eerder artikel door deze zelfde auteurs. Zij ontdekten dat $x(n)$ meestal negatief is, maar dat het precies nul wordt voor een handvol kleine getallen: 436, 451, 529, 545 en 546.

Nu richten de auteurs hun aandacht op een "verwante" ongelijkheid, een broer van de eerste, die ze $y(n)$ noemen. Deze nieuwe expressie is een beetje ingewikkelder en mengt machten van 2 met machten van $n$ . Het doel van dit artikel is om een puzzel op te lossen: Voor welke positieve gehele getallen $n$ is $y(n)$ kleiner dan nul? En, cruciaal, is $y(n)$ ooit precies gelijk aan nul?

De Tweeledige Aanval

Om dit op te lossen, gebruiken de auteurs twee verschillende strategieën, zoals een detective die zowel een vergrootglas als een high-tech scanner gebruikt.

Strategie 1: De Zuiver Arithmetische Benadering
Eerst gebruiken ze "zuivere aritmetiek", wat betekent dat ze zich strikt aan de regels van gehele getallen houden zonder gebruik te maken van de vloeiende curven van de calculus. Ze breken de oneindige getallenlijn op in beheersbare blokken. Ze realiseren zich dat voor bepaalde bereiken van getallen de waarden van $m(n)$ en $r(n)$ gelijk blijven. Dit stelt hen in staat om getallen in intervallen te groeperen.

Ze creëren een enorme kaart van deze intervallen. Bijvoorbeeld, ze kijken naar getallen van 1 tot 403 en controleren het teken van $y(n)$ in elk blok. Ze vinden dat voor kleine getallen (zoals 1, 2, 3, 4), $y(n)$ positief is. Maar beginnend bij $n=5$ , slaat het om naar negatief. Het blijft een lang stuk negatief, maar dan, net als een achtbaan, daalt en stijgt het in specifieke secties.

Door zorgvuldige berekeningen en vergelijkingen van machten (zoals controleren of $2^{20}$ groter is dan $3^{15}$ ), bewijzen ze dat $y(n)$ negatief is voor een specifieke set bereiken:

Van 5 tot 335.
Van 338 tot 350.
Van 365 tot 368.

Ze bewijzen ook dat $y(n)$ nooit nul is. Het is een strikte "of/of"-situatie; het getal is ofwel positief of negatief, en zit nooit precies op de hekken. Voor alle andere getallen (1 tot en met 4, en dan 336, 337, 351 tot en met 364, en alles vanaf 369 opwaarts), is de waarde positief.

Strategie 2: De Calculus Benadering
Om hun werk te controleren en aan te tonen dat deze resultaten standhouden zelfs wanneer ze bekeken worden door de lens van continue wiskunde, gebruiken de auteurs elementaire calculus. Ze verzinnen een vloeiende, golvende functie $F(x)$ die het gedrag van hun discrete integerprobleem nabootst.

Ze analyseren de vorm van deze curve. Ze laten zien dat de curve uiteindelijk eeuwig omhoog begint te klimmen. Door te vinden waar de curve de "nul-lijn" (de x-as) kruist, kunnen ze voorspellen waar de integerwaarden van $y(n)$ positief of negatief moeten zijn.

Ze bewijzen dat als $n$ zeer groot is (specifiek $n \ge 404$ ), de waarde zeker positief is.
Ze gebruiken de curve om het zoekgebied te verkleinen, waarmee ze bevestigen dat elk "negatief" gedrag binnen een specifiek venster moet plaatsvinden (ongeveer tussen 5 en 379).
Door de specifieke integerpunten binnen dit venster te controleren, bevestigen ze de exacte grenzen die in de eerste strategie zijn gevonden.

Het Eindvonnis

Het artikel concludeert met een definitieve kaart van het terrein. De ongelijkheid $y(n) < 0$ (wat betekent dat de expressie negatief is) is waar als en slechts als $n$ in een van deze drie groepen valt:

$5 \le n \le 335$
$338 \le n \le 350$
$365 \le n \le 368$

Omgekeerd is $y(n) > 0$ (wat betekent dat de expressie positief is) als $n$ tussen 1 en 4 ligt, of in de gaten tussen de negatieve zones, of als $n$ 369 of groter is.

Het belangrijkste is dat de auteurs met absolute zekerheid bewijzen dat $y(n)$ nooit gelijk is aan nul voor enig positief geheel getal. Er zijn geen "magische getallen" waar de expressie perfect verdwijnt. Het is een strikte binaire wereld van positief en negatief, zonder neutraal terrein.

Dit werk is een testament aan de kracht van het combineren van ouderwetse getalberekening met moderne analytische instrumenten. Hoewel het resultaat voor de niet-ingewijden misschien een niche-puzzel lijkt, vertegenwoordigt het het soort nauwgezette, stap-voor-stap verificatie die de fundamenten van de wiskunde solide houdt. Het laat zien dat zelfs in de wereld van abstracte getallen elke individuele casus ertoe doet, en dat de meest interessante ontdekkingen soms liggen in weten waar de uitzonderingen niet bestaan.

Technische Samenvatting van "Another Inequality Inspired by Erdős"

Probleemstelling
Het artikel onderzoekt een specifieke ongelijkheid betreffende positieve gehele getallen, gedefinieerd via een verzameling hulpfuncties afgeleid van de eigenschappen van machten van 2 en vierkantswortels. De auteurs beogen het teken van de functie $y(n)$ te bepalen voor alle positieve gehele getallen $n$ .

De functie $y(n)$ is gedefinieerd als:
$y(n) = 2^{2n - 2z(n) - m(n) + 2} - n^{m(n) - 1}$
waarbij:

$z(n)$ het grootste gehele getal is waarvoor $3z(n) < 2n$ geldt.
$m(n)$ het grootste gehele getal is waarvoor $m(n)^2 \le 2n$ geldt.
$r(n)$ het kleinste niet-negatieve gehele getal is waarvoor $n \le 2^{r(n)}$ geldt.

De kern van het probleem is het oplossen van de ongelijkheid $y(n) < 0$ en het identificeren van alle $n$ waarvoor $y(n) = 0$ . Dit werk volgt op een eerdere studie door dezelfde auteurs naar een gerelateerde ongelijkheid $x(n) < 0$ , waarbij $x(n) = z(n) - (r(n) + 1)m(n)$ . De auteurs kaderen dit onderzoek binnen de context van elementaire rekenkunde, gemotiveerd door de wens om bewijzen te vinden voor getaltheoretische stellingen (zoals het Bertrand-postulaat) die steunen op elementaire methoden, potentieel binnen het fragment van "Elementaire Functie-Aritmetica".

Methodologie
Het artikel hanteert twee verschillende methodologische benaderingen om de ongelijkheid op te lossen:

Zuiver Arithmetische Benadering (Sectie 2):
- Interval Partitionering: De auteurs definiëren intervallen waarin de waarden van $m(n)$ en $r(n)$ constant blijven. Zij construeren een sequentie van intervallen $[g(i), g(i+1)-1]$ waar deze parameters vaststaan, wat de analyse van $x(n)$ en $y(n)$ als niet-dalende of monotone sequenties binnen deze grenzen mogelijk maakt.
- Vergelijkende Grenzen: Met behulp van lemma's stellen de auteurs grenzen vast die machten van 2 ( $2^{c(n)-m(n)}$ ) vergelijken met machten van $n$ ( $n^{m(n)-1}$ ). Zij gebruiken specifieke ongelijkheden om aan te tonen dat indien bepaalde condities op $c(n)$ , $m(n)$ en $r(n)$ worden voldaan, $y(n)$ strikt negatief of strikt positief moet zijn.
- Gevalsgebaseerde Verificatie: Voor het bereik waar algemene grenzen onvoldoende zijn (specifiek $17 \le n \le 403$ ), voeren de auteurs een gedetailleerde, interval-voor-interval analyse uit. Dit omvat het berekenen van specifieke waarden van $c(n)$ en het vergelijken daarvan met berekende machten van $n$ om het teken van $y(n)$ te bepalen.
Elementaire Calculus Benadering (Sectie 3):
- Continue Approximatie: De auteurs definiëren continue functies $F(x)$ die het discrete gedrag van $x(n)$ en $y(n)$ benaderen. Deze functies bevatten termen zoals $x^{2/3}$ , $\sqrt{x}$ en $\log_2 x$ .
- Convexiteitsanalyse: Door de tweede afgeleiden ( $F''(x)$ ) te analyseren, bewijzen de auteurs dat deze functies convex zijn voor voldoende grote $x$ . Deze convexiteit impliceert dat de functies maximaal één lokaal minimum hebben en de nuldoorgang maximaal één keer kruisen in specifieke domeinen.
- Het Bepalen van de Wortels: De auteurs berekenen specifieke waarden om de wortels van deze continue functies te lokaliseren (bijv. het vinden van $k$ waarvoor $f(k) \approx 0$ ). Zij gebruiken vervolgens de relatie tussen de continue functie en de discrete gehele sequentie om het bereik van gehele getallen te begrenzen waar de ongelijkheid geldt.

Belangrijkste Bijdragen en Resultaten

Volledige Oplossing van Ongelijkheid (2): Het artikel biedt een definitieve classificatie van het teken van $y(n)$ voor alle positieve gehele getallen $n$ .
- $y(n) < 0$ : Dit geldt indien en slechts indien $5 \le n \le 335$ , $338 \le n \le 350$ , of $365 \le n \le 368$ .
- $y(n) > 0$ : Dit geldt indien en slechts indien $1 \le n \le 4$ , $336 \le n \le 337$ , $351 \le n \le 364$ , of $n \ge 369$ .
- $y(n) = 0$ : De auteurs bewijzen dat $y(n)$ nooit nul is voor enig positief geheel getal $n$ .
Verfijning van Voorgaand Werk (Ongelijkheid 1): Hoewel de primaire focus op $y(n)$ ligt, herbekijken de auteurs ook de ongelijkheid $x(n) < 0$ met behulp van de calculus-methode. Hiermee bevestigen zij het resultaat uit hun eerdere werk [1] dat $x(n) = 0$ alleen voor $n \in \{436, 451, 529, 545, 546\}$ en $x(n) < 0$ voor $n \le 435$ , $n=450$ , of $513 \le n \le 528$ .
Methodologische Demonstratie: Het artikel demonstreert dat complexe ongelijkheden in positieve gehele getallen aangepakt kunnen worden met behulp van "elementaire calculus" (waarbij logaritmen en wortels worden gebruikt) om de zoekruimte te verkleinen, gevolgd door eindige arithmetische verificatie.

Betekenis en Claims
De auteurs positioneren dit werk als een methodologische en didactische oefening. Zij beweren geen groot openstaand vermoeden op te lossen, maar verkennen eerder "ongebruikelijke ongelijkheden in positieve gehele getallen" die voortkomen uit pogingen om bewijzen van het Bertrand-postulaat te vereenvoudigen.

De geclaimde betekenis is tweeledig:

Arithmetische Zuiverheid: De auteurs argumenteren dat de gebruikte methoden "getransmogrifiëerd" kunnen worden om demonstraties te leveren binnen of nabij "Elementaire Functie-Aritmetica", een zwak fragment van de rekenkunde, ook al gebruikt het artikel zelf calculus als instrument om het arithmetische bewijs te leiden.
Didactische Waarde: De inclusie van zowel een zuiver arithmetische oplossing als een calculus-gebaseerde oplossing dient om verschillende manieren te illustreren om dergelijke problemen aan te pakken. De auteurs merken op dat hoewel het arithmetische bewijs "zuiver" is, de calculus-benadering een manier biedt om de berekening te "faciliteren" en het bereik van gehele getallen te beperken dat handmatige verificatie vereist.

Het artikel sluit bescheiden af met de verklaring dat de resultaten een volledige oplossing bieden voor de gepresenteerde specifieke ongelijkheden, zonder te extrapoleren naar bredere toepassingen of toekomstige onderzoeksrichtingen buiten de directe context van deze specifieke ongelijkheden van gehele getallen.

De Grote Getallenjacht

De Tweeledige Aanval

Het Eindvonnis

Meer zoals dit