Kvadratni koren števila 5

Kvadratni koren števila 5 je pozitivno realno število, ki pomnoženo samo s seboj da naravno število 5. Točneje se imenuje glavni kvadratni koren števila 5, da se ga ločuje od negativnega števila z enako značilnostjo. Označuje se v obliki surda:

dvojiško 10,0011110001101111...
desetiško 2,23606797749978969...
šestnajstiško 2,3C6EF372FE94F82C...
šestdesetiško 2; 14, 09, 50, 40, 59, 18, ...
verižni ulomek
Verižni ulomek je periodičen.
   ali   √5,

lahko pa se ga zapiše tudi s potenčnim zapisom kot:

   ali    51/2, oziroma z zapisom Unicode 5½.

Število se pojavlja v zapisu števila zlatega reza z ulomkom. Je iracionalno algebrsko število.[1]

Njegova vrednost na 65 desetiških mest je (OEIS A002163):

2,23606797749978969640917366873127623544061835961152572427089724541...

Do sedaj so izračunali vsaj deset milijard desetiških števk (10×109).[2] Zaokrožena vrednost 2,236 je točna z napako manjšo od 0,01 % dejanske vrednosti.

Dokazi iracionalnosti uredi

Dokaz z neskončnim spustom uredi

Dokaz iracionalnosti kvadratnega korena števila 5 vsebuje Fermatovo metodo neskočnega spusta:

Predpostavi se, da je   racionalno število in se ga izrazi s pokrajšanimi členi (kot popolnoma okrajšani ulomek)   za naravni števili m in n.

Tako se lahko   izrazi z nižjimi členi od   kot  , kar je protislovje.[3] Oba izraza z ulomkoma sta enaka, ker če se ju izenači, križem pomnoži in pokrajša enake aditivne člene, velja:   in  , kar je po premisi pravilno. Drugi izraz z ulomkoma za   ima najmanjše člene, ker s primerjanjem imenovalcev velja  , ker je  , ker je   in  . Števec in imenovalec v drugem izrazu z ulomkoma sta pozitivna, ker je   in  .

Dokaz s protislovjem uredi

Pri drugem dokazu se predpostavi, da je  , kjer je   popolnoma okrajšani ulomek:

Če se oba člena pomnožita z n in nato kvadrirata, je:

 

Če bi bil n sod, bi bili sodi tudi  ,   in m, tako da ulomek ne bi bil   pokrajšan. Tako, če je n lih, bo po enakem procesu lih tudi m.

Naj je   in  , kjer sta k in l celi števili. Če se v   zamenja, velja:

 

kar se poenostavi v:

 

in velja:

 

Če se na obeh straneh odšteje 1, velja:

 

kar se poenostavi v:

 

oziroma:

 

Izraz   je sod za poljubno celo število x (saj je sod x ali x+1). Zadnji izraz pravi, da je 5 krat sodo število + 1 = sodo, ali liho = sodo. Ne obstaja celo število, ki bi bilo hkrati sodo in liho, zato je to protislovje in   je iracionalno število.

Značilnosti uredi

Geometrija uredi

 
Conwayjeva dekompozicija pravokotnega trikotnika 1:2:  v pet homotetičnih manjših pravokotnih trikotnikov.

Geometrično   odgovarja diagonali pravokotnika, katere stranici imata dolžini 1 2, kar je razvidno iz Pitagorovega izreka. Ta pravokotnik se dobi z razpolovitvijo kvadrata, ali z združitvijo dveh enakih kvadratov ob eno stranico. Skupaj z algebrskim izrazom med   in Φ to tvori osnovo za geometrijsko konstrukcijo zlatega pravokotnika iz kvadrata, in za konstrukcijo pravilnega petkotnika s podano dolžino stranice, (saj je razmerje med stranico in diagonalo v pravilnem petkotniku enako Φ).

Če se tvori diedrski pravi kot z dvema enakima kvadratoma, ki razpolavljata pravokotnik 1:2, se lahko vidi, da   odgovarja tudi razmerju med dolžino robu kocke in najkrajši razdalji med enim njenim ogliščem do nasprotnega pri prečnem rezu površine kocke (najkrajša razdalja pri prečnem rezu skozi notranjost kocke odgovarja dolžini diagonale kocke, ki je enaka produktu med √3 in robom).

