🔢 mathematics

Gauss and p-adic numbers

Dit artikel onderzoekt de aantekeningen van Carl Friedrich Gauss om aan te tonen dat zijn berekeningen met betrekking tot "oneindige congruenties" een vroeg werk vormen met p-adische getallen, inclusief de berekening van vierkantswortels en logaritmen in 11-adische en 10-adische gehele getallensystemen.

Oorspronkelijke auteurs: Franz Lemmermeyer

Gepubliceerd 2026-07-30

📖 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 puzzel probeert op te lossen waarbij de stukjes niet alleen één keer passen, maar ook perfect blijven passen hoe ver je ook inzoomt. In de wereld van de wiskunde is dit het domein van de getaltheorie, een vakgebied dat zich wijdt aan het begrijpen van de verborgen patronen van gehele getallen. Meestal doen we aan wiskunde en stoppen we op een bepaald punt; als we de vierkantswortel van 2 nodig hebben, zeggen we "1,414" en noemen we het goed. Maar wat als we voor eeuwig door konden gaan, door steeds meer precieze cijfers toe te voegen, niet alleen rechts van de komma, maar in een totaal andere richting? Dit is de wereld van de p-adische getallen. Beschouw ze als een bijzonder soort getallensysteem waarbij "nabijheid" niet wordt gemeten door hoe ver twee getallen uit elkaar liggen op een getallenlijn, maar door hoeveel nullen ze aan het einde van hun cijfers delen. Als twee getallen eindigen op dezelfde lange reeks nullen, worden ze beschouwd als zeer nabije buren. Dit klinkt misschien als een vreemd spel, maar het blijkt een superkracht te zijn voor het oplossen van vergelijkingen die met gewone getallen onmogelijk te kraken zijn.

Spoel nu de tijd vooruit naar het begin van de 19e eeuw. Meestal schrijven we de uitvinding van deze "oneindige congruentie"-getallen toe aan de Duitse wiskundige Kurt Hensel in 1899. Maar een nieuwe blik op de stoffige, handgeschreven notitieboeken van Carl Friedrich Gauss — een genie dat vaak de "Prins der Wiskundigen" wordt genoemd — onthult een verbazingwekkend geheim: Gauss speelde al een eeuw eerder met precies dezelfde ideeën. In een artikel van F. Lemmermeyer krijgen we een inkijkje in Gauss' privéwerkplaats, specifدiek zijn notitieboek van juli 1800. Het artikel laat zien dat Gauss niet zomaar gokte; hij voerde complexe berekeningen uit met "oneindige conglomeraties" (wat we nu precies p-adische getallen noemen) lang voordat iemand anders er een naam voor had. Hij was in feite bezig met het bouwen van een gereedschapskist voor een wiskundig universum dat pas in de 20e eeuw officieel zou worden ontdekt.

Het artikel neemt ons mee op een rondleiding langs de specifieke experimenten van Gauss. Eerst probeerde Gauss vierkantswortels en derdemachtswortels te vinden, maar niet het soort dat je op een rekenmachine vindt. Hij zocht naar wortels die perfect werken binnen een specifieke "modulaire" wereld. Hij berekende bijvoorbeeld de 11-adische vierkantswortel van 5, een getal dat, wanneer gekwadrateerd, gelijk is aan 5 in het 11-adische systeem (het oplossen van de vergelijking $x^2 - 5 = 0$ ). In plaats van een rommelig decimaal getal, vond hij een getal dat, wanneer het met zichzelf wordt vermenigvuldigd, eindigt op de cijfers van 5, ongeacht hoe vaak je het controleert. Hij deed dit door te beginnen met een ruwe schatting en deze vervolgens "op te tillen" naar een preciezere versie, cijfer voor cijfer, met een methode die aanvoelt als het beklimmen van een ladder waarbij elke sport je dichter bij de waarheid brengt. Het artikel legt uit dat Gauss slimme trucs gebruikte, zoals de binomiaalstelling (een manier om machten van getallen uit te breiden) en een algoritme stap-voor-stap dat lijkt op de langdeling die we op school leren, maar dan in omgekeerde volgorde.

