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

82

    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. Minä itkin kotona kun tajusin että

      Pelkuruuteni takia kun en lähestynyt vaikka järjestit otollisen hetken ja myöhemmin huomasin lasittuneen katseesi miten
      Ikävä
      11
      1685
    2. Muistutus t-Naiselle.

      Olet ilkeä ja narsistinen k-pää. Annat itsestäsi kiltin kuvan ulospäin kelataksesi ihmiset ansaan. Sitten päsmäröit, hau
      Ikävä
      151
      1332
    3. Ylen jälkiviisaat estotonta Kamala Harris suitsutusta

      Kolme samanmielistä naikkosta hehkutti Kamala Harrisia ja haukkui Trumpia estottomasti. Nyt oli tarkoituksella valittu
      Maailman menoa
      283
      1237
    4. Oho! Varmistusta odotellaan.

      Pitäneekö paikkansa? "🇺🇦Ukrainian drones hit a 🇷🇺Russian Tu-22M3 bomber at the Olenya airfield,"
      NATO
      112
      1072
    5. Mää oikeasti vielä kuolen

      Tämän tilanteen takia. Minä tosissani yritin ja tiedän että tämä tilanne sattuu sinuunkin. Molemmat taidetaan olla niin
      Ikävä
      42
      917
    6. Oiskohan se aika

      Selvittää pää vihdoin ja viimein. Minun kaivattu ei todellakaan käy täällä ja piste. Ei ole mitään järkeä enää tuhlata t
      Ikävä
      4
      865
    7. Kun Suomen uutisiin ei voi luottaa?

      Kertoisitteko te uutismaailmasn perehtyneet ASIANTUNTIJAT nyt sitten sen, mihin voi?
      Maailman menoa
      229
      824
    8. Ammuskelu Härmän häjyissä

      Onko jollain enempää tietoa?
      Seinäjoki
      20
      749
    9. Mikä kaivatullasi on WA tai Insta profiilikuva?

      Millainen ?!? asiallisesti häh ?!?
      Ikävä
      24
      739
    10. Keksin sinulle tänään uuden lempinimen

      Olet kisu-muija. Mitäs tykkäät älynväläyxestäni?
      Ikävä
      39
      722
    Aihe