Verižni ulomek

Iz Wikipedije, proste enciklopedije

Verížni ulómek je v matematiki izraz oblike:

$\xi = a_{0} + \cfrac{1}{a_{1} + \cfrac{1}{a_{2} + \cfrac{1}{a_{3}+\,\cdots}}} \,\! ,$

kjer je a₀ neko celo število, vsa druga števila a_n pa so naravna števila (oziroma pozitivna cela števila) in se imenujejo delni količniki. Daljši izrazi so določeni podobno. Če so števci različni od 1, se izraz imenuje posplošeni verižni ulomek. Zaradi jasnosti se neposplošeni verižni ulomek imenuje tudi navadni ali enostavni verižni ulomek.

[uredi] Opis

Verižni ulomki nastanejo zaradi želje po »matematično čistih« predstavitvah realnih števil.

Večina ljudi pozna desetiško predstavitev realnih števil:

$r = \sum_{i=0}^\infty a_{i} 10^{-i} \,\! ,$

kjer je a₀ poljubno celo število, vsak a_i pa je element {0, 1, 2, ..., 9}. V tej predstavitvi je na primer število π izraženo s celoštevilskim zaporedjem (OEIS A000796) {3, 1, 4, 1, 5, 9, 2, ...}.

Takšna predstavtev ni brez pomanjkljivosti. Ena težava je pojava poljubne konstante 10 v zgornji enačbi. Zakaj 10? To je posledica biološke pogojenosti in ne nečesa kar bi bilo povezano z matematiko. 10 se uporablja ker je standardna osnova našega številskega sestava (10 prstov). Prav tako bi lahko uporabljali osnovo 8 (osmiški sestav) ali osnovo 2 (dvojiški sestav). Druga težava je, da v tem sestavu mnogo racionalnih števil ni moč izraziti s končnim številom členov v takšnem zapisu. Število 1/3 je na primer izraženo kot neskončno zaporedje {0, 3, 3, 3, 3, ....}.

Zapis z verižnimi ulomki je predstavitev realnih števil, ki se ogne takšnim težavam. Premislimo kako lahko opišemo število kot je 415/93, katerega vrednost je približno 4,4624. To je zaokroženo enako 4. Dejansko je malo več od 4, približno 4 + 1/2. 2 v imenovalcu ni v redu, saj je pravilni imenovalec malo več kot 2, približno 2 + 1/6, tako da je 415/93 v približku 4 + 1/(2 + 1/6). Vendar 6 v imenovalcu spet ni pravilen, saj je pravilni imenovalec malo več kot 6, 6 + 1/7. Tako je 415/93 dejansko 4+1/(2+1/(6+1/7)) in to je natančna vrednost.

Če izpustimo trivialne dele izraza 4+1/(2+1/(6+1/7)), dobimo okrajšan zapis verižnega ulomka [4; 2, 6, 7]. Ponavadi prvo vejico nadomestimo s podpičjem. Takšen zapis je prvi uporabil nemški matematik Oskar Perron v svojem enciklopedičnem delu o verižnih ulomkih Teorija verižnih ulomkov (Die Lehre von den Kettenbrüchen) iz leta 1913.

Predstavitev realnih števil z verižnimi ulomki ima več prikladnih lastnosti:

Predstavitev števila z verižnim ulomkom je končna, če in samo če je število racionalno.
Predstavitve »preprostih« racionalnih števil z verižnimi ulomki so kratke.
Predstavitev poljubnega racionalnega števila z verižnim ulomkom je edina, če na koncu ni 1. Za vsako racionalno število, izraženo kot verižni ulomek $[N; a,..., z]$ pri z > 1, obstaja zapis z 1 na koncu $[N; a,..., z - 1,1]$ .
Predstavitev iracionalnega števila je edinstvena.
Členi verižnega ulomka se bodo ponavljali, če in samo če je število kvadratična iracionala, oziroma, če je realna rešitev kvadratne enačbe.
Okrajšanje predstavitve števila x z verižnim ulomkom vodi do racionalnega približka za x, ki je v določenem smislu »najboljši« racionalni približek.

