Engelov razvoj

Engelov razvoj (Predloga:Jezik-en) pozitivnega realnega števila x je enolično nepadajoče zaporedje pozitivnih celih števil $\{a_1,a_2,a_3,\dots \}$, da velja:

$x=\frac{1}{a_1}+\frac{1}{a_1{a}_2}+\frac{1}{a_1{a}_2{a}_3}+\cdots .$

Racionalna števila imajo končni Engelov razvoj, iracionalna pa neskončnega. Če je x racionalen, Engelov razvoj zagotavlja predstavitev x kot egipčanski ulomek. Engelovi razvoji se imenujejo po Friedrichu Engelu, ki jih je raziskoval leta 1913.

Engelovi razvoji, verižni ulomki in Fibonacci

Kraaikamp in Wu sta pokazala, da je moč Engelov razvoj zapisati tudi kot naraščajočo različico verižnega ulomka:

$x=\frac{1+\frac{1+\frac{1+\cdots }{a_3}}{a_2}}{a_1}.$

Trdita da je naraščajoče verižne ulomke takšne oblike raziskoval že Leonardo Fibonacci v delu Knjiga o abaku (Liber Abaci) leta 1202. Izhajata iz Fibonaccijevega sestavljenega zapisa ulomkov, kjer ima zaporedje števcev in imenovalcev skupno ulomkovo črto, in predstavlja naraščajoči verižni ulomek:

$\frac{abcd}{efgh}=\frac{d+\frac{c+\frac{b+\frac{a}{e}}{f}}{g}}{h}\equiv \{a_1,a_2,a_3,\dots \}.$

Če imajo v takšnem zapisu, ki so pojavi na več mestih v Fibonaccijevem delu, vsi števci vrednost 0 ali 1, je zapis enak Engelovemu razvoju. Vendar splošni postopek Engelovega razvoja, kot se zdi, ni opisal Fibonacci.

Algoritem za računanje Engelovih razvojev

Za iskanje Engelovega razvoja x naj je:

$u_1=x,$

$a_k=\lceil \frac{1}{u_k}\rceil ,$

in:

$u_{k+1}=u_k{a}_k-1,$

kjer je $\lceil r\rceil$ zgornji celi del (najmanjše celo število večje ali enako od r).

Če je $u_i=0$ za kakšen i, se algoritem ustavi.

Zgled

Za Engelov razvoj števila 1,175 imamo:

$u_1=1,175,a_1=\lceil \frac{1}{1,175}\rceil =1;$

$u_2=u_1{a}_1-1=1,175\cdot 1-1=0,175,a_2=\lceil \frac{1}{0,175}\rceil =6;$

$u_3=u_2{a}_2-1=0,175\cdot 6-1=0,05,a_3=\lceil \frac{1}{0,05}\rceil =20;$

$u_4=u_3{a}_3-1=0,05\cdot 20-1=0.$

Zaporedje se tu konča. Tako je:

$1,175=\frac{1}{1}+\frac{1}{1\cdot 6}+\frac{1}{1\cdot 6\cdot 20}$

in Engelov razvoj števila $1,175$ je $\{1,6,20\}$.

Engelovi razvoji racionalnih števil

Vsako pozitivno racionalno število ima enolični končni Engelov razvoj. Če je v algoritmu za Engelov razvoj u_i racionalno število x/y, potem je u_i+1 = (−y mod x)/y. Zaradi tega se v vsakem koraku števec preostalega ulomka u_i poveča in se mora proces konstruiranja Engelovega razvoja končati v končnem številu korakov. Vsako racionalno število ima tudi enoličen neskončni Engelov razvoj. S pomočjo enakosti:

$\frac{1}{n}=\sum _{r=1}^{\mathrm{\infty }}\frac{1}{(n+1{)}^r}$

se lahko končna števka n v končnem Engelovem razvoju zamenja z neskončnim zaporedjem členov (n + 1), ne da bi se vrednost števila spremenila. Na primer:

$1,175=\{1,6,20\}=\{1,6,21,21,21,\dots \}.$

To je podobno dejstvu da ima vsako racionalno število s končnim številom decimalk tudi neskončni decimalni zapis (glej 0,999...).

Engelovi razvoji nekaterih znanih števil

simbol	Engelov razvoj	OEIS	ime
$\pi$	$\{1,1,1,8,8,17,19,300,1991,2492,\dots \}$	Predloga:OEIS2	π
$e$	$\{1,1,2,3,4,5,6,7,8,9,10,11,12,13,\dots \}$ V splošnem: $e^{1/r}-1=\{1r,2r,3r,4r,5r,6r,\dots \}$	Predloga:OEIS2	e
$K_0$	$\{1,1,2,3,9,70,117,503,648,1078,12868,41235,178650,\dots \}$	Predloga:OEIS2	Hinčinova konstanta
$\sqrt{3}$	$\{1,2,3,3,6,17,23,25,27,73,\dots \}$	Predloga:OEIS2	kvadratni koren iz 3
$\zeta (2)$	$\{1,2,4,7,9,22,35,79,2992,3597,17523,28632,41470,53093,\dots \}$	Predloga:OEIS2	ζ(2)
$\mathrm{\Phi }$	$\{1,2,5,6,13,16,16,38,48,58,104,\dots \}$	Predloga:OEIS2	število zlatega reza
$\sqrt{2}$	$\{1,3,5,5,16,18,78,102,120,144,\dots \}$	Predloga:OEIS2	kvadratni koren iz 2
$\zeta (3)$	$\{1,5,98,127,923,5474,16490,25355,37910,85150,\dots \}$	Predloga:OEIS2	ζ(3) (Apéryjeva konstanta)
$1$	$\{2,2,2,2,2,\dots \}$		1
$K$	$\{2,2,2,4,4,5,5,12,13,41,110,\dots \}$	Predloga:OEIS2	Catalanova konstanta
$\gamma$	$\{2,7,13,19,85,2601,9602,46268,4812284,\dots \}$	Predloga:OEIS2	Euler-Mascheronijeva konstanta

V splošnem je Engelov razvoj s konstantnimi členi geometrično zaporedje.

Glej tudi

• Pierceov razvoj

Viri

• Predloga:Citat
• Predloga:Citat

Zunanje povezave

• Engelovi razvoji Predloga:Ikona en
• Predloga:MathWorld