Universitaire wiskunde — Bachelor jaar 1 · Bachelor Year 1
6Getaltheorie in ℤ
De getaltheorie — de studie van de deelbaarheid in — werd in het bovenbouwvolume aangevat. Dit hoofdstuk bouwt haar volledig opnieuw op vanaf de euclidische deling, met volledige bewijzen: grootste gemene deler en het algoritme van Euclides, de identiteit van Bézout en het lemma van Gauss, de priemontbinding, en het rekenen met congruenties tot en met de kleine stelling van Fermat. Naast haar eigen bekoring is deze stof het model dat Hoofdstuk 8 voor veeltermen nabootst.
6.1 Deelbaarheid en euclidische deling
Definitie 6.1 (Deelbaarheid)
Voor zeggen we dat het getal deelt (genoteerd ) wanneer voor een zekere . Eenvoudige gevolgen: als en , dan voor alle ; als en , dan ; en uit samen met volgt .
Stelling 6.2 (Euclidische deling)
Voor alle en bestaat er precies één paar met
Bewijs. Bestaan. De verzameling is een niet-lege deelverzameling van (neem : ). Zij haar kleinste element. Was , dan zou een kleiner element van zijn: tegenspraak. Dus .
Uniciteit. Is met , dan is met : het veelvoud van in het linkerlid moet zijn, dus en . ∎
Voorbeeld 6.3 (Positiestelsels door herhaald delen)
Schrijf in grondtal . Deel herhaaldelijk door en houd de resten bij:
Lees je de resten van laatst naar eerst, dan is . Controle: . De uniciteit van de euclidische deling is precies wat elk cijfer afdwingt: bij elke stap is de rest het enige gehele getal in dat congruent is met de huidige waarde modulo , zodat de schrijfwijze in grondtal uniek is — het feit dat stilzwijgend gebruikt wordt telkens als de weekendopgave met “de cijfers van in grondtal ” werkt.
6.2 Grootste gemene deler
Stelling 6.4 (Deelgroepen van ; bestaan van de ggd)
- Elke deelgroep van is van de vorm voor een unieke .
- Voor die niet beide nul zijn, is de verzameling een deelgroep van en dus gelijk aan voor een unieke . Die is de grootste gemene deler : hij deelt en , en elke gemene deler van en deelt .
Bewijs. (1) Zij een deelgroep (niet-leeg, stabiel onder aftrekken; de formele definitie staat in Hoofdstuk 7, en alleen die twee eigenschappen worden gebruikt). Is , neem dan . Anders bevat een element ongelijk aan nul en zijn tegengestelde, en dus een kleinste strikt positief element . Dan is . Voor schrijf je met (Stelling 6.2); dan is , en de minimaliteit van dwingt af: . Uniciteit: is het kleinste positieve element van .
(2) bevat en is stabiel onder aftrekken, dus is het met (het bevat of , en een van beide is niet nul). Omdat , deelt ze beide. En deelt zowel als , dan deelt elke — in het bijzonder , want . Dat is de aangekondigde eigenschap (en ze impliceert , zodat de naam grootste gemene deler verdient). ∎
Gevolg 6.5 (Identiteit van Bézout)
Voor die niet beide nul zijn bestaan er met
In het bijzonder (, het relatief prieme geval): en zijn relatief priem dan en slechts dan als een oplossing heeft.
Bewijs. Er is . Voor de equivalentie: is , dan levert Bézout de oplossing; omgekeerd dwingt af dat elke gemene deler van en het getal deelt. ∎
Methode 6.6 (Algoritme van Euclides, uitgebreid)
Om te berekenen (): deel ; dan is (de gemene delers van en van vallen samen, want ); herhaal tot de rest is; de laatste rest ongelijk aan nul is de ggd. De delingen achterstevoren doorlopen (of de coëfficiënten onderweg bijhouden) levert een paar van Bézout .
Voorbeeld 6.7
: ; ; ; ; . Dus . Achterstevoren:
Controle: en .
Stelling 6.8 (Lemma van Gauss en gevolgen)
Zij .
- (Lemma van Gauss) Is en , dan .
- Is , en , dan .
- Is , dan .
Bewijs. (1) Bézout: . Vermenigvuldig met : . Beide termen zijn deelbaar door (de tweede omdat ), dus .
(2) Schrijf ; uit en geeft punt (1) dat , dus .
(3) Er is en . Vermenigvuldig beide betrekkingen:
een betrekking van Bézout tussen en : volgens Gevolg 6.5 is . ∎
Voorbeeld 6.9 (Een lineaire diofantische vergelijking oplossen)
Bepaal alle met . Eerst de bestaanstoets: deelt , dus zijn er oplossingen (deelde de ggd het rechterlid niet, dan zou het linkerlid altijd een veelvoud ervan zijn en zou er geen enkele zijn). Deel door: . Een particuliere oplossing springt in het oog: . Voor de algemene trek je af: , dus , en het lemma van Gauss () geeft : , waarna . Omgekeerd voldoet elk zo’n paar:
Het patroon is algemeen: één particuliere oplossing plus de geheeltallige veelvouden van — dezelfde structuur “particulier plus homogeen” als in Hoofdstuk 5, met het lemma van Gauss in de rol van de uniciteit.
Definitie 6.10 (Kleinste gemene veelvoud)
is de voortbrenger in van de deelgroep : het is een gemeen veelvoud van en dat elk gemeen veelvoud deelt, en voor geldt
Voorbeeld 6.11 (Samenloopvragen zijn kgv-vragen)
Twee in elkaar grijpende tandwielen hebben en tanden. Na hoeveel tanden gemeenschappelijke beweging keren ze samen naar hun beginstand terug? De configuratie herhaalt zich wanneer het aantal verstreken tanden een gemeen veelvoud van en is; de eerste keer is dat na
tanden — dat wil zeggen omwentelingen van het grote en van het kleine tandwiel ( en ). Let op de praktische weg: bereken eerst de ggd (Euclides: , ) en deel dan — bouw het kgv nooit door veelvouden op te sommen. Elke vraag over periodieke samenloop (tandwielen, standen van planeten, samenvallende repeterende breuken) herleidt zich tot deze ene berekening.
6.3 Priemgetallen
Definitie 6.12
Een geheel getal heet priem wanneer zijn enige positieve delers en zijn. Voor priem en geldt: ofwel , ofwel . Bijgevolg (Stelling 6.8) geldt het lemma van Euclides: is , dan of .
Opmerking 6.13 (Primaliteit toetsen met proefdelingen)
Is met , dan is , dus : een samengesteld getal heeft altijd een priemdeler . Om na te gaan of priem is volstaat het dus de priemgetallen tot te proberen. Voor : , en is door geen van deelbaar (oneven, cijfersom , eindigt niet op of , en ): priem, na zes delingen in plaats van tweehonderd. De grens is een echte drempel: haar efficiënt overschrijden voor getallen van honderd cijfers vergt de moderne primaliteitstests die uit Stelling 6.23 gegroeid zijn.
Stelling 6.14 (Euclides)
Er zijn oneindig veel priemgetallen.
Bewijs. Elk geheel getal heeft een priemdeler: zijn kleinste deler is priem (een echte ontbinding daarvan zou een kleinere deler van opleveren). Stel nu dat alle priemgetallen waren, en zet . Een zeker priemgetal deelt ; maar deelt ook , dus — ongerijmd. ∎
Stelling 6.15 (Hoofdstelling van de getaltheorie)
Elk geheel getal is een product van priemgetallen, en de ontbinding
is uniek.
Bewijs. Bestaan met sterke inductie (Stelling 1.12): is priem; voor is ofwel priem, ofwel met , en de inductiehypothese ontbindt en .
Uniciteit. Stel (priemgetallen met herhaling opgesomd, zeg ) en voer inductie naar . Is , dan is het linkerlid , wat afdwingt (een niet-leeg product van priemgetallen is groter dan ). Voor : het priemgetal deelt , dus volgens het lemma van Euclides geldt of ; herhalen geeft dat een zekere deelt. Maar is priem en : noodzakelijk is . Streep die gemeenschappelijke factor weg (geoorloofd: is een integriteitsdomein) en verkrijg
(het dakje duidt de weglating aan), een gelijkheid van kortere producten; volgens de inductiehypothese vallen de twee lijsten en op de volgorde na samen, en dus ook de oorspronkelijke. De exponentvorm groepeert gelijke priemgetallen. ∎
Propositie 6.16 (Waarderingen)
Schrijf voor priem en het symbool voor de exponent van in de ontbinding van (met als ). Dan is
Bewijs. De eerste identiteit geldt omdat de ontbindingen vermenigvuldigen en de ontbinding van uniek is. Is , schrijf dan en pas haar toe. Omgekeerd, geldt voor alle , dan voldoet het gehele getal aan . De formule voor de ggd: het getal deelt beide volgens het criterium, en elke gemene deler heeft voor alle , dus ; dezelfde redenering voor het kgv met . ∎
Voorbeeld 6.17 (Kwadraten en derde machten via waarderingen)
Een geheel getal is een volkomen kwadraat dan en slechts dan als elke even is (is , dan is ; omgekeerd halveer je elke exponent). Analoog voor derde machten met veelvouden van . Zo is geen kwadraat ( is oneven) en geen derde macht (); het kleinste positieve gehele getal waarvoor wel een derde macht is, vind je door elke exponent tot het volgende veelvoud van aan te vullen:
Het inzicht: multiplicatieve vragen (kwadraten, derde machten, delers, ggd, kgv) worden coördinaatsgewijze vragen over de exponentvectoren — en de uniciteit van de priemontbinding is precies de uitspraak dat die coördinaten bestaan en welbepaald zijn.
6.4 Congruenties
Definitie 6.18
Voor schrijven we wanneer . Dat is een equivalentierelatie die verenigbaar is met optellen en vermenigvuldigen: is en (mod ), dan is , en voor .
Voorbeeld 6.19 (De negenproef)
De verenigbaarheid met en is een controlemiddel dat zo oud is als de handel. Omdat , is elk geheel getal modulo congruent met zijn cijfersom (bewezen als Oefening 6.2). Om de bewering te toetsen: de cijfersommen geven en , dus moet het product zijn; en inderdaad is . De proef slaagt (en het product klopt ook echt). Had iemand gemeld, dan zou de cijfersom hem meteen ontmaskeren. De toets is eenzijdig — ze betrapt een fout tenzij de fout zelf een veelvoud van is — en dat is in het klein precies de les over pseudopriemgetallen uit Voorbeeld 6.24: controles met congruenties weerleggen, ze bewijzen niet.
Propositie 6.20 (Inverteerbaarheid modulo )
is inverteerbaar modulo (dat wil zeggen voor een zekere ) dan en slechts dan als . De inverse is dan uniek modulo en wordt berekend met het uitgebreide algoritme van Euclides.
Bewijs. betekent voor een zekere : een betrekking van Bézout, die bestaat precies wanneer (Gevolg 6.5). Uniciteit: is , dan is . ∎
Voorbeeld 6.21 ( inverteren modulo )
Omdat , is de klasse van inverteerbaar modulo . Uitgebreid Euclides:
en dan achterstevoren:
Bijgevolg is , oftewel ; controle: . Met de inverse in handen los je elke congruentie in één vermenigvuldiging op: . Dit mechanische inverteren is het werkpaard van het modulaire rekenen — en van de protocollen met publieke sleutel die in Opmerking 6.27 genoemd worden, waar de moduli honderden cijfers tellen maar het algoritme exact dit is.
Voorbeeld 6.22 (Wanneer de coëfficiënt niet inverteerbaar is)
Los op. Hier is , dus is niet inverteerbaar modulo — maar de vergelijking blijft hanteerbaar. De congruentie zegt ; deling van de hele betrekking door (een deler van alle drie de ingrediënten) maakt haar equivalent met , oftewel
Nu is en (want ), dus : de oplossingen zijn — vier klassen modulo , overeenkomend met de ggd. (Was het rechterlid niet deelbaar door geweest, zeg , dan was er helemaal geen oplossing: het linkerlid is altijd .) Algemene vorm: is oplosbaar precies wanneer , en heeft dan precies oplossingsklassen — deel alles door de ggd en inverteer.
Stelling 6.23 (Kleine stelling van Fermat)
Zij priem. Voor elke geldt
en is , dan .
Bewijs. Merk eerst op dat voor de binomiaalcoëfficiënt deelbaar is door : immers , en deelt maar is relatief priem met (alle factoren zijn ), zodat het lemma van Gauss geeft.
Bewijs nu voor met inductie. Waar voor . Is , dan geeft het binomium
waarbij alle middelste termen modulo verdwijnen. Voor pas je het resultaat toe op en onderscheid je (waar ) van oneven (waar ). Is ten slotte , dan vermenigvuldig je met een inverse van modulo (Propositie 6.20). ∎
Voorbeeld 6.24 (De omkering van Fermat faalt: )
De kleine stelling van Fermat levert een goedkope toets op samengesteldheid: is voor een zekere die relatief priem is met , dan is niet priem. Zou de toets ook primaliteit kunnen waarborgen? Nee: neem , samengesteld, en . Omdat , is
het samengestelde getal doorstaat de toets van Fermat voor het grondtal (het is het kleinste zulke pseudopriemgetal). Het grondtal ontmaskert het (), en in de praktijk draait een primaliteitstoets daarom op verscheidene grondtallen, plus verfijningen — de industriële versies van dit idee zijn wat de grote priemgetallen uit Opmerking 6.27 waarborgt. Moraal: een implicatie en haar omkering leiden gescheiden levens (Opmerking 1.10), zelfs bij stellingen.
Voorbeeld 6.25 (Praktisch rekenen met congruenties)
Wat is de rest van modulo ? Volgens Fermat is . Omdat , is
De rest is . De strategie: reduceer de exponent modulo de orde die Fermat levert, en reduceer daarna bij elke stap de tussenmachten.
Opmerking 6.26 (Veelgemaakte fouten in de getaltheorie)
- Een congruentie delen. Uit mag je niet besluiten tenzij : er is maar . De juiste algemene regel deelt ook de modulus: .
- Het lemma van Euclides misbruiken. Uit volgt of alleen voor prieme (of voor relatief priem met een van beide factoren): , en toch deelt geen van beide factoren.
- Relatief priem is een relatie, geen eigenschap. “ en zijn relatief priem” is waar hoewel geen van beide priem is; “twee aan twee relatief priem” is sterker dan “in hun geheel relatief priem” (, terwijl geen enkel paar relatief priem is).
- Exponenten leven niet modulo . In mag de exponent alleen modulo de orde van gereduceerd worden (bijvoorbeeld wanneer Fermat van toepassing is), nooit modulo : is , niet — de reductie die wel werkt is die van Voorbeeld 6.25.
Opmerking 6.27 (Waar dit hoofdstuk gebruikt wordt)
Dit hoofdstuk is evenzeer een sjabloon als een gereedschapskist. De hele keten — euclidische deling, ggd, Bézout, Gauss, unieke ontbinding — wordt letterlijk overgespeeld voor veeltermen in Hoofdstuk 8, waar “graad” de rol van de absolute waarde speelt; beide hoofdstukken naast elkaar leggen is de beste manier om ze allebei te begrijpen. Het rekenen met congruenties wordt de ring in Hoofdstuk 7, waarvan de inverteerbare elementen (Propositie 6.20) het eerste niet-triviale voorbeeld van een eenhedengroep vormen. Waarderingen keren terug in de weekendopgave hieronder (de formule van Legendre) en dragen de irrationaliteitsbewijzen van Hoofdstuk 10. Buiten dit volume is inverteren met Bézout modulo de motor van de cryptografie met publieke sleutel, en is de kleine stelling van Fermat de grootvader van de primaliteitstests die de grote priemgetallen daar waarborgen.
Opmerking 6.28 (Tussenspel: als sjabloon)
Doe een stap terug van de afzonderlijke stellingen en bekijk de architectuur van het hoofdstuk: één gereedschap (de euclidische deling) bracht een classificatie voort (de deelgroepen ), die een bestaansstelling voortbracht (ggd, Bézout), die een rekenkunde van de deelbaarheid voortbracht (Gauss), die de unieke ontbinding voortbracht — en elke verdieping rust alleen op de verdieping eronder. Datzelfde gebouw wordt in dit volume nog tweemaal opgetrokken met een andere benedenverdieping: in Hoofdstuk 8, waar delen naar graad het delen naar grootte vervangt en al het bovenstaande zich letterlijk herhaalt; en, in het klein, binnen elke van Hoofdstuk 7, waar vragen over inverteerbaarheid (de Propositie 6.20 van dit hoofdstuk) structurele uitspraken over ringen en lichamen worden. Een argument herkennen als “het -argument, overgeplant” is de snelste manier om die hoofdstukken te leren — en de eerste smaak van de kerngewoonte van de algebra: stellingen bewijzen over axioma’s in plaats van over objecten.
6.5 Oefeningen
Oefening 6.1 ★
Bereken met het algoritme van Euclides, en geef er een paar van Bézout bij.
Oplossing
Oplossing van Oefening 6.1.
; ; ; ; . Dus . Achterstevoren:
Controle: en ; verschil . Paar van Bézout: voor .
Oefening 6.2 ★
Bewijs de deelbaarheidsregels in grondtal : een geheel getal is modulo congruent met de som van zijn cijfers, en modulo met de alternerende som van zijn cijfers. Wat is modulo en modulo ?
Oplossing
Oplossing van Oefening 6.2.
Omdat , is , zodat . Omdat , is , zodat het getal modulo congruent is met de alternerende som (te beginnen bij het cijfer van de eenheden, met teken ).
: cijfersom . Alternerende som vanaf de eenheden: , dus het getal is .
Oefening 6.3 ★
Los op in : (uitgebreid Euclides).
Oplossing
Oplossing van Oefening 6.3.
Euclides: ; ; ; ; ; . Achterstevoren:
Dus : de oplossingen zijn . (Controle: .)
Oefening 6.4 ★
Bepaal alle paren met ; en vervolgens alle paren met .
Oplossing
Oplossing van Oefening 6.4.
: Euclides geeft , , , en achterstevoren
Particuliere oplossing . Algemene oplossing van de homogene vergelijking : , (want en dwingen af — het lemma van Gauss). Bijgevolg is
Voor het rechterlid vermenigvuldig je de particuliere oplossing met : met .
Oefening 6.5 ★★
Bewijs dat voor geldt: . (Gebruik de formules voor waarderingen uit Propositie 6.16 en .)
Oplossing
Oplossing van Oefening 6.5.
Voor elk priemgetal geldt, met en ,
Twee positieve gehele getallen met dezelfde waardering in elk priemgetal zijn gelijk (Propositie 6.16), dus is .
Oefening 6.6 ★★
Zij en . Bereken , en het aantal positieve delers van . (Bewijs de formule voor het aantal delers.)
Oplossing
Oplossing van Oefening 6.6.
Waarderingen: en .
Aantal delers: een positieve deler van is precies een keuze met (Propositie 6.16); de keuzes zijn onafhankelijk, dus zijn er delers. Voor : .
Oefening 6.7 ★★
Bewijs dat irrationaal is voor elk priemgetal , met waarderingen: vergelijk van beide leden van .
Oplossing
Oplossing van Oefening 6.7.
Stel met , oftewel . Pas toe: is oneven, terwijl even is. Eén geheel getal kan niet tegelijk een oneven en een even -waardering hebben: tegenspraak. Dus .
Oefening 6.8 ★★
(Chinees restprobleem) Bepaal alle gehele getallen met
Bewijs onderweg dat voor relatief prieme het paar congruenties , altijd een oplossing heeft, uniek modulo .
Oplossing
Oplossing van Oefening 6.8.
Algemeen feit. Met geeft Bézout . Zet . Dan is en analoog : het bestaan. Zijn en twee oplossingen, dan delen en het getal , dus (Stelling 6.8 (2)): de uniciteit modulo .
Numeriek: , : . Dus . Controle: en . Oplossingen: .
Oefening 6.9 ★★
Bereken modulo , en de laatste twee decimale cijfers van (modulo : gebruik Oefening 6.8).
Oplossing
Oplossing van Oefening 6.9.
Modulo : Fermat geeft , en , dus .
Laatste twee cijfers van : werk modulo en modulo . Modulo is , dus . Modulo is , dus en . Volgens de Chinese reststelling (Oefening 6.8) is : de laatste twee cijfers zijn .
Oefening 6.10 ★★★
Bewijs voor dat . Aanwijzing: toon eerst aan dat de rest van modulo gelijk is aan , waarbij de rest van modulo is; volg dan het algoritme van Euclides.
Oplossing
Oplossing van Oefening 6.10.
Schrijf met . Dan is
en deelt . Dus is modulo het getal , en omdat is dat de euclidische rest.
Bijgevolg spiegelt het algoritme van Euclides op het paar exponent voor exponent het algoritme op : elke delingsstap vervangt boven door en beneden door . Boven eindigt het algoritme in , dus beneden in .
Oefening 6.11 ★★★
(Stelling van Wilson) Zij priem. Bewijs dat
door elke factor van met haar inverse modulo te koppelen en de factoren aan te wijzen die met zichzelf gekoppeld worden (los eerst op). Ga de omkering na: is niet priem, dan is .
Oplossing
Oplossing van Oefening 6.11.
Los eerst op: , dus volgens het lemma van Euclides is of .
In het product is elke factor inverteerbaar modulo , en haar inverse is opnieuw een van de factoren (Propositie 6.20). Koppel elke aan : de paren hebben product , behalve de factoren die met zichzelf gekoppeld worden (, oftewel ) — en dat zijn precies en . Bijgevolg is
(Voor : ; het koppelargument ontaardt, maar het resultaat blijft gelden.)
Omkering. Zij samengesteld, met . Is , dan komen beide als verschillende factoren van voor, dus en . Is (dus ): voor zijn zowel als kleiner dan , zodat , met dezelfde conclusie; voor is .
Oefening 6.12 ★★★
(Getallen van Fermat) Zet voor het getal .
- Bewijs dat voor (inductie).
- Leid af dat de getallen van Fermat twee aan twee relatief priem zijn.
- Leid daaruit een tweede bewijs af, onafhankelijk van Stelling 6.14, dat er oneindig veel priemgetallen zijn.
Oplossing
Oplossing van Oefening 6.12.
Inductie. Voor : . Neem aan, dan is
- Zij en . Volgens (1) deelt het getal , dus deelt zowel als en dus ook . Maar elk getal van Fermat is oneven, dus .
- Elke heeft een priemdeler (de eerste stap van Stelling 6.14). Is , dan is , want een gemeenschappelijk priemgetal zou delen. De afbeelding is dus injectief van in de priemgetallen: er zijn oneindig veel priemgetallen.
6.6 Opgave: de formule van Legendre en de overdrachten van Kummer
Probleem 6.1
Op hoeveel nullen eindigt de decimale schrijfwijze van — en, dieper, wat is de exacte macht van een priemgetal die deelt, of die een binomiaalcoëfficiënt deelt? De volledige antwoorden zijn twee juwelen van de elementaire getaltheorie: de formule van Legendre , met haar digitale tegenhanger , en de stelling van Kummer: telt de overdrachten bij het optellen van en in grondtal . Deze opgave bewijst beide, toetst ze numeriek aan elkaar, en oogst de klassieke gevolgen — nullen aan het einde, de pariteit van de driehoek van Pascal, en een eerste afschatting in de richting van de priemgetalstelling. Overal is priem, is het geheel deel, en noteert de som van de cijfers van geschreven in grondtal .
Deel I — Gehele delen, waarderingen en de formule van Legendre.
- Opwarmer: bereken en lees af op hoeveel nullen het eindigt; bereken en rechtstreeks uit de ontbinding van elke factor .
- Bewijs dat voor en geldt .
- Bewijs dat voor alle , met gelijkheid zodra .
- Toon aan dat het aantal veelvouden van in gelijk is aan .
Bewijs de formule van Legendre: voor elke geldt
(een eindige som: de termen verdwijnen zodra ). Tel voor elke de factoren van die door deelbaar zijn: elke draagt precies één eenheid bij per niveau dat ze haalt.
Deel II — De digitale vorm en de nullen aan het einde.
- Bereken en en besluit: op hoeveel nullen eindigt ?
Bewijs de digitale vorm van de formule van Legendre: schrijf je in grondtal , dan is
- Twee gevolgen voor : toon aan dat het getal nooit deelt, en dat het getal precies dan deelt wanneer een macht van is.
- Schat het tekort af: toon aan dat , zodat : op de lange duur groeit er per eenheid een aandeel van een factor aan.
- Zij het aantal nullen waarop eindigt. Toon aan dat , leid af dat de waarde volledig overslaat (bereken en ), en bewijs dat geen enkele faculteit op precies vijf nullen eindigt.
Deel III — De stelling van Kummer.
Bewijs dat voor alle , en leid uit de formule van Legendre af dat
een som waarvan elke term of is.
- Bewijs de stelling van Kummer: de -de term van die som is gelijk aan precies wanneer het optellen van en in grondtal een overdracht naar positie voortbrengt; dus telt het totale aantal overdrachten. (Schrijf en met en bekijk .)
Leid af dat voor geldt
door de overdrachten in de optelling te tellen. (In het bijzonder voor : de sleutelstap van Stelling 6.23, teruggevonden.)
- Bewijs dat . Leid af dat de centrale binomiaalcoëfficiënt altijd even is, en dat precies wanneer een macht van is.
- Toon met de identiteit van Vandermonde (Oefening 2.7) en vraag 13 aan dat voor elk priemgetal .
- Bereken tweemaal: één keer met Kummer (schrijf in grondtal en tel de overdrachten in ), één keer met de digitale vorm van Legendre (bereken en ); ga na dat beide dezelfde waarde geven.
Deel IV — De pariteit van de driehoek van Pascal, en een afschatting van de priemdichtheid.
- Bewijs het cijfercriterium: is oneven dan en slechts dan als elk binair cijfer van hoogstens gelijk is aan het overeenkomstige cijfer van . Formuleer en bewijs het analoge criterium voor in grondtal .
- Leid af dat rij van de driehoek van Pascal precies oneven getallen bevat; ga dat na op de rijen en .
- Leid af dat alle inwendige getallen () even zijn dan en slechts dan als een macht van is.
- Bewijs dat elke priemmacht die deelt hoogstens is: uit volgt . (Hoeveel termen van de som uit vraag 11 kunnen ongelijk aan nul zijn?)
Leid af dat het getal deelt, en combineer dat met de ondergrens (die je bewijst: het centrale getal is het grootste van de getallen van rij ) om
te verkrijgen: de gemene veelvouden van de eerste gehele getallen groeien exponentieel — een eerste kwantitatieve blik op de overvloed aan priemgetallen.
Deel V — Synthese.
- Bepaal de kleinste waarvoor op minstens nullen eindigt. (Schat en corrigeer met de exacte formule.)
- Nog een laatste kruiscontrole: toon aan dat het getal niet deelt, eerst door in grondtal te schrijven en na te gaan dat de optelling geen overdrachten kent, en daarna door en met de formule van Legendre te berekenen.
- Waar precies gebruikte de opgave: (i) de unieke priemontbinding; (ii) de ontbinding uit de euclidische deling; (iii) een telargument uit Hoofdstuk 2? Eén zin per onderdeel.
- Synthese, in een korte alinea: de formule van Legendre zet een vraag over deelbaarheid om in rekenen met cijfers, en de stelling van Kummer leest het antwoord af aan de overdrachten van één optelling — becommentarieer die vertaling, de controles van vraag 16, en wat de afschatting van vraag 21 over priemgetallen suggereert (de volledige uitspraak, de priemgetalstelling, ligt ver buiten dit volume; de tegenhanger van de gereedschapskist van dit hoofdstuk voor veeltermen is Hoofdstuk 8).
Oplossing
Oplossing van Probleem 6.1.
1. : twee nullen aan het einde. Waarderingen factor voor factor: machten van komen van , samen ; machten van van en : . Aantal nullen , in overeenstemming.
2. Schrijf de euclidische deling met . Dan is met , dus .
3. Zij (verwissel zo nodig) en schrijf en met . Dan is , dus . Is , dan is het haakje : de waardering is precies .
4. De veelvouden van in zijn , waarbij het grootste gehele getal met is, oftewel .
5. Wegens de unieke ontbinding is . Tel het anders: elke draagt bij, dus
wegens vraag 4 — de formule van Legendre. De som is eindig: termen met verdwijnen.
6. (delingen door ); . Nullen aan het einde van : elke nul verbruikt één en één , dus zijn er .
7. Met geeft vraag 2 dat (knot de ontwikkeling in grondtal af). Sommeren over en de twee eindige sommen verwisselen geeft
8. Voor is . Omdat voldoet aan , is altijd : . En precies wanneer , dat wil zeggen wanneer een macht van is.
9. heeft cijfers in grondtal , elk hoogstens , dus . Substitutie in vraag 7 geeft
en na deling door : .
10. : het aantal nullen springt met bij elk veelvoud van en is daartussen constant. Er is en : in springt het aantal van meteen naar (), en omdat niet-dalend is met ervoor en erna, wordt de waarde nooit bereikt: geen enkele faculteit eindigt op precies vijf nullen.
11. Schrijf : dan is , en maakt dat laatste geheel deel of . Vervolgens geeft Legendre, driemaal toegepast,
een eindige som van nullen en enen (pas de eerste bewering toe op en ).
12. Leg vast en schrijf en met (euclidische deling: is het getal gevormd door de laagste cijfers van ). Dan is
wat is als en anders . Maar zegt precies dat het optellen van de laagste cijfers van en overloopt naar positie — een overdracht naar positie in het gewone optelalgoritme. Sommeren over geeft: is het aantal overdrachten in de optelling in grondtal . (Kummer, 1852.)
13. Pas Kummer toe met en , met som . Zij , zodat de cijfers van in grondtal op de posities nul zijn en het cijfer op positie niet nul is. De cijfers van onder positie zijn eveneens nul (). Op positie moeten de twee cijfers ongelijk aan nul samen opleveren (resultaatcijfer ): één overdracht; op elke positie leveren de cijfers plus de binnenkomende overdracht samen (opnieuw resultaatcijfer ): de overdracht plant zich voort. In totaal overdrachten, dus . Voor : voor , de deelbaarheid die in Stelling 6.23 gebruikt werd.
14. Met de digitale vorm (vraag 7) en (er komt alleen een cijfer nul bij):
is altijd even, en (dat wil zeggen ) precies wanneer , dus wanneer een macht van is.
15. Vandermonde met : . Voor is (vraag 13), dus ; de randtermen geven : .
16. In grondtal : , met cijfers (laag naar hoog) , dus ; en , met cijfers , dus . Kummer: tel op in grondtal : positie : , cijfer met overdracht ; positie : , cijfer met overdracht ; positie : , cijfer met overdracht ; positie : , geen overdracht; positie : ; positie : , cijfer met overdracht ; positie : de overdracht landt, cijfer . Vier overdrachten: . Legendre: en , dus . Beide berekeningen komen overeen — en de cijfers van de optelling geven terug, zoals het hoort.
17. Volgens Kummer (, , ) is oneven precies wanneer de optelling in grondtal geen overdracht kent, dat wil zeggen wanneer op elke positie ; in dat geval is voor alle . Omgekeerd, is voor alle , dan is het getal met cijfers gelijk aan en verloopt de optelling zonder overdracht. Hetzelfde bewijs in grondtal : precies wanneer elk cijfer van in grondtal hoogstens gelijk is aan het overeenkomstige cijfer van .
18. Tellen we de waarvan de cijfers voldoen aan : elk cijfer van wordt onafhankelijk uit waarden gekozen, wat keuzes geeft; in grondtal is dat . Rij : oneven getallen — inderdaad heeft alleen aan de randen oneven getallen. Rij : — inderdaad .
19. Alle inwendige getallen even de rij bevat precies oneven getallen (de twee randen zijn altijd oneven) is een macht van .
20. In de som van vraag 11 verdwijnt de -de term zodra (alle drie de gehele delen zijn dan gelijk; eenvoudiger nog: elke term is dan ). Hoogstens termen zijn dus ongelijk aan nul, elk ter waarde : , oftewel .
21. Voor elk priemgetal is (de grootste macht van die niet overtreft komt onder voor). Vraag 20 met geeft voor elke : volgens Propositie 6.16 is dus . Voor de grootte: de verhouding precies voor , zodat het centrale getal het grootste van de getallen van rij is, waaruit . Samen:
Waren er weinig priemgetallen onder , dan kon het kgv niet zo groot zijn: de exponentiële groei van het kgv is een kwantitatief spoor van de overvloed aan priemgetallen.
22. , dus mik je rond : . Stap op met veelvouden van : , , en
Omdat tussen veelvouden van constant is en , is de kleinste met minstens nullen aan het einde .
23. In grondtal : , met cijfers (laag naar hoog) . Optellen van : positie : , geen overdracht; positie : ; positie : , geen overdracht. Zonder overdrachten, dus volgens Kummer is : . Legendre bevestigt dat: en , dus .
24. (i) De unieke priemontbinding ligt onder de definitie van en haar additiviteit, en dus onder de formule van Legendre en elke conclusie over deelbaarheid (Propositie 6.16). (ii) De euclidische deling leverde de afknottingsidentiteit van vraag 2 en de splitsing die de overdracht isoleert (vraag 12). (iii) Tellen: het aantal veelvouden van (vraag 4), het product van cijferkeuzes (vraag 18) en de afschatting voor de rijsom (vraag 21) zijn alle argumenten in de stijl van Hoofdstuk 2.
25. Legendre zet “welke macht van deelt ” om in rekenen met cijfers in grondtal ; Kummer perst het antwoord voor binomiaalcoëfficiënten samen tot de overdrachten van één enkele optelling — deelbaarheid, ogenschijnlijk een globale eigenschap van reusachtige getallen, wordt lokaal afgelezen, cijfer voor cijfer. Vraag 16 is het paradigma: vier overdrachten, met de hand berekend, leggen de exacte macht van vast in een getal met honderden cijfers. En vraag 21 laat zien hoe dezelfde ideeënkring diep water raakt: een exponentiële ondergrens voor is een eerste, volledig elementaire stap in de richting van de priemgetalstelling, waarvan het bewijs ver buiten dit volume ligt. De hele gereedschapskist — deling, ggd, waarderingen — wordt voor veeltermen overgespeeld in Hoofdstuk 8, waar de tegenhanger van een cijferontwikkeling de ontwikkeling naar machten van is.