Zadnja lastnost je zelo pomembna in ne velja za običajno desetiško predstavitev. Okrajšanje desetiške predstavitve da racionalni približek števila, vendar običajno ne dobrega. Če na primer okrajšamo število 1/7 = 0,142857... na več mestih, dobimo približke 142/1000, 14/100 in 1/10. Očitno je najboljši racionalni približek kar »1/7«. Okrajšanje desetiškega zapisa π da približka 31415/10000 in 314/100. Zapis števila π z verižnim ulomkom je [3; 7, 15, 1, 292, ...]. Z okrajšavo tega zapisa dobimo odlične približke 3, 22/7, 333/106, 355/113, 103993/33102, ... Imenovalca 314/100 in 333/106 sta skoraj enaka, vendar je napaka približka 314/100 devetnajstkrat večja kot pri 333/106. Kot približek števila π je [3; 7, 15, 1] več kot stokrat natančnejši od 3,1416.

[uredi] Računanje verižnih ulomkov

Poljubno neničelno realno število ξ lahko zapišemo kot verižni ulomek $[a_{0}; a_{1}, a_{2}, a_{3},\cdots]$ , kjer je

$a_{0} = \lfloor \xi \rfloor, \xi_{0} = \xi - a_{0} \,\! ,$

$a_{1} = \left\lfloor \frac{1}{\xi_{0}} \right\rfloor, \xi_{1} = \frac{1}{\xi_{0}} - a_{1} \,\! ,$

$\dots$

$a_{n} = \left\lfloor \frac{1}{\xi_{n-1}} \right\rfloor, \xi_{n} = \frac{1}{\xi_{n-1}} - a_{n} \,\! ,$

$\dots$

in $\lfloor \xi \rfloor$ celi del števila $ξ$ .

Da izračunamo verižni ulomek števila ξ, najprej zapišemo celi del ξ. Nato odšetejmo ta del od števila ξ. Če je razlika enaka 0, končamo, drugače pa izračunamo obratno vrednost razlike in ponovimo postopek. Postopek se konča, če in samo če je ξ racionalen.

Izračun verižnega ulomka za 3,245
$3\,$	$3,245 - 3\,$	$= 0,245\,$	$1 / 0,245\,$	$= 4,082\,$
$4\,$	$4,082 - 4\,$	$= 0,082\,$	$1 / 0,082\,$	$= 12,250\,$
$12\,$	$12,250 - 12\,$	$= 0,250\,$	$1 / 0,250\,$	$= 4,000\,$
$4\,$	$4,000 - 4\,$	$= 0,000\,$	Končaj
verižni ulomek za 3,245 je [3; 4, 12, 4]
$3,245 = 3 + \cfrac{1}{4 + \cfrac{1}{12 + \cfrac{1}{4}}}$

Število 3,245 lahko zapišemo tudi kot [3; 4, 12, 3, 1].

Ta algoritem je primeren za realna števila. Če ga uporabljamo pri računanju s plavajočo vejico, lahko pridobimo nesmisle. Zaradi tega je vsako število s plavajočo vejico natančno racionalno število (kjer je imenovalec ponavadi potenca 2 v sodobnih računalnikih ali potenca 10 na elektronskih računalih) in v takšnih primerih se lahko za natančne rezultate uporabi različica Evklidovega algoritma.

[uredi] Oblike zapisov verižnih ulomkov

Najbolj razširjen okrajšan zapis verižnih ulomkov je:

$\xi = [a_0; a_1, a_2, a_3] \;$

in včasih tudi:

$\xi = \left \langle a_0; a_1, a_2, a_3 \right \rangle \;$

oziroma tudi brez podpičja:

$\xi = \left \langle a_0, a_1, a_2, a_3 \right \rangle \;$

Znan je tudi Pringsheimov zapis:

$\xi = a_0 + \frac{1 \mid}{\mid a_1} + \frac{1 \mid}{\mid a_2} + \frac{1 \mid}{\mid a_3}$

ali redkejši zapis, podoben zgornjemu:

$\xi = a_0 + {1 \over a_1 + } {1 \over a_2 +} {1 \over a_3 +}.$

Neskončne verižne ulomke lahko določimo tudi kot limite:

$[a_{0}; a_{1}, a_{2}, a_{3}, \,\ldots ] = \lim_{n \to \infty} [a_{0}; a_{1}, a_{2}, \,\ldots, a_{n}].$

Ta limita obstaja za poljubna pozitivna cela števila a₁, a₂, a₃ ...

