Vapaa kuvaus

linkit: http://freemasonry.bcy.ca/texts/gardeners.html

lainauksia:
- Force and might make right
- Mutta se portti on ahdas ja tie kaita, joka vie elämään, ja harvat ovat ne, jotka sen löytävät.
- Mikä Mariana maloilla, se vappuna vaoilla

Aloituksia

289

Kommenttia

3199

  1. Ressu+ainut+järkevä!
  2. 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äänM+=+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,+...,+np+-+k+=+M*t+++q-k,+joka+on+jaollinen+q-k:lla,+sillä+(q-k)+|+Mjap+++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.
  3. Joo,+noinhan+se+meneekin.+Viimenen+kohta+tulee+tosiaan+siitä+kun+neljän+neliön+summa+voi+olla+0+(mod+8)+vain+jos+jokainen+neliö+on+0+tai+4+(mod+8)+eli+jokainen+luku,+josta+neliö+otetaan+on+parillinen+ja+näin+4:lla+voidaan+jakaa+ja+löydetään+pienempi.Itse+perustelin+nuo,+että+muotoa2^(2k+1)2^(4k+1)*72^(4k-1)*3eivät+ole+neljän+positiivisen+neliön+summia,+käyttämällä+Jacobin+neljän+neliön+lausetta:+https://en.wikipedia.org/wiki/Jacobi's_four-square_theorem+,+joka+kertoo+kuinka+monella+tavalla+luvun+n+voi+esittää+neljän+neliön+summana+(kun+sallitaan+myös+0+ja+lisäksi+lasketaan+mukaan+kaikki+eri+järjestykset+ja+lukujen+merkit+(eli+negatiivisetkin+sallitaan)).+Tätä+lukumäärää+merkitään+r_4(n):llä.Tein+niin+että+löysin+tarpeeksi+esityksiä,+joissa+on+nolla+mukana,+jotta+niistä+jo+tulee+tuo+Jacobin+kertoma+määrä.+Tällöinhän+kokonaan+positiivisia+ei+voi+enää+olla.Eka:2^(2k+1)+=+(2^k)^2+++(2^k)^2tälläisia+esityksiä+on+4C2+*+2^2+=+24+(valitaan+kaksi+paikkaa+neljästä,+joihin+2^k+pistetään+ja+sitten++/-+kummallekin.+Mutta+Jacobin+mukaan+r_4(2^(2k+1))+=+24+*+(1).Toka:2^(4k-1)+*+7=+2^(4k-2)+*+(1+4+9)=+2^(2k-1)^2+++2^(2k)^2+++(3^(2k-1))^2+tässä+taas+on+4+*+3!+*+2^3+=+192+=+24*(1+7)+=+r_4(2^(4k-1)+*+7)+esitystä.Vastaavasti+kolmas+tapaus,+siihen+tulee+kolme+positiivista,+joista+kaksi+on+yhtäsuuria.Jännästi+muuten+ilmaantuu+nuo+luvut+3+ja+7,+jotka+kahden+ja+kolmen+neliön+tapauksissa+on+niitä+"ongelmallisia"+lukuja+esityksen+olemassaololle.
  4. Joo,+tämä:+https://repl.it/repls/CalculatingMellowBaitware+tuottaa+myös+kaikki+tavat.+Kun+se+tapojen+määrä+alkaa+tulla+suureksi,+niin+tietenkin+hidastuu.+Senhän+voisi+toki+muuttaa+sellaiseksi,+että+se+generoi+niitä+eikä+palauta+kaikkia+listassa.Helpoista+yhtälöistä+puheen+ollen,+voidaan+myös+kirjoittaan+=+a^2+++b^2+=+(a+b*i)(a-b*i)ja+sehän+se+juuri+johtaa+tuonne+Gaussin+kokonaislukujen+maailmaan+ja+siihen+miten+n+voidaan+siellä+jakaa+tekijöihin.