Een van de meest fascinerende delen van het artikel is hoe Gauss met het getal 10 omging. Omdat 10 bestaat uit 2 en 5, realiseerde Gauss zich dat hij het probleem kon opsplitsen in twee kleinere, makkelijkere problemen: één gebaseerd op 2 en één op 5, en deze vervolgens weer aan elkaar te naaien. Dit is als het oplossen van een grote legpuzzel door eerst de lucht en dan de oceaan af te maken, om ze vervolgens in elkaar te klikken. Hij gebruikte dit om "automorfe" getallen te vinden — getallen die, wanneer ze gekwadrateerd worden, er aan het einde van de lijn exact hetzelfde uitzien als het oorspronkelijke getal. Hij berekende ook logaritmen (een manier om de grootte van getallen te meten) in dit vreemde, op 10 gebaseerde systeem. Het artikel merkt op dat hoewel Gauss ongelooflijk briljant was, hij niet perfect was; de auteur vindt enkele kleine rekenfouten in de aantekeningen van Gauss, zoals een ontbrekende nul of een geleend cijfer dat niet werd verrekend. Deze fouten doen echter niets af aan de prestatie; ze laten slechts zien dat Gauss een mens was die complexe problemen in realtime aanpakte.

Uiteindelijk beweert dit artikel niet dat Gauss p-adische getallen in de moderne zin heeft "uitgevonden" — hij heeft geen formele definitie of een grote theorie opgesteld. In plaats daarvan suggereert het artikel dat Gauss een diep, intuïtief begrip had van hoe deze oneindige systemen werkten. Hij wist hoe hij moest optellen, aftrekken, vermenigvuldigen en zelfs wortels moest trekken van deze "oneindige conglomeraties". Hij behandelde ze als een praktisch hulpmiddel om specifieke algebraïsche puzzels op te lossen, zoals het vinden van wortels van polynomen of het begrijpen van het gedrag van kwadratische sommen. De auteur, Lemmermeyer, laat ons achter met een uitdaging: er zijn nog steeds enkele pagina's in Gauss' notitieboek die moeilijk te ontcijferen zijn, een uitnodiging aan moderne lezers om verder te blijven graven. Het artikel bevestigt dat Gauss een pionier was die decennia, misschien zelfs een eeuw, voor zijn tijd stond, terwijl hij al met de bouwstenen van de moderne algebraïsche getaltheorie speelde terwijl de rest van de wereld nog aan het uitzoeken was hoe ze moesten tellen.

Probleemstelling
Het artikel behandelt de historische en wiskundige kloof tussen de ongepubliceerde berekeningen van Carl Friedrich Gauss in zijn notitieboeken en de moderne formalisering van $p$ -adische getallen door Kurt Hensel in 1899. Hoewel het algemeen bekend is dat Gauss een vorm van "Hensels lemma" bezat voor het optillen van polynoomwortels, was de specifieke aard van zijn berekeningen met betrekking tot "oneindige conglomeren" (congruenties modulo $p^\infty$ ) nog niet volledig verhelderd. De auteur onderzoekt de aantekeningen in Gauss' notitieboek uit juli 1800 om te bepalen hoe hij rekende met deze oneindige conglomeren, die overeenkomen met moderne $p$ -adische en $g$ -adische getallen, en om de nauwkeurigheid en methoden van zijn berekeningen voor vierkantswortels, derdemachtswortels en logaritmen te verifiëren.

Methodologie
De auteur maakt gebruik van een combinatie van historische analyse en moderne computationele verificatie:

Historische Reconstructie: Het artikel analyseert specifieke pagina's uit de notitieboeken van Gauss (specifiek het "1800 Juli" notitieboek), waarbij zijn handgeschreven berekeningen worden getranscribeerd en geïnterpreteerd.
Algoritmische Verklaring: De auteur legt de algoritmen uit die Gauss waarschijnlijk gebruikte, waaronder:
- Binomiale expansies voor het berekenen van wortels (bijv. $\sqrt{1 \pm x}$ ).
- Cijfer-voor-cijfer extractie-algoritmen voor vierkantswortels (zowel standaard als aangepast voor $p$ -adische contexten).
- Iteratieve benaderingen met behulp van de ongelijkheid van het harmonisch-meetkundig gemiddelde voor derdemachtswortels.
- Vermogensreeks-expansies voor het berekenen van $p$ -adische logaritmen.
Moderne Verificatie: De auteur gebruikt het computer algebra systeem pari om moderne $p$ -adische en $g$ -adische benaderingen (specifiek modulo $241$, $11$ en $10$) te berekenen om deze te vergelijken met de door Gauss genoteerde cijfers. Dit omvat de verificatie van het optillen van polynoomwortels, de expansie van $\sqrt{5}$ in $\mathbb{Q}_{11}$ , en de berekening van 10-adische logaritmen via de isomorfie $\mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5$ .
Algebraïsche Analyse: Het artikel maakt gebruik van de Chinese Reststelling en de theorie van idempotenten om de algebraïsche structuur van 10-adische getallen en het bestaan van nulverdelers en niet-triviale eenheden van de vierkantswortel van 1 te verklaren.