[uredi] Zgodovina verižnih ulomkov

Zametke računanja verižnih ulomkov je moč videti v Evklidovem algoritmu (300 pr. n. št.) saj gre v bistvu za isto stvar in algoritem kot stranski rezultat enakovredno da člene zapisa verižnih ulomkov.

Indijski matematik in astronom Aryabhata I. je uporabljal verižne ulomke pri računanju linearnih nedoločenih enačb, oblike $a x + c = b y$ (Diofantska enačba, Aryabhatov algoritem), sicer ne popolnoma v današnjem smislu.

Za začetnika teorije verižnh ulomkov velja italijanski matematik Rafael Bombelli. Prvič jih je uporabil leta 1572 pri računanju kvadratnih korenov. Odkril je tudi, da se dajo iracionalna števila zelo natančno aproksimirati z verižnimi ulomki. Aproksimiral je $\sqrt{13}$ . V tem času se je z verižnimi ulomki ukvarjal tudi Pietro Antonio Cataldi. Tudi Cataldi je na podoben način s periodičnim verižnim ulomkom izrazil $\sqrt{18}\$ :

$\sqrt{18} = [4; \overline{4, 8}] \quad \left \{ 4, \frac{17}{4}, \frac{140}{33}, \frac{577}{136}, \frac{4756}{1121}, \frac{19601}{4620}, \frac{161564}{38081}, \frac{665857}{156944}, \frac{5488420}{1293633}, \frac{22619537}{5331476}, \frac{186444716}{43945441},\ \cdots \right \}$

Cataldi jih je sistematično zapisal v svoji razpravi Trattato del modo brevissimo di trovare la radice quadra delli numeri ... o iskanju kvadratnih korenov števil, objavljeni v Bologni leta 1613. Cataldi je pisal verižne ulomke še v obliki:

$a_0.\,$ & $n_1 \over d_1.$ & $n_2 \over d_2.$ & ${n_3 \over d_3}$

kjer pike označujejo kam sledijo naslednji ulomki.

Z delom Johna Wallisa so verižni ulomki dobili svoje upravičeno mesto v matematiki. V svoji knjigi Algebrski traktat (Tractatus de algebra), (izšla leta 1685) je Wallis našel π na 35 decimalk s približkom neskončnega verižnega ulomka:

$\pi = [3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1,2,2,2,2,1,84,2,1,1,15,3, 13,1,3,4,2,6,6,1,\,...] =$

$= {10576765661816118725\over 3366689074005314168} = 3,14159265358979323846264338327951738 \; .$

Prvi neskončni (posplošeni) verižni ulomek je zapisal lord Brouncker v svojem delu iz leta 1659 za razvoj števila 4/π na podlagi Wallisovega produkta za π/2.

V svojem delu Matematično delo (Opera Mathematica) je Wallis leta 1695 tudi prvič uporabil izraz »verižni ulomek«. V slovenščino je izraz uvedel Josip Plemelj.

Christiaan Huygens je uporabljal verižne ulomke pri aproksimaciji prestavnih razmerij in o tem napisal članek. Huygens je našel približek:

$\frac{77708491}{2640858}=[29;2,2,1,5,1,6,1,1,1,1,9,1,1,14,2,2]$

Lastnosti in teorijo verižnih ulomkov sta naprej razvila Huygens leta 1703 in Leonhard Euler leta 1744. Lagrange je mislil, da bi bilo mogoče prepoznati vsako algebrsko število iz njegovega verižnega ulomka. Periodičnost verižnih ulomkov za kvadratične iracionale je dokazal sedemnajstletni Évariste Galois leta 1828.

[uredi] Uporaba verižnih ulomkov

Računanje približkov realnih števil.
Dokazovanje iracionalnosti števil. S pomočjo verižnih ulomkov so dokazali iracionalnost Riemanove funkcije ζ za ζ(3).
Algoritem praštevilskega razcepa SQFOF (SqFoF, Square Form factorisation).
Računanje približkov časovnih obdobij (tropsko leto, mesec ipd).

[uredi] Končni verižni ulomki

Za končne verižne ulomke velja:

$[a_{0}; a_{1}, a_{2}, a_{3}, \,\ldots ,a_{n}, 1]=[a_{0}; a_{1}, a_{2}, a_{3}, \,\ldots, a_{n} + 1]. \;$