Število   se lahko algebrsko in geometrično poveže s √2 in √3, saj je enako dolžini hipotenuze pravokotnega trikotnika z dolžinama katet   in  , kar spet izhaja iz Pitagorovega izreka. Pravokotni trikotniki s takšnimi razmerji se lahko najdejo znotraj kocke: stranica poljubnega trikotnika, ki jo določa središčna točka kocke, eno od njenih oglišč in razpolovišče stranice na eni ploskvi, ki vsebuje tisto oglišče in mu je nasprotna – njihovo razmerje je enako  : : . To sledi iz geometrijske povezave med kocko in količinami   (razmerje med robom in diagonalo ploskve, ali razdalja med nasprotnimi robovi),   (razmerje med robom in diagonalo kocke) in   (razmerje omenjeno zgoraj).

Pravokotnik z dolžinama stranic v razmerju 1:  se imenuje pravokotnik korena števila 5 in spada v družino korenskih pravokotnikov, podmnožice dinamičnih pravokotnikov, ki imajo za osnovo števila   (= 1),  ,  ,   (= 2),  , ... in so zapovrstjo skonstruirani z diagonalo predhodnega korenskega pravokotnika z začetkom pri kvadratu.[4] Pravokotnik korena števila 5 je še posebej znan, ker se lahko razdeli na kvadrat in dva skladna zlata pravokotnika (razsežnosti 1/Φ × 1), ali na dva zlata pravokotnika različnih velikosti (razsežnosti 1/Φ × 1 in 1 × Φ).[5] Lahko se razstavi tudi na dva skladna zlata pravokotnika (razsežnosti 1 × Φ), katerih presečišče tvori kvadrat. Vse to se lahko vidi kot geometrijska predstavitev algebrskih povezav med  , Φ in 1/Φ, omenjenih zgoraj. Pravokotnik korena števila 5 se lahko skonstruira iz pravokotnika 1:2 (pravokotnika korena števila 4) ali neposredno iz kvadrata v smislu podobnem za zlati pravokotnik prikazanem na sliki, pri čemer se dolžina loka   razširi na obe strani.

Trigonometrija uredi

Kakor   in   se tudi   velikokrat pojavlja v formulah za točne trigonometrične konstante, na primer sinusi in kosinusi vsakega kota, katerih vrednost v stopinjah je deljiva s 3 ne pa s 15.[6] Najpreprostejše med njimi so:

 

Kot tak je računanje njegove vrednosti pomembno za izdelavo trigonometričnih tabel. Ker je   geometrično povezan s polkvadratnimi pravokotniki in petkotniki, se poosto pojavlja tudi v formulah za geometrijske značilnosti likov in teles izvedenih iz njih, kot na primer v formulah za površino in prostornino dodekaedra:

 
 

Obratna vrednost uredi

Obratna vrednost   je (OEIS A020762):

 

Verižni ulomek uredi

Število   je kvadratno iracionalno število in je zato njegov razvoj v neskončni verižni ulomek periodičen (OEIS A040002):

 

Konvergenti verižnega ulomka so označeni z rdečo, njihovi števci so: 2, 9, 38, 161, ... (OEIS A001077), imenovalci pa: 1, 4, 17, 72, ... (OEIS A001076). Drugi členi, označeni s črno, so polkonvergenti. Vrednost vsakega prvega polkonvergenta mora biti boljša od vrednosti predhodnega konvergenta.

Povezava z zlatim rezom in Fibonaccijevimi števili uredi

 
Diagonala   polkvadrata predstavlja osnovo za geometrijsko konstrukcijo zlatega pravokotnika.

Število zlatega reza Φ je aritmetična sredina števila 1 in  .[7] Algebrska povezava med  , Φ in obratno vrednostjo Φ ( ) je dana z naslednjimi formulami:

 
 
 

(Glej razdelek o njihovih geometrijskih predstavitvah kot dekompozicije pravokotnika  .)

  se lahko izrazi v sklenjeni obliki izraza za Fibonaccijeva števila, formuli, ki se po navadi zapiše s številom zlatega reza:

 

Količnik med   in Φ (ali produkt   in 1/Φ) in njegova obratna vrednost data zanimiv vzorec verižnih ulomkov. Povezani so z razmerji med Fibonaccijevimi in Lucasovimi števili:[8]

  (OEIS A094874),
  (OEIS A242671).

