Eristetyt alkuluvut

Kaikkihan tietävät että alkuluvuissa on mielivaltaisen suuria hyppyjä (luvut n! 2, n! 3, ..., n! n ovat kaikki yhdistettyjä lukuja).

Mutta entäpä jos halutaan että alkuluvusta hyppy edelliseen ja seuraavaan ovat molemmat mielivaltaisen suuria? Eli ts. jos on annettu n, niin löytyykö aina alkuluku p, siten että luvut p-n, ..., p-1, p 1, ..., p n ovat yhdistettyjä lukuja?

2

253

    Vastaukset

    Anonyymi (Kirjaudu / Rekisteröidy)
    5000
    • Anonyymi

      Löytyy, Perustelu tosin vaatii melko pitkälle lukuteorian tuntemusta. Alkulukujen keskimääräinen esiintymistiheys harvenee lukujen kasvaessa, joska tulos seuraa.

      • Kuinka se nähdään pelkän tiheyden avulla? Nehän voisi olla siten että kaksi on aina melko lähekkäin ja sitten taas suuri hyppy, jonka jälkeen taas kaksi lähekkäin, jne.

        Tässä eräs todistus, joka mukailee tuota "yhden hypyn todistusta", mutta käyttää sekin aika järeää lausetta, nimittäin Dirichlet'n lausetta https://en.wikipedia.org/wiki/Dirichlet's_theorem_on_arithmetic_progressions , jonka mukaan muotoa a md, m ∈ N olevia alkulukuja on äärettömän monta, kun syt(a, d)=1.

        Olkoon haluttu eristysmatka n annettu. Valitaan jokin alkuluku q>n 2.
        Merkitään
        M = 2*3*...*(q-1) * (q 1) * ... * (2q-1)
        (Eli samoin kuin yhdelle hypylle otettiin n!, niin nyt q:n molemmin puolin kerrotaan q-1:n matkalta kaikki luvut keskenään.)
        Nyt, koska q on alkuluku eikä jaa mitään tulon termeistä, niin syt(M, q) = 1.
        Valitaan sitten (Dirichlet'n lauseen takaama) alkuluku p, jolle pätee p = M*t q, jollekin t>0.
        Nyt p on haluttu eristetty alkuluku, sillä jokaiselle k = 1, 2, ..., n

        p - k = M*t q-k, joka on jaollinen q-k:lla, sillä (q-k) | M
        ja
        p k = M*t q k, joka on jaollinen q k:lla, sillä (q k) | M.

        Huomioita:

        Itse asiassa yllä (kuten yhden hypyn tapauksessakaan) ei olisi tarvinnut ottaa M:ksi koko tuloa, vaan termien pyj olisi riittänyt.

        Dirichlet'n lauseen äärrettömyys-osaa, saati tasa-jakauteneisuutta ei olisi tarvittu. Riittää, että löytyy yksi alkuluku p muotoa p = M*t q, t>=1. Mutta onko tälle asialle olemassa helpompaa todistusta menemättä Dirichlet'n lauseen kautta? Ainakin tässä videossa: https://www.youtube.com/watch?v=zG185Ef1gPM&list=PLU3f-I7n3Bhxge578PJZptOLPUlxs3RBP&index=9&t=473 vihjataan, että se ei aivan triviaalia olisi.


    Ketjusta on poistettu 0 sääntöjenvastaista viestiä.

    Luetuimmat keskustelut

    1. Lataus pakkaskelissä

      En olisi koskaan ostanut sähköautoa jos olisin tajunnut että ne eivät lataa pakkasissa suurteholatauksella vaan istut tu
      Hybridi- ja sähköautot
      109
      4275
    2. Kun väestö ikääntyy ja veronmaksajat vähenee, mitä sitten vasemmistolaiset?

      Maahanmuutto ei vaan ole ratkaisu väestön ikääntymiseen. Maahanmuutto lykkää ja hidastaa väestön ikääntymistä ja työv
      Maailman menoa
      57
      2458
    3. Miksei Trump ole kiinnostunut Suomen valloittamisesta?

      Täällähän on enemmän turvetta kuin Norjalla öljyä. Eikö Ttump ole turvenuija?
      Maailman menoa
      78
      1650
    4. Kyllä mä suren

      Sitä että mikään ei ole kuten ennen. Ei niitä hetkiä ja katseita. Toisaalta keho lepää eikä enää tarvitse sitä tuskaa ko
      Ikävä
      6
      1113
    5. Jos vielä joku päivä nähtäis...

      Miten suhtautuisit minuun, mies?
      Ikävä
      66
      854
    6. Nyt se on varmaa kuntajakoselvitys

      Ensi viikolla tuöee kuntaministeri ulos ja kertoo asiasta.
      Ähtäri
      21
      823
    7. Olet mies aika ailahteleva luonteeltasi

      Olen nähnyt kuinka olet iloinen, sosiaalinen ja osallistuva. Autat ja kannustat muita. Ja sitten olen nähnyt kuinka istu
      Ikävä
      118
      813
    8. Laitetaan nyt kirjaimet kohdilleen

      kuka rakastaa ja ketä ?
      Ikävä
      39
      792
    9. Olisin valmis tutustumaan uudelleen

      En menneisyyden kautta vaan haluaisin tutustua ihmiseen, jollaiseksi olet kasvanut.
      Ikävä
      50
      779
    10. Tiedät sen

      Esitän välinpitämätöntä, mutta en ole sitä oikeasti.
      Ikävä
      62
      768
    Aihe