Za vsak končni verižni ulomek obstaja drug končni verižni ulomek, ki predstavlja isto število. Na primer

$[2; 3, 1] = [2; 4] = 9/4 = 2,25. \;$

Vsak končni verižni ulomek je racionalno število, in vsako racionalno število lahko zapišemo na natančno dva različna načina kot končni verižni ulomek. V enem zapisu je končni člen verižnega ulomka enak 1. Drug zapis ima en člen manj, zadnji člen pa mora biti večji od 1, razen če je edin.

[uredi] Neskončni verižni ulomki

Vsak neskončni verižni ulomek je iracionalno število, in vsako iracionalno število lahko zapišemo na natančno en način kot neskončni verižni ulomek.

Neskončni verižni ulomki iracionalnih števil pridejo prav, saj njihovi prvi členi nudijo odlične racionalne približke števila. Tem približkom rečemo tudi konvergenti verižnega ulomka. Sodi približki so manjši od števila, lihi pa večji.

Za verižni ulomek $[a_0;a_1,a_2,\ldots]$ so prvi štirje približki (oštevilčeni od 0 do 3):

$\frac{a_0}{1},\qquad \frac{a_0a_1+1}{a_1},\qquad \frac{ a_2(a_0a_1+1)+a_0}{a_2a_1+1},\qquad \frac{a_3(a_2(a_0a_1+1)+a_0)+(a_0a_1+1)}{a_3(a_2a_1+1)+a_1}.$

Z drugimi besedami, števec tretjega približka tvorimo z množenjem števca drugega približka s tretjim količnikom in prištetjem števca prvega približka. Na podoben način tvorimo imenovalce.

Če obstaja naslednji člen s števci $h_1,h_2,\ldots$ in imenovalci $k_1,k_2,\ldots$ , poten je ustrezna rekurzivna enačba:

$h_n=a_nh_{n-1}+h_{n-2},\qquad k_n=a_nk_{n-1}+k_{n-2}.$

Sosednja zaporedna približka sta dana z enačbo:

$\frac{h_n}{k_n}= \frac{a_nh_{n-1}+h_{n-2}}{a_nk_{n-1}+k_{n-2}}.$

[uredi] Nekateri izreki

Če je a₀, a₁, a₂, ... neskončno zaporedje naravnih števil, določimo zaporedja $h n$ in $k n$ rekurzivno:

$h n = a n h n - 1 + h n - 2$			$h - 1 = 1$		$h - 2 = 0$
$k n = a n k n - 1 + k n - 2$			$k - 1 = 0$		$k - 2 = 1$

[uredi] Izrek 1

Za vsak pozitivni $\xi\in\mathbb{R}$ velja:

$\left[a_0, a_1, \,\dots, a_{n-1}, \xi \right]= \frac{\xi h_{n-1}+h_{n-2}} {\xi k_{n-1}+k_{n-2}}.$

[uredi] Izrek 2

Približki [a₀, a₁, a₂, ...] so dani z:

$\left[a_0, a_1, \,\dots, a_n\right]= \frac{h_n} {k_n}.$

[uredi] Izrek 3

Če je n-ti približek verižnega ulomka $h n / k n$ , potem velja:

k n h n - 1 - k n - 1 h n = ( - 1) n .

Posledica 1: Vsak približek je izražen z najmanjšim členom (saj, če bi $h n$ in $k n$ imela netrivialni skupni delitelj, bi delila $k n h n - 1 - k n - 1 h n$ , kar je nemogoče).

Posledica 2: razlika med sosednjima zaporednima približkoma je enotski ulomek:

$\left|\frac{h_n}{k_n}-\frac{h_{n-1}}{k_{n-1}} \right|= \left|\frac{h_nk_{n-1}-k_nh_{n-1}}{k_nk_{n-1}}\right|= \frac{1}{k_nk_{n-1}}.$

Ali drugače rečeno, dva sosednja zaporedna približka sta sosednja ulomka.

Posledica 3: Verižni ulomek je enakovreden vrsti z izmeničnimi členi:

$a_0 + \sum_{n=0}^\infty \frac{(-1)^{n}}{k_{n+1}k_{n}}.$

Posledica 4: Matrika:

$\begin{bmatrix} h_n & h_{n-1} \\ k_n & k_{n-1} \end{bmatrix}$