Zaporedji konvergentov teh vrednosti data v števcu Fibonaccijeva in v imenovalcu Lucasova števila, ter obratno:

 

in:

 

Kvadratni koren števila −5 uredi

Množenje   z imaginarno enoto da kvadratni koren števila −5, imaginarno število. Točneje:

 

Je Eisensteinovo celo število. Izraženo je kot razlika med nerealnimi kubičnimi koreni iz 1, (ki so Eisensteinova cela števila).

Diofantski približki uredi

Hurwitzev izrek v teoriji diofantskih približkov pravi, da se lahko vsako iracionalno število x predstavi z neskončno mnogo racionalnimi števili   v okrajšani obliki tako, da velja:

 

in da je   najboljši možni približek v smislu, da za katerokoli večjo konstanto od   obstajajo nekatera takšna iracionalna števila x za katera obstaja le končno mnogo takšnih približkov.[9]

Soroden je izrek[10], da za poljubne tri zaporedne konvergente  ,  ,   števila α, velja vsaj ena od naslednjih neenakosti:

 

In   v imenovalcu je najboljša možna meja, ker je za konvergente števila zlatega reza razlika na levi strani poljubno blizu vrednosti na desni strani. Še posebej se ne da dobiti ostrejše meje, če se upošteva štiri ali več zaporednih konvergentov.[10]

Algebra uredi

Kolobar   vsebuje števila oblike a + b , kjer so a in b cela števila,   pa je imaginarno število i . Ta kolobar je primer domene celostnosti, ki ni faktorski kolobar. Število 6 se v tem kolobarju lahko razstavi na dva neenakovredna načina:

 

Komutativni obseg  , kakor katerikoli kvadratni komutativni obseg (kvadratno polje), je abelovska razširitev racionalnih števil. Kronecker-Webrov izrek tako zagotavlja, da se lahko kvadratni koren števila 5 zapiše kot racionalna linearna kombinacija korenov enote:

 

Računanje uredi

Konvergenčna metoda uredi

Za računanje   obstaja več metod.[11][12] Ena od njih uporablja rekurzivno zaporedje in da člene [2;,...,an+1], nekatere polkonvergente in delne količnike neskončnega verižnega ulomka:

 

kjer je   celi del števila  . Za   so prvi približki:

 
 
 
 
 
 
 
 
 
 
 
...

Približki z lihimi indeksi strogo naraščajo in so manjši od  , približki s sodimi indeksi pa strogo padajo in so večji od  .

Babilonska metoda uredi

V drugi rekurzivni metodi, ki uporablja aritmetično sredino, približki konvergirajo kvadratično in zaporedje je monotono padajoče. n-ti člen je enak 2n-1-temu konvergentu neskončnega verižnega ulomka. Metodo pripisujejo Heronu,[12][13] znana pa je bila verjetno že Babiloncem:

 
 
 
 
 
 
 
...

Prvi člen je lahko tudi drug, ki je bližje iskanemu številu, na primer naslednji lihi približek iz prve metode  , kar da:

 
 
 
 
 
...

Ramanudžanove enakosti uredi

  se pojavlja v mnogih Ramanudžanovih enakostih, ki vsebujejo verižne ulomke.[14][15]

Na primer naslednji primer Rogers-Ramanudžanovega verižnega ulomka:

 


 


 

Glej tudi uredi

Sklici uredi

  1. Dauben (1983).
  2. Komsta, Lukasz. »Computations page« (v angleščini). Arhivirano iz prvotnega spletišča dne 1. februarja 2016.
  3. Grant; Perella (1999).
  4. Elam (2001).
  5. Hambidge (1967).
  6. Wiseman (2008).
  7. Browne (1985). (Ta članek je velikokrat naveden).
  8. Guy (1988).
  9. LeVeque (1956).
  10. 10,0 10,1 Hinčin (1964).
  11. Drnovšek (1996).
  12. 12,0 12,1 Davies (2011).
  13. Lokar (1987).
  14. Ramanathan (1984).
  15. Weisstein, Eric Wolfgang, »Ramanujan Continued Fractions«, MathWorld (v angleščini)

Viri uredi