Belangrijkste Bijdragen

Identificatie van "Oneindige Conglomeren" als $p$ -adische Getallen: Het artikel identificeert Gauss' "oneindige conglomeren" modulo $p^\infty$ expliciet als de voorlopers van Hensels $p$ -adische getallen, waarmee wordt aangetoond dat Gauss decennia vóór hun formele definitie al rekenkunde uitvoerde in deze ringen.
Ontcijfering van Gauss' Algoritmen: De auteur reconstrueert de specifieke methoden die Gauss gebruikte om te berekenen:
- Vierkantswortels: Hoe Gauss binomiale expansies en cijfer-voor-cijfer aftrekking gebruikte (werkend van rechts naar links voor $p$ -adische getallen) om wortels zoals $\sqrt{79}$ en $\sqrt{5}$ in $\mathbb{Q}_{11}$ te vinden.
- Derdemachtswortels: Hoe Gauss ongelijkheden en het harmonisch-meetkundig gemiddelde gebruikte om $\sqrt[3]{2}$ te benaderen.
- Polynoomwortels: Hoe Gauss wortels van een vijfdegraads polynoom optilde van modulo $241$ naar modulo $241^2$ en hogere machten, waarmee hij effectief Hensel-lifting uitvoerde.
- Logaritmen: Hoe Gauss 10-adische logaritmen berekende via vermogensreeks-expansies voor getallen congruent aan $0 \pmod{10}$ en via factorisatie voor coprimere getallen.
Foutdetectie: Het artikel identificeert specifieke rekenfouten in de notitieboeken van Gauss, zoals een fout bij het aftrekken bij de 11-adische expansie van kwadratische perioden en weglatingen in de berekening van $\log(301)$ en $\log(799)$ .
Verduidelijking van de 10-adische Structuur: Het artikel verklaart de algebraïsche achtergrond van Gauss' 10-adische berekeningen, specifiek de decompositie van $\mathbb{Z}_{10}$ in $\mathbb{Z}_2 \oplus \mathbb{Z}_5$ en de rol van idempotenten bij het vinden van de vierkantswortel van 1.

Resultaten

Verificatie van Berekeningen: Moderne berekeningen bevestigen dat de benaderingen van Gauss voor $\sqrt{5}$ in $\mathbb{Q}_{11}$ en de wortels van de vijfdegraads polynoom modulo $241$ correct zijn tot de cijfers die hij noteerde, ondanks zijn gebrek aan formele notatie.
Algoritmisch Inzicht: Het door Gauss gebruikte cijfer-voor-cijfer algoritme voor vierkantswortels van 10-adische getallen blijkt een geldige adaptatie van standaard algoritmen te zijn, die steunt op conglomeren in plaats van grootte.
Logaritmetabellen: Het artikel reconstrueert een gecorrigeerde tabel van 10-adische logaritmen voor gehele getallen tot 31, waarbij wordt aangetoond dat de waarden van Gauss over het algemeen voldoen aan $\log(ab) = \log(a) + \log(b)$ , hoewel enkele specifieke vermeldingen rekenfouten bevatten.
Kwadratische Perioden: Het artikel verheldert de berekening van Gauss van kwadratische perioden gerelateerd aan de vijfde machtswortel van eenheid, waarbij wordt opgemerkt dat hoewel zijn methode solide was, een specifieke rekenfout leidde tot onjuiste waarden voor de perioden $a$ en $b$ .

Significantie
Het artikel claimt een bescheiden significantie, primair dienend als een verklarend en detectief werk om "het grootste deel van Gauss' berekeningen te verklaren" en de rest als een uitdaging achter te laten. Het benadrukt dat Gauss een geavanceerd, intuïtief begrip had van inverse limieten en compatibele systemen van conglomeren, waardoor hij effectief rekenkunde uitvoerde met $p$ -adische getallen zonder het formele kader dat later door Hensel werd geboden. De auteur merkt op dat hoewel Gauss deze limieten niet formeel definieerde, zijn notitieboeken aantonen dat hij wist hoe hij optelt, aftrekt, vermenigvuldigt en wortels berekent binnen deze systemen. Het artikel erkent ook dat het bestaan van deze "oneindige conglomeren" in Gauss' werk al in online wiskundige gemeenschappen was opgemerkt, wat de gedachte versterkt dat Gauss' gereedschapskist veel geavanceerder was dan voorheen werd aangenomen in de context van $p$ -adische analyse.

Meer zoals dit