ima determinanto +1 ali -1, in zato pripada grupi 2x2 unimodularnih matrik $S^*L(2,\mathbb{Z})$ .

[uredi] Izrek 4

Vsak približek je bolj natančen kot prejšnji. Če je n-ti približek enak $[a_0;a_1,a_2,\ldots a_n]=x$ , potem velja:

$\left|[a_0; a_1, a_2, \ldots a_r]-x\right|> \left|[a_0; a_1, a_2, \ldots a_s]-x\right|$

za vse $r < s < n$ .

Posledica 1: lihi približki stalno naraščajo, vendar so vedno manjši od $ξ.$

Posledica 2: sodi približki stalno padajo, vendar so vedno večji od $ξ.$

[uredi] Izrek 5

$\frac{1}{k_n(k_{n+1}+k_n)}< \left|x-\frac{h_n}{k_n}\right|< \frac{1}{k_nk_{n+1}}.$

Posledica 1: vsak približek je natančnejši od prejšnjega, katerega imenovalec je manjši od imenovalca približka

Posledica 2: vsak približek, ki takoj sledi velikemu količniku, se najmanj razlikuje od verižnega ulomka.

[uredi] Polpribližki

Če sta $\frac{h_{n-1}}{k_{n-1}}$ in $\frac{h_n}{k_n}$ sosednja zaporedna približka, potem se vsak ulomek oblike:

$\frac{h_{n-1} + ah_n}{k_{n-1}+ak_n}$

kjer je $a$ nenegativno celo število in kjer so števci in imenovalci med $n$ in $n + 1$ , imenuje polpribližek, sekundarni približek ali vmesni ulomek. Ponavadi pomeni, da je člen polpribližek to, da je lahko približek, ne pa to, da je približek vrsta polpribližka.

Polpribližki razvoja verižnega ulomka realnega števila $ξ$ vsebujejo vse racionalne približke, ki so boljši od vsakega približka z manjšim imenovalcem. Druga uporabna lastnost je, da za dva zaporedna polpribližka a/b in c/d velja $ad-bc = \pm 1$ .

[uredi] Najboljši racionalni približki

Najboljši racionalni približek realnega števila ξ je racionalno število $\begin{matrix} \frac {n}{d} \end{matrix}$ , $d > 0$ , ki je bližje ξ kot katerikoli približek z manjšim imenovalcem. Ker je najboljši racionalni približek vedno približek ali polpribližek, se lahko pravilni verižni ulomek za ξ x uporabi za vse najboljše racionalne približke za ξ po naslednjih treh pravilih:

Skrajšanje verižnega ulomka in morebitno povečanje njegovega zadnjega izraza.
Vrednost povečanega izraza ne more biti manj kot polovico vrednosti.
Če je končni člen so, posebno pravilo odloča ali je njegova polovična vrednost dopustna. (Glej spodaj)

Pravilni verižni ulomek za število 0,84375 je na primer [0;1,5,2,2]. Tu so vsi njegovi najboljši racionalni približki.

[0;1]	[0;1,3]	[0;1,4]	[0;1,5]	[0;1,5,2]	[0;1,5,2,1]	[0;1,5,2,2]
$\begin{matrix} 1 \end{matrix}$	$\begin{matrix} \frac {3}{4} \end{matrix}$	$\begin{matrix} \frac {4}{5} \end{matrix}$	$\begin{matrix} \frac {5}{6} \end{matrix}$	$\begin{matrix} \frac {11}{13} \end{matrix}$	$\begin{matrix} \frac {16}{19} \end{matrix}$	$\begin{matrix} \frac {27}{32} \end{matrix}$

Strogo monotono naraščanje imenovalcev pri dodajanju členov dovoljuje algoritmu obstoj limite, bodisi na velikosti imenovalca ali bližine približka.

Za vključitev novega člena v racionalni približek sta potrebna le dva predhodna približka. Če je a novi člen, potem sta novi števec in imenovalec:

n_k+1 = n_k−1 + a n_k

d_k+1 = d_k−1 + a d_k

Začetna »približka« (za prva dva člena) sta 0/1 in 1/0. Tu so približki za [0;1,5,2,2].

a_k			0	1	5	2	2
n_k	0	1	0	1	5	11	27
d_k	1	0	1	1	6	13	32

