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

165

    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. Hei sinä nainen

      Haluan olla rehellinen – olet hämmentänyt minua todella paljon. En ota sinusta mitään selvää, ja ehkä juuri siksi huomaa
      Ikävä
      81
      2697
    2. Kelan perkeleellinen käytäntö

      Kun äiti joutuu hakemaan Kelalta tukia vähien tulojen tähden, niin aina otetaan huomioon lapsen tilillä olevat rahat. Ei
      Maailman menoa
      291
      2382
    3. Putin ei suostu tulitaukoon nyt kun Kurskin taistelut ovat kesken

      ja venäjä on viimein päässyt niskan päälle, suuren ylivoiman turvin. Ukraina ilmeisesti suorittaakin taktista vetäytymi
      Maailman menoa
      164
      1316
    4. Voi kulta rakas

      Kyllä minäkin olen sinuun rakastunut. Oisit avautunut tunteistasi aiemmin niin ei tarvitsisi kiertoteitä kuulla tästä. �
      Ikävä
      61
      1057
    5. Miksi haluat satuttaa

      Sillä tiedolla ettet välittäisi minusta vaikka se ei ole totta. Silti tiedän että rakastat minua edelleen. Niinkuin sano
      Ikävä
      28
      951
    6. Miksi ette halua kaivattuanne

      Yksi syy tai tekosyy.
      Ikävä
      70
      908
    7. Ketä sinä

      Odotat oikeasti. Miksen sulle totta olla saa.
      Ikävä
      115
      876
    8. Sano nyt mitä

      Sinä oikein haluat?
      Ikävä
      72
      874
    9. Toivotko vielä et

      Päätyisimme yhteen?
      Ikävä
      76
      870
    10. Haluathan nainen edelleen?

      Että hän saa nauttia sinusta. Kun aika on...
      Ikävä
      65
      837
    Aihe