Universitaire wiskunde — Bachelor jaar 1 · Bachelor Year 1
6Getaltheorie in de gehele getallen
Getaltheorie — de studie van deelbaarheid in — werd begonnen in het Middelbaar-onderwijsvolume. 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, priemontbinding, en de rekenkunde van congruenties tot en met de kleine stelling van Fermat. Naast haar eigen bekoring is dit materiaal het model dat Hoofdstuk 8 nabootst voor veeltermen.
6.1 Deelbaarheid en euclidische deling
Definitie 6.1 (Deelbaarheid)
Voor deelt het getal (genoteerd ) wanneer voor een zekere . Basisgevolgen: als en dan voor alle ; als en dan ; en samen met dwingen af.
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. Als , dan zou een kleiner element van zijn: tegenspraak. Dus .
Uniciteit. Als met , dan en : het veelvoud van in het linkerlid moet zijn, dus en . ∎
Voorbeeld 6.3 (Positionele getalnotatie door herhaalde deling)
Schrijf in grondtal . Deel herhaaldelijk door , en houd de resten bij:
Lees de resten van laatste naar eerste: . Controle: . De uniciteit van de euclidische deling is precies wat elk cijfer afdwingt: bij elke stap is de rest het enige geheel getal in congruent met de huidige waarde mod , dus de schrijfwijze in grondtal is uniek — het feit dat stilzwijgend gebruikt wordt telkens wanneer het weekendprobleem “de cijfers van in grondtal ” manipuleert.
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 niet beide nul is de verzameling een deelgroep van , en dus gelijk aan voor een unieke . Deze is de grootste gemene deler : ze deelt en , en elke gemene deler van en deelt .
Bewijs. (1) Zij een deelgroep (niet-leeg, stabiel onder aftrekking; de formele definitie staat in Hoofdstuk 7, en enkel deze twee eigenschappen worden gebruikt). Als , neem . Anders bevat een niet-nul element en zijn tegengestelde, dus een kleinste strikt positief element . Dan . Voor , schrijf met (Stelling 6.2); , en de minimaliteit van dwingt af: . Uniciteit: is het kleinste positieve element van .
(2) bevat en is stabiel onder aftrekking, dus het is met (het bevat of niet-nul). Aangezien , deelt beide. En als zowel als deelt, dan deelt elke — in het bijzonder , aangezien . Dit is de aangekondigde eigenschap (en ze impliceert , zodat de naam grootste gemene deler verdient). ∎
Gevolg 6.5 (Identiteit van Bézout)
Voor niet beide nul bestaan er met
In het bijzonder (, het relatief priem geval): en zijn relatief priem als en slechts als een oplossing heeft.
Bewijs. . Voor de equivalentie: als , levert Bézout de oplossing; omgekeerd dwingt elke gemene deler van af om te delen. ∎
Methode 6.6 (Algoritme van Euclides, uitgebreid)
Om te berekenen (): deel ; dan is (de gemene delers van en van vallen samen, aangezien ); herhaal totdat de rest is; de laatste niet-nul rest is de ggd. Door de delingen achterwaarts te doorlopen (of de coëfficiënten bij te houden op de weg naar beneden) verkrijg je een Bézout-paar .
Voorbeeld 6.7
: ; ; ; ; . Dus . Achterwaarts:
Controle: , .
Stelling 6.8 (Lemma van Gauss en gevolgen)
Zij .
- (Lemma van Gauss) Als en , dan .
- Als , en , dan .
- Als , dan .
Bewijs. (1) Bézout: . Vermenigvuldig met : . Beide termen zijn deelbaar door (de tweede omdat ), dus .
(2) Schrijf ; uit en geeft punt (1) , dus .
(3) en . Vermenigvuldig de twee betrekkingen:
een Bézout-betrekking tussen en : volgens Gevolg 6.5 is . ∎
Voorbeeld 6.9 (Een lineaire diophantische vergelijking oplossen)
Vind alle met . Eerst de bestaanstoets: deelt , dus er bestaan oplossingen (als de ggd het rechterlid niet zou delen, zou het linkerlid altijd een veelvoud ervan zijn en zouden er geen zijn). Deel door: . Een particuliere oplossing is zichtbaar: . Voor de algemene, trek af: , dus , en het lemma van Gauss () geeft : , en dan . Omgekeerd werkt elk zulk paar:
Het patroon is algemeen: één particuliere oplossing plus de gehele veelvouden van — dezelfde “particulier plus homogeen”-structuur 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 ,
Voorbeeld 6.11 (Uitlijningsproblemen zijn kgv-problemen)
Twee in elkaar grijpende tandwielen hebben en tanden. Na hoeveel tanden van gemeenschappelijke beweging keren ze samen terug naar hun beginpositie? De configuratie herhaalt zich wanneer het aantal verstreken tanden een gemeen veelvoud is van en ; de eerste keer is
tanden — dat wil zeggen omwentelingen van het grote tandwiel en van het kleine ( en ). Merk de praktische weg op: bereken eerst de ggd (Euclides: , ), en deel dan — bouw het kgv nooit op door veelvouden op te sommen. Elke periodiek-samenvallingsvraag (tandwielen, planetaire uitlijningen, samenvallende repeterende decimalen) herleidt zich tot deze ene berekening.
6.3 Priemgetallen
Definitie 6.12
Een geheel getal is priem wanneer zijn enige positieve delers en zijn. Voor priem en : ofwel , ofwel . Bijgevolg (Stelling 6.8) geldt Euclides’ lemma: als dan of .
Opmerking 6.13 (Priemtoets door proefdeling)
Als met , dan , dus : een samengesteld getal heeft altijd een priemdeler . Om te toetsen of priem is volstaat het dus de priemgetallen tot te proberen. Voor : , en is door geen van deelbaar (oneven, cijfersom , eindigt niet op of , ): priem, na zes delingen in plaats van tweehonderd. De -barrière is een echte drempel: die efficiënt overschrijden voor honderdcijferige getallen vereist de moderne priemtoetsen die zijn voortgekomen uit Stelling 6.23.
Stelling 6.14 (Euclides)
Er zijn oneindig veel priemgetallen.
Bewijs. Elk geheel getal heeft een priemdeler: zijn kleinste deler is priem (een echte ontbinding ervan zou een kleinere deler van opleveren). Veronderstel nu dat alle priemgetallen waren, en zij . Een zeker priemgetal deelt ; maar deelt ook , dus — absurd. ∎
Stelling 6.15 (Hoofdstelling van de getaltheorie)
Elk geheel getal is een product van priemgetallen, en de ontbinding
is uniek.
Bewijs. Bestaan door sterke inductie (Stelling 1.12): is priem; voor is ofwel priem, ofwel met , en de inductiehypothese ontbindt en .
Uniciteit. Veronderstel (priemgetallen opgesomd met herhaling, zeg ), en pas inductie toe op . Als is het linkerlid , wat afdwingt (een niet-leeg product van priemgetallen is groter dan ). Voor : het priemgetal deelt , dus volgens Euclides’ lemma ofwel ofwel ; door herhaling deelt een zekere . Maar is priem en : noodzakelijk . Schrap deze gemene factor (geoorloofd: is een integriteitsdomein) om
te verkrijgen (de hoed markeert weglating), een gelijkheid van kortere producten; de inductiehypothese zegt dat de twee lijsten en op volgorde na samenvallen, en dus deden de oorspronkelijke dat ook. De exponentvorm groepeert gelijke priemgetallen. ∎
Propositie 6.16 (Valuaties)
Voor priem en , schrijf voor de exponent van in de ontbinding van (met als ). Dan
Bewijs. De eerste identiteit geldt omdat de ontbindingen vermenigvuldigen en de ontbinding van uniek is. Als , schrijf en pas ze toe. Omgekeerd, als alle , voldoet het geheel getal aan . De ggd-formule: het geheel 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 derdemachten via valuaties)
Een geheel getal is een volkomen kwadraat als en slechts als elke even is (als , dan ; omgekeerd halveer elke exponent). Evenzo voor derdemachten met veelvouden van . Zo is geen kwadraat ( is oneven) en geen derdemacht (); het kleinste positieve geheel getal zodanig dat wel een derdemacht is, wordt gevonden door elke exponent aan te vullen tot het volgende veelvoud van :
Het inzicht: multiplicatieve vragen (kwadraten, derdemachten, delers, ggd, kgv) worden coördinaatsgewijze vragen over de exponentvectoren — unieke ontbinding is de uitspraak dat deze coördinaten bestaan en goed gedefinieerd zijn.
6.4 Congruenties
Definitie 6.18
Voor : wanneer . Dit is een equivalentierelatie verenigbaar met optelling en vermenigvuldiging: als en (mod ), dan , , en voor .
Voorbeeld 6.19 (De negenproef)
Verenigbaarheid met en is een controlemiddel zo oud als de handel. Aangezien , is elk geheel getal congruent mod met zijn cijfersom (bewezen als Oefening 6.2). Om de bewering te controleren: cijfersommen geven en , dus het product moet zijn; en inderdaad . De controle slaagt (en het product is in feite correct). Had iemand gerapporteerd, dan zou de cijfersom hem onmiddellijk ontmaskeren. De toets is eenzijdig — hij vangt een fout op tenzij de fout zelf een veelvoud van is — wat precies de pseudopriemles is van Voorbeeld 6.24 in het klein: congruentiecontroles weerleggen, ze certificeren niet.
Propositie 6.20 (Inverteerbaarheid mod )
is inverteerbaar mod (d.w.z. voor een zekere ) als en slechts als . De inverse is dan uniek mod en wordt berekend met het uitgebreide algoritme van Euclides.
Bewijs. betekent voor een zekere : een Bézout- betrekking, die bestaat asa (Gevolg 6.5). Uniciteit: als , dan . ∎
Voorbeeld 6.21 ( inverteren modulo )
Aangezien is de klasse van inverteerbaar mod . Uitgebreide Euclides:
en dan achterwaarts:
Dus , d.w.z. ; controle: . Met de inverse in de hand wordt elke congruentie opgelost in één vermenigvuldiging: . Deze mechanische inversie is het werkpaard van de modulaire rekenkunde — en van de publieke-sleutelprotocollen vermeld in Opmerking 6.27, waar de moduli honderden cijfers hebben maar het algoritme precies dit is.
Voorbeeld 6.22 (Wanneer de coëfficiënt niet inverteerbaar is)
Los op. Hier is , dus is niet inverteerbaar mod — maar de vergelijking is nog steeds oplosbaar. De congruentie zegt ; door de hele betrekking door te delen (deler van alle drie de ingrediënten), is ze equivalent met , d.w.z.
Nu is en (), dus : de oplossingen zijn — vier klassen mod , overeenstemmend met de ggd. (Was het rechterlid niet deelbaar door , zeg , dan zou er helemaal geen oplossing zijn: het linkerlid is altijd .) Algemene vorm: is oplosbaar asa , en heeft dan precies oplossingsklassen — deel alles door de ggd en inverteer.
Stelling 6.23 (Kleine stelling van Fermat)
Zij priem. Voor elke :
en als , dan .
Bewijs. Eerst, voor , is de binomiaalcoëfficiënt deelbaar door : inderdaad en deelt maar is relatief priem met (alle factoren zijn ), dus het lemma van Gauss geeft .
Bewijs nu voor door inductie. Waar voor . Als , dan volgens het binomium van Newton
waarbij alle middelste termen verdwijnen mod . Voor , pas het resultaat toe op en scheid (waar ) van oneven (waar ). Ten slotte, als , vermenigvuldig met een inverse van mod (Propositie 6.20). ∎
Voorbeeld 6.24 (Fermats omkering faalt: )
De kleine stelling van Fermat geeft een goedkope samengesteldheidstoets: als voor een zekere relatief priem met , dan is niet priem. Zou de toets ook priemheid kunnen certificeren? Nee: neem , samengesteld, en . Aangezien ,
het samengestelde getal doorstaat Fermats toets voor het grondtal (het is het kleinste zulke pseudopriemgetal). Het grondtal ontmaskert het (), en praktische priemtoetsing draait de toets daarom op verscheidene grondtallen, plus verfijningen — de industriële versies van dit idee zijn wat de grote priemgetallen van Opmerking 6.27 certificeert. Moraal: een implicatie en haar omkering leiden een gescheiden leven (Opmerking 1.10), zelfs voor stellingen.
Voorbeeld 6.25 (Praktische congruentieberekeningen)
Wat is de rest van mod ? Volgens Fermat, . Aangezien :
De rest is . De strategie: herleid de exponent modulo de orde geleverd door Fermat, en herleid dan tussentijdse machten bij elke stap.
Opmerking 6.26 (Veelvoorkomende valkuilen in de getaltheorie)
- Een congruentie delen. Uit mag men niet besluiten tenzij : maar . De juiste algemene regel deelt ook de modulus: .
- Euclides’ lemma verkeerd gebruiken. impliceert of enkel voor priem (of relatief priem met één factor): maar deelt geen van beide factoren.
- Relatief priem is een relatie, geen eigenschap. “ en zijn relatief priem” is waar hoewel geen van beide priem is; “paarsgewijs relatief priem” is sterker dan “globaal relatief priem” ( maar geen enkel paar is relatief priem).
- Exponenten leven niet mod . In mag de exponent enkel herleid worden modulo de orde van (bijvoorbeeld wanneer Fermat van toepassing is), nooit modulo : is , niet — de herleiding die werkt is die welke Voorbeeld 6.25 uitvoert.
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 herhaald voor veeltermen in Hoofdstuk 8, waar “graad” de rol van absolute waarde speelt; de twee hoofdstukken naast elkaar vergelijken is de beste manier om beide te begrijpen. De congruentierekening wordt de ring in Hoofdstuk 7, wier inverteerbare elementen (Propositie 6.20) het eerste niet-triviale voorbeeld vormen van een groep van eenheden. Valuaties keren terug in het weekendprobleem hieronder (de formule van Legendre) en voeden de irrationaliteitsbewijzen van Hoofdstuk 10. Buiten dit volume is Bézout-inversie mod de motor van de publieke-sleutelcryptografie, en de kleine stelling van Fermat is de grootvader van de priemtoetsen die de grote priemgetallen certificeren die daar gebruikt worden.
Opmerking 6.28 (Intermezzo: als sjabloon)
Doe een stap terug van de individuele stellingen en observeer de architectuur van het hoofdstuk: één gereedschap (euclidische deling) bracht een classificatie voort (deelgroepen ), die een bestaansstelling voortbracht (ggd, Bézout), die een deelbaarheidsrekening voortbracht (Gauss), die unieke ontbinding voortbracht — elke verdieping rust enkel op de verdieping eronder. Hetzelfde gebouw zal nog tweemaal opgetrokken worden in dit volume met verschillende benedenverdiepingen: in Hoofdstuk 8, waar deling door graad de deling door grootte vervangt en alles daarboven zich letterlijk herhaalt; en, in het klein, binnen elke van Hoofdstuk 7, waar inverteerbaarheidsvragen (het 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 voorproef 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 een Bézout- paar ervoor.
Oplossing
Oplossing van Oefening 6.1.
; ; ; ; . Dus . Achterwaarts:
Controle: en ; verschil . Bézout-paar: voor .
Oefening 6.2 ★
Bewijs de deelbaarheidsregels in grondtal : een geheel getal is congruent mod met de som van zijn cijfers, en mod met de alternerende som van zijn cijfers. Wat is mod en mod ?
Oplossing
Oplossing van Oefening 6.2.
Aangezien : , dus . Aangezien : , dus het geheel getal is congruent met de alternerende som mod (te beginnen bij het eenhedencijfer met teken ).
: cijfersom . Alternerende som vanaf de eenheden: , dus het getal is .
Oefening 6.3 ★
Los op in : (uitgebreide Euclides).
Oplossing
Oplossing van Oefening 6.3.
Euclides: ; ; ; ; ; . Achterwaarts:
Dus : de oplossingen zijn . (Controle: .)
Oefening 6.4 ★
Vind alle paren met ; en dan alle paren met .
Oplossing
Oplossing van Oefening 6.4.
: Euclides geeft , , , en achterwaarts
Particuliere oplossing . Algemene oplossing van de homogene vergelijking : , (aangezien en afdwingen — lemma van Gauss). Bijgevolg
Voor het rechterlid , vermenigvuldig de particuliere oplossing met : , .
Oefening 6.5 ★★
Bewijs dat voor : . (Gebruik de valuatieformules van Propositie 6.16 en .)
Oplossing
Oplossing van Oefening 6.5.
Voor elk priemgetal , met en :
Twee positieve gehele getallen met dezelfde valuatie bij elk priemgetal zijn gelijk (Propositie 6.16), dus .
Oefening 6.6 ★★
Zij en . Bereken , , en het aantal positieve delers van . (Bewijs de delertellingsformule .)
Oplossing
Oplossing van Oefening 6.6.
Valuaties: ; .
Delertelling: 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 behulp van valuaties: vergelijk van beide leden van .
Oplossing
Oplossing van Oefening 6.7.
Veronderstel met , d.w.z. . Pas toe: is oneven, terwijl even is. Een geheel getal kan niet tegelijk een oneven en een even -valuatie hebben: tegenspraak. Dus .
Oefening 6.8 ★★
(Chinees restprobleem) Vind alle gehele getallen met
Bewijs onderweg dat voor relatief prieme het paar congruenties , altijd een oplossing heeft, uniek mod .
Oplossing
Oplossing van Oefening 6.8.
Algemeen feit. Met geeft Bézout . Stel . Dan en analoog : bestaan. Als en twee oplossingen zijn, delen en het getal , dus (Stelling 6.8 (2)): uniciteit mod .
Numeriek: , : . Dus . Controle: ; . Oplossingen: .
Oefening 6.9 ★★
Bereken mod , en de laatste twee decimale cijfers van (mod : gebruik Oefening 6.8).
Oplossing
Oplossing van Oefening 6.9.
Mod : Fermat geeft , en , dus .
Laatste twee cijfers van : werk mod en mod . Mod : , dus . Mod : , dus en . Volgens de Chinese reststelling (Oefening 6.8), : de laatste twee cijfers zijn .
Oefening 6.10 ★★★
Bewijs voor dat . Hint: toon eerst dat de rest van mod gelijk is aan waarbij de rest is van mod ; volg dan het algoritme van Euclides.
Oplossing
Oplossing van Oefening 6.10.
Schrijf , . Dan
en deelt . Dus mod , , en aangezien , is dit de euclidische rest.
Bijgevolg weerspiegelt het algoritme van Euclides op het paar , exponent na exponent, het algoritme op : elke delingsstap vervangt door boven en door beneden. Het algoritme boven eindigt bij , dus beneden eindigt het bij .
Oefening 6.11 ★★★
(Stelling van Wilson) Zij een priemgetal. Bewijs dat
door elke factor van te koppelen aan zijn inverse mod en de zelfgekoppelde factoren te identificeren (los eerst op). Controleer de omkering: als niet priem is, dan .
Oplossing
Oplossing van Oefening 6.11.
Los eerst op: , dus volgens Euclides’ lemma of .
In het product is elke factor inverteerbaar mod , en zijn inverse is opnieuw een van de factoren (Propositie 6.20). Koppel elke aan : de paren vermenigvuldigen tot , behalve dat de zelfgekoppelde factoren (, d.w.z. ) alleen staan — en dit zijn precies en . Bijgevolg
(Voor : ; het koppelingsargument ontaardt maar het resultaat blijft gelden.)
Omkering. Zij samengesteld, met . Als , verschijnen beide als verschillende factoren van , dus en . Als (d.w.z. ): voor zijn zowel als , dus , dezelfde conclusie; voor , .
Oefening 6.12 ★★★
(Fermat-getallen) Voor , zij .
- Bewijs dat voor (inductie).
- Leid af dat de Fermat-getallen paarsgewijs relatief priem zijn.
- Leid een tweede bewijs af, onafhankelijk van Stelling 6.14, dat er oneindig veel priemgetallen zijn.
Oplossing
Oplossing van Oefening 6.12.
Inductie. Voor : . Aannemend :
- Zij en . Volgens (1) deelt het getal , dus deelt zowel als , en deelt dus . Maar elk Fermat-getal is oneven, dus .
- Elke heeft een priemdeler (de eerste stap van Stelling 6.14). Als , dan , aangezien een gemeen priemgetal zou delen. De afbeelding is daarom injectief van naar de priemgetallen: er zijn oneindig veel priemgetallen.
6.6 Probleem: 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 gedaante , en de stelling van Kummer: telt de overdrachten bij het optellen van en in grondtal . Dit probleem bewijst beide, controleert ze numeriek tegen elkaar, en oogst de klassieke gevolgen — eindnullen, de pariteit van de driehoek van Pascal, en een eerste afschatting in de richting van de priemgetalstelling. Overal is een priemgetal, het gehele deel, en duidt de som aan van de cijfers van geschreven in grondtal .
Deel I — Gehele delen, valuaties en de formule van Legendre.
- Opwarmer: bereken en lees zijn aantal eindnullen af; bereken en rechtstreeks uit de ontbinding van elke factor .
- Bewijs dat voor en , .
- Bewijs dat voor alle , met gelijkheid telkens wanneer .
- Toon dat het aantal veelvouden van in gelijk is aan .
Bewijs de formule van Legendre: voor elke ,
(een eindige som: de termen verdwijnen zodra ). Tel, voor elke , de factoren van die deelbaar zijn door : elke draagt precies één eenheid bij per niveau dat ze bereikt.
Deel II — De digitale vorm en de eindnullen.
- Bereken en , en besluit: op hoeveel nullen eindigt ?
Bewijs de digitale vorm van de formule van Legendre: schrijf in grondtal ,
- Twee gevolgen voor : toon dat nooit deelt, en dat precies dan deelt wanneer een macht van is.
- Schat het tekort af: toon , zodat : op de lange duur komt een aandeel van één factor per eenheid bij.
- Zij het aantal eindnullen van . Toon , leid af dat de waarde volledig overslaat (bereken en ), en bewijs dat geen enkele faculteit eindigt op precies vijf nullen.
Deel III — De stelling van Kummer.
Bewijs dat voor alle , en leid uit de formule van Legendre af dat
een som van termen elk gelijk aan of .
- Bewijs de stelling van Kummer: de -de term van die som is gelijk aan precies wanneer de optelling van en in grondtal een overdracht naar positie voortbrengt; dus is het totale aantal overdrachten. (Schrijf en met en inspecteer .)
Leid af dat voor :
door de overdrachten te tellen in de optelling . (In het bijzonder voor : de sleutelstap van Stelling 6.23, herwonnen.)
- 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, dat voor elk priemgetal .
- Bereken tweemaal: eenmaal via Kummer (schrijf in grondtal en tel de overdrachten in ), eenmaal via de digitale vorm van Legendre (bereken en ); controleer dat beide dezelfde waarde geven.
Deel IV — De pariteit van de driehoek van Pascal, en een priemdichtheidsafschatting.
- Bewijs het cijfercriterium: is oneven als en slechts als elk binair cijfer van ten hoogste het overeenkomstige cijfer van is. Formuleer en bewijs het analoge criterium voor in grondtal .
- Leid af dat rij van de driehoek van Pascal precies oneven elementen bevat; verifieer op rijen en .
- Leid af dat alle inwendige elementen () even zijn als en slechts als een macht van is.
- Bewijs dat elke priemmacht die deelt ten hoogste is: als dan . (Hoeveel niet-nul termen kan de som van vraag 11 hebben?)
Leid af dat het getal deelt, en combineer met de ondergrens (die je zult bewijzen: het centrale element is het grootste van de elementen van rij ) om
te verkrijgen: de gemene veelvouden van de eerste gehele getallen groeien exponentieel — een eerste kwantitatieve glimp van de overvloed aan priemgetallen.
Deel V — Synthese.
- Vind de kleinste zodanig dat eindigt op ten minste nullen. (Schat , en stel dan bij met behulp van de exacte formule.)
- Een laatste kruiscontrole: toon dat het getal niet deelt, eerst door in grondtal te schrijven en te controleren dat de optelling overdrachtvrij is, en dan door en met de formule van Legendre te berekenen.
- Waar precies gebruikte het probleem: (i) unieke ontbinding; (ii) de euclidische-delingsontbinding ; (iii) een telargument uit Hoofdstuk 2? Eén zin voor elk.
- Synthese, in een korte paragraaf: de formule van Legendre zet een deelbaarheidsvraag om in cijferrekening, en de stelling van Kummer leest het antwoord af van de overdrachten van één optelling — becommentarieer deze vertaling, de controles van vraag 16, en wat de afschatting van vraag 21 suggereert over priemgetallen (de volledige uitspraak, de priemgetalstelling, ligt ver buiten dit volume; het polynomiale analogon van de gereedschapskist van dit hoofdstuk is Hoofdstuk 8).
Oplossing
Oplossing van Probleem 6.1.
1. : twee eindnullen. Valuaties factor na factor: machten van komen van , in totaal ; machten van van en : . Eindnullen , consistent.
2. Schrijf de euclidische deling , . Dan met , dus .
3. Zij (verwissel indien nodig) en schrijf , met . Dan , dus . Als , is de haakjesuitdrukking : de valuatie is precies .
4. De veelvouden van in zijn waarbij het grootste geheel getal is met , d.w.z. .
5. Volgens de unieke ontbinding, . Tel anders: elke draagt bij, dus
volgens vraag 4 — de formule van Legendre. De som is eindig: termen met verdwijnen.
6. (delingen door ); . Eindnullen van : elke nul verbruikt één en één , dus zijn er ervan.
7. Met geeft vraag 2 (kap de -adische ontwikkeling af). Sommeer over en verwissel de twee eindige sommen:
8. Voor : . Aangezien heeft, altijd : . En asa asa een macht van is.
9. heeft cijfers in grondtal , elk ten hoogste , dus . Substitueer in vraag 7:
en deel door : .
10. : de telling van eindnullen springt met bij elk veelvoud van en is constant daartussen. en : bij springt de telling van rechtstreeks naar (), en aangezien niet-dalend is met ervoor en erna, wordt de waarde nooit bereikt: geen enkele faculteit eindigt op precies vijf nullen.
11. Schrijf : , en maakt het laatste gehele deel of . Dan, door Legendre driemaal toe te passen,
een eindige som van ’en en ’en (pas de eerste bewering toe op , ).
12. Fixeer en schrijf , met (euclidische deling: is het getal gevormd door de lage cijfers van ). Dan
wat is als en anders. Maar zegt precies dat het optellen van de lage cijfers van en overloopt naar positie — een overdracht naar positie in het schoolboek-optelalgoritme. Sommeer over : is het aantal overdrachten in de optelling in grondtal . (Kummer, 1852.)
13. Pas Kummer toe op , , som . Zij , zodat de cijfers van in grondtal op posities gelijk zijn aan en het cijfer op positie niet-nul is. De cijfers van onder positie zijn ook (). Op positie moeten de twee niet-nul cijfers optellen tot (resultaatcijfer ): één overdracht; op elke positie tellen cijfers plus de inkomende overdracht op tot (opnieuw resultaatcijfer ): de overdracht plant zich voort. Totaal: overdrachten, dus . Voor : voor , de deelbaarheid gebruikt in Stelling 6.23.
14. Volgens de digitale vorm (vraag 7), met (een nulcijfer aanhangen):
is altijd even, en (d.w.z. ) precies wanneer , d.w.z. wanneer een macht van is.
15. Vandermonde met : . Voor , (vraag 13), dus ; de eindtermen geven : .
16. Grondtal : , cijfers (laag naar hoog) , dus ; en , cijfers , dus . Kummer: tel op in grondtal : positie : , cijfer overdracht ; positie : , cijfer overdracht ; positie : , cijfer overdracht ; positie : , geen overdracht; positie : ; positie : , cijfer overdracht ; positie : overdracht landt: cijfer . Vier overdrachten: . Legendre: en , dus . De twee berekeningen stemmen overeen — en de optelcijfers reproduceren , zoals ze moeten.
17. Volgens Kummer (, , ): is oneven asa de optelling in grondtal geen overdracht heeft, asa op elke positie de cijfers voldoen aan ; in dat geval voor alle . Omgekeerd, als voor alle , dan is het getal met cijfers gelijk aan en is de optelling overdrachtvrij. Hetzelfde bewijs in grondtal : asa elk cijfer van in grondtal ten hoogste het overeenkomstige cijfer van is.
18. Tel de waarvan de cijfers voldoen aan : elk cijfer van wordt onafhankelijk gekozen uit waarden, wat keuzes geeft; in grondtal is dit . Rij : oneven elementen — inderdaad heeft oneven elementen enkel aan de uiteinden. Rij : — inderdaad .
19. Alle inwendige elementen even de rij heeft precies oneven elementen (de twee uiteinden 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, en inderdaad is de eerste wanneer ; nog eenvoudiger, elke term is ). Bijgevolg zijn ten hoogste termen niet-nul, elk gelijk aan : , d.w.z. .
21. Voor elk priemgetal , (de grootste macht van die niet overschrijdt verschijnt onder ). Vraag 20 met geeft voor elke : volgens Propositie 6.16, . Voor de grootte: de verhouding precies voor , dus is het centrale element het grootste van de elementen van rij , waaruit . Combineren:
Waren er weinig priemgetallen onder , dan zou het kgv niet zo groot kunnen zijn: exponentiële groei van het kgv is een kwantitatief spoor van de overvloed aan priemgetallen.
22. , dus mik bij : . Ga omhoog met veelvouden van : , , en
Aangezien constant is tussen veelvouden van en , is de kleinste met ten minste eindnullen .
23. Grondtal : , cijfers (laag naar hoog) . Tel op: positie : , geen overdracht; positie : ; positie : , geen overdracht. Overdrachtvrij, dus volgens Kummer : . Legendre stemt overeen: en , dus .
24. (i) Unieke ontbinding ligt aan de basis van de definitie zelf van en zijn additiviteit, en dus van de formule van Legendre en elke deelbaarheidsconclusie (Propositie 6.16). (ii) Euclidische deling bracht de afkappingsidentiteit van vraag 2 voort en de splitsing die de overdracht isoleert (vraag 12). (iii) Tellen: de telling van veelvouden van (vraag 4), het cijferkeuzeproduct (vraag 18), en de rijsomgrens (vraag 21) zijn allemaal argumenten in de stijl van Hoofdstuk 2.
25. Legendre zet “welke macht van deelt ” om in cijferrekening in grondtal ; Kummer comprimeert het antwoord voor binomiaalcoëfficiënten tot de overdrachten van één enkele optelling — deelbaarheid, ogenschijnlijk een globale eigenschap van enorme getallen, wordt lokaal afgelezen, cijfer na cijfer. Vraag 16 is het paradigma: vier overdrachten, met de hand berekend, bepalen de exacte macht van in een getal met honderden cijfers. En vraag 21 toont hoe dezelfde kring van ideeën diepe wateren beroert: een exponentiële ondergrens voor is een eerste, volledig elementaire stap naar de priemgetalstelling, wier bewijs ver buiten dit volume ligt. De hele gereedschapskist — deling, ggd, valuaties — wordt herhaald voor veeltermen in Hoofdstuk 8, waar het analogon van een cijferontwikkeling ontwikkeling in machten van is.