Strog opis pravila razpolovitve je, da je razpolovljen člen $\begin{matrix} \frac {1}{2} \end{matrix} a_k$ dopusten, samo in samo če

[a_k; a_k−1, …, a₁] > [a_k; a_k+1, …].

Velikokrat za računanje zaporednih členov uporabljamo nekaj podobnega kot je Evklidov algoritem največjega skupnega delitelja. Dodatne vrednosti, ki jih da algoritem, omogočajo ustreznejšo preveritev. Tu je, na primer, računanje členov za število 0,84375 = $\begin{matrix} \frac {27}{32} \end{matrix}$ (kjer $\lfloor \xi \rfloor$ označuje funkcijo celi del).

$a 0 =$	$\lfloor \begin{matrix} \frac {27}{32} \end{matrix} \rfloor$	$= 0$ ,	$f 0$	$= 27 - 32 a 0$	$= 27$
$a 1 =$	$\lfloor \begin{matrix} \frac {32}{27} \end{matrix} \rfloor$	$= 1$ ,	$f 1$	$= 32 - 27 a 1$	$= 5$
$a 2 =$	$\lfloor \begin{matrix} \frac {27}{5} \end{matrix} \rfloor$	$= 5$ ,	$f 2$	$= 27 - 5 a 2$	$= 2$
$a 3 =$	$\lfloor \begin{matrix} \frac {5}{2} \end{matrix} \rfloor$	$= 2$ ,	$f 3$	$= 5 - 2 a 3$	$= 1$
$a 4 =$	$\lfloor \begin{matrix} \frac {2}{1} \end{matrix} \rfloor$	$= 2$ ,	$f 4$	$= 2 - 1 a 4$	$= 0$

Z uporabo vrednosti f na ta način, je za $\begin{matrix} \frac {1}{2} \end{matrix} a_k$ preveritev dopustnosti $\begin{matrix} \frac {d_{k-2}}{d_{k-1}} \end{matrix} > \begin{matrix} \frac {f_k}{f_{k-1}} \end{matrix}$ . Za $a 3$ v primeru je $\begin{matrix} \frac {d_1}{d_2}\end{matrix} = \begin{matrix} \frac {1}{6} \end{matrix}$ in $\begin{matrix} \frac {f_3}{f_2}\end{matrix} = \begin{matrix} \frac {1}{2} \end{matrix}$ , zato $\begin{matrix} \frac {1}{2} \end{matrix} a_3$ ni dopusten. Za $a 4$ $\begin{matrix} \frac {d_2}{d_3}\end{matrix} = \begin{matrix} \frac {6}{13} \end{matrix}$ in $\begin{matrix} \frac {f_4}{f_3}\end{matrix} = \begin{matrix} \frac {0}{1} \end{matrix}$ , tako da je $\begin{matrix} \frac {1}{2} \end{matrix} a_4$ dopusten.

Približki števila ξ so najboljši približki tudi v strožjem smislu. n/d je približek za ξ samo in samo če je |dξ - n| najmanjša relativna napaka med vsemi približki mm/c pri c ≤ d, oziroma, če velja |dξ - n| < |cξ - m| dokler je c < d.

[uredi] Verižni ulomek za π

Pri računanju približkov za π vzamemo $a_0 = \lfloor \pi \rfloor = 3$ , določimo $u_1 = \frac {1}{\pi - 3}$ $\approx \frac {113}{16} = 7,0625$ in $a_1 = \lfloor u_1 \rfloor = 7$ , $u_2 = \frac {1}{u_1 - 7} \approx \frac {31993}{2000} = 15,9965$ ter $a_2 = \lfloor u_2 \rfloor = 15$ , $u_3 = \frac {1}{u_2 - 15}$ $\approx \frac {1003}{1000} = 1,003$ . Če nadaljujemo na ta način, lahko najdemo poljubno mnogo členov neskončnega verižnega ulomka za π [3; 7, 15, 1, 292, 1, 1, ...]. Tretji približek za π je [3; 7, 15, 1] = 355/113 = 3,14159292035..., kar je že zelo natančno.

Vzemimo, da so najdeni količniki kot zgoraj [3; 7, 15, 1]. Z naslednjim postopkom lahko takoj zapišemo približne ulomke, ki izhajajo iz teh količnikov, brez, da bi računali verižni ulomek.

