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×10). 9[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
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
Š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]
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
- ↑ Dauben (1983).
- ↑ Komsta, Lukasz. »Computations page« (v angleščini).
- ↑ Grant; Perella (1999).
- ↑ Elam (2001).
- ↑ Hambidge (1967).
- ↑ Wiseman (2008).
- ↑ Browne (1985). (Ta članek je velikokrat naveden).
- ↑ Guy (1988).
- ↑ LeVeque (1956).
- ↑ 10,0 10,1 Hinčin (1964).
- ↑ Drnovšek (1996).
- ↑ 12,0 12,1 Davies (2011).
- ↑ Lokar (1987).
- ↑ Ramanathan (1984).
- ↑ Weisstein, Eric Wolfgang, »Ramanujan Continued Fractions«, MathWorld (v angleščini)
Viri uredi
- Browne, Malcolm W. (30. julij 1985), »Puzzling Crystals Plunge Scientists into Uncertainty«, New York Times (Section: C): 1
- Dauben, Joseph W. (Junij 1983), »Georg Cantor and the origins of transfinite set theory«, Scientific American, 248: 122
- Davies, E. B. (3. januar 2011), Archimedes' calculations of square roots (PDF) (v angleščini)
- Drnovšek, Roman (1996), »Računanje kvadratnega korena iz naravnega števila« (PDF), Presek, 24 (6): 372–375
- Elam, Kimberly (2001), Geometry of Design: Studies in Proportion and Composition, New York: Princeton Architectural Press, ISBN 1-56898-249-6
- Grant, Mike; Perella, Malcolm (Julij 1999), »Descending to the irrational«, Mathematical Gazette, 83 (497): 263–267, doi:10.2307/3619054
- Guy, Richard Kenneth (1988), »The Strong Law of Small Numbers«, American Mathematical Monthly, 95: 675–712
- Hambidge, Jay (1967), The Elements of Dynamic Symmetry, Courier Dover Publications, ISBN 0-486-21776-0
- Hinčin, Aleksander Jakovljevič (1964), Continued Fractions, Chicago, London: University of Chicago Press
- LeVeque, William Judson (1956), Topics in number theory, Reading, Mass.: Addison-Wesley Publishing Co., Inc., MR 0080682
- Lokar, Matija (1987), »Računanje kvadratnega korena« (PDF), Presek, 15 (6): 322–325
- Ramanathan, K. G. (1984), »On the Rogers-Ramanujan continued fraction«, Indian Academy of Sciences. Proceedings. Mathematical Sciences, 93 (2): 67–77, doi:10.1007/BF02840651, ISSN 0253-4142, MR 0813071
- S., D.; Jones, M. F. (1968), »22900D approximations to the square roots of the primes less than 100«, Mathematics of Computation, 22 (101): 234–235, doi:10.2307/2004806, JSTOR 2004806
- Wells, David (1997), The Penguin Dictionary of Curious and Interesting Numbers (popravljena izd.), London: Penguin Group, str. 23
- Wiseman, Julian D. A. (Junij 2008), Sin and Cos in Surds (v angleščini)