Prvi količnik deljen recimo z 1, bo dal prvi ulomek, ki bo premajhen, namreč 3/1. Z množenjem števca in imenovalca prvega ulomka z drugim količnikom in prištevanjem števila 1 s števcem dobimo drugi ulomek 22/7, ki bo prevelik. Če nadaljujemo na isti način, dobimo tretji ulomek, ki je premajhen. Tako imamo za tretji količnik, ki je enak 15, za naš števec (22 · 15 = 330) + 3 = 333 in za imenovalec (7 · 15 = 105) + 1 = 106. Tretji približek je tako 333/106. Enako za četrti približek. Četrti količnik je 1, imamo 333 krat 1, kar je 333, prištejemo 22, imenovalec predhodnega ulomka, kar da 355. Podobno 106 krat 1 je 106, prištejemo 7, in dobimo 113.

S štirimi količniki [3; 7, 15, 1] tako dobimo štiri ulomke:

$\frac{3}{1}, \frac{22}{7}, \frac{333}{106}, \frac{355}{113}, \,\ldots$

Ti približki so izmenično manjši in večji od vrednosti števila π, ter se ji vedno bolj približujejo. Razlika med danim približkom in številom π je manjša od obratne vrednosti zmnožka imenovalcev tega približka in naslednjega približka. Ulomek 22/7 je na primer večji od π, vendar 22/7 − π je manj kot 1/(7 · 106), kar je enako 1/742. Dejansko je 22/7 − π manjše od 1/790.

te lastnosti izhajajo iz dejstva, da če iščemo razliko med sosednjima ulomkoma, bomo dobli ulomek, katerega števec bo vedno enak 1, imenovalec pa zmnožek obeh imenovalcev. Tako je razlika med 22/7 in 3/1 enaka 1/7, prevelika; med 333/106 in 22/7 enaka 1/742, premajhna; med 355/113 in 333/106 enaka 1/11978, premajhna, in tako naprej. V tem smislu lahko z uporabo teh razlik izrazimo ulomke na drug in zelo enostaven način, kjer so vsi števci enaki 1, imenovalci pa zmnožki dveh sosednjih imenovalcev. namesto zgoraj zapizanih ulomkov imamo tako vrsto:

$\frac{3}{1}+\frac{1}{1 \cdot 7}-\frac{1}{7 \cdot 106}+\frac{1}{106 \cdot 113} \cdots$

Prvi člen je, ko vidimo, prvi ulomek. Prvi in drugi člen dasta drugi ulomek 22/7. Prvi trije členi dajo tretji ulomek 333/106 in podobno naprej. Celotna vrsta je enakovredna izvirni vrednosti.

[uredi] Verižni ulomki nekaterih števil

Čeprav v neskončnem verižnem ulomku za π ne moremo najti kakšnega vzorca, to ne velja za vsa števila. Za število e, osnovo naravnih logaritmov so verižni ulomki preprostejši:

$e \,\,\,\,\,\, = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, 1, 1, 10, \dots] \,\! ,$

$\sqrt{e} = [1; 1, 1, 1, 5, 1, 1, 9, 1, 1, 13, 1, 1, 17, \dots] \,\! ,$

$e^{1\over4} \,\,\, = [1; 3, 1, 1, 11, 1, 1, 19, 1, 1, 27, 1, 1, 35, \dots] \,\! ,$

$e^{1\over8} \,\,\, = [1; 7, 1, 1, 23, 1, 1, 39, 1, 1, 55, 1, 1, 71, \dots] \,\! ,$

Seveda pa to ne velja za vsa transcendentna števila kot sta Gelfondova konstanta z verižnim ulomkom:

$e^{\pi} = [23; 7, 9, 3, 1, 1, 591, 2, 9, 1, 2, 34, 1, 16, 1, 30, 1, 1, 4, 1, 2, \dots] \,\!$

ali Gelfond-Schneiderjeva konstanta:

$2^{\sqrt{2}} = [2; 1, 1, 1, 72, 3, 4, 1, 3, 2, 1, 1, 1, 14, 1, 2, 1, 1, 3, 1, 3, \dots] \,\! .$

Še posebej zanimiv verižni ulomek ima število, ki ga je raziskoval Ramanujan leta 1913 in 1914, in ga je Simon Plouffe imenoval Ramanujanova konstanta:

$e^{\pi\sqrt{163}} = [262537412640768743;1,1333462407511,1,8,1,1,5,1,4,1,7,1,1,1,9,1,1,2,12,4,1,15,4,299,3,\dots ] \,\! .$

Gelfond je dokazal, da so števila oblike $e^{\pi\sqrt{d}}$ za pozitivni celi d trancendentna.

Števila s periodičnim verižnim ulomkom so natanko rešitve kvadratne enačbe s celoštevilskimi koeficienti. Najpreprostejši verižni ulomek nasploh ima število zlatega reza Φ:

$\Phi = [1;\overline{1}] \;\$

in njegova obratna vrednost:

$\Phi^{-1} = [0;\overline{1}] \,\! .$

Podobno:

$\sqrt{2} = [1;\overline{2}] \,\! ,$

$\sqrt{3} = [1;\overline{1,2}] \,\! ,$

$\sqrt{5} = [2;\overline{4}] \,\! ,$

$\sqrt{6} = [1;\overline{2}]\cdot[1;\overline{1,2}] \,\! ,$

$\sqrt{7} = [2;\overline{1,1,1,4}] \,\! ,$

$\sqrt{8} = [2;\overline{1,4}] \,\! ,$

$\sqrt{10} = [3;\overline{6}] \,\! ,$

${\sqrt{3}-1\over 2} = [0;\overline{2,1}] \,\! .$

Števila s periodičnimi verižnimi ulomki imajo različno dolge preriode.

Večina drugih iracionalnih števil nima periodičnih ali enostavnih verižnih ulomkov. Hinčin je dokazal, da imajo za skoraj vsa realna števila ξ delni količniki osupljivo lastnost: njihova geometrična sredina je konstantna, znana kot Hinčinova konstanta K ≈ 2,6854520010..., in je neodvisna od vrednosti števila ξ. Lévy je pokazal, da se n-ti koren imenovalca n-tega približka verižnega ulomka za skoraj vsa realna števila približuje mejni vrednosti, znani kot Lévyjeva konstanta z vrednostjo približno 3,2758229...

[uredi] Fermat-Pellova enačba

Verižni ulomki so pomembni pri reševanju Fermat-Pellove diofantske enačbe. Za pozitivni celi števili $p$ in $q$ velja $p^2 - 2q^2 = \pm1$ samo in samo če je $p / q$ približek v razvoju verižnega ulomka za $\sqrt2$ .

[uredi] Verižni ulomki in kaos

Verižne ulomke uporabljajo tudi pri raziskovaju v teoriji kaosa, kjer povezujejo pojem Fareyjevih ulomkov, ki jih obsega Mandelbrotova množica, s pojmom vprašalne funkcije Minkowskega in modulsko grupo Γ.

Protismerni premikalni operator za verižne ulomke je preslikava $h(x)=1/x - \lfloor 1/x \rfloor,$ imenovana Gaussova preslikava, ki klesti števke verižnega ulomka: $h([0;a_1,a_2,a_3,\dots]) = [0;a_2,a_3,\dots]$ . Prenosni operator te preslikave se imenuje Gauss-Kuzmin-Wirsingov operator. Porazdelitev števk v verižnih ulomkih je dana z ničelnim lastnim vektorjem tega operatorja, in se imenuje Gauss-Kuzminova porazdelitev.

[uredi] Glej tudi

Stern-Brocotovo drevo

[uredi] Zunanje povezave

- v angleščini:

Spletno računalo verižnih ulomkov
Linas Vepstas The Minkowski Question Mark and the Modular Group SL(2,Z) (2004) pojasnjuje izomorfizme verižnih ulomkov.
Linas Vepstas Continued Fractions and Gaps (2004) pojasnjuje kaotično zgradbo v verižnih ulomkih.
Verižni ulomki na Stern-Brocotovem drevesu na cut-the-knot
Francois Balsalobre cfc - računalo verižnih ulomkov (cli) za POSIX in Cygwin
Verižni ulomki in Fermatov zadnji izrek.
Elementarni uvod v verižne ulomke

Vzpostavljeno iz »http://sl.wikipedia.org../../../v/e/r/Veri%C5%BEni_ulomek.html«

Kategoriji: Verižni ulomki | Matematična analiza

We provide Linux to the World