Professional Documents
Culture Documents
Branko Malešević, Luka Milinković, Verižni Razlomci I Primene, Simpozijum Matematika I Primene
Branko Malešević, Luka Milinković, Verižni Razlomci I Primene, Simpozijum Matematika I Primene
V(1)
Branko Malešević
Elektrotehnički fakultet u Beogradu, Bulevar kralja Aleksandra 73
branko.malesevic@etf.rs
Luka Milinković
Elektrotehnički fakultet u Beogradu, Bulevar kralja Aleksandra 73
luka.milinkovic@etf.rs
Apstrakt. U radu će se prikazati neki elementi teorije aproksimacija realnih brojeva razlomcima. Posebno
će se razmatrati najbolje racionalne aproksimacije realnih brojeva prve i druge vrste. Na osnovu tih
aproksimacija odrediće se najbolje racionalne aproksimacije nekih matematičkih i astronomskih konstanti.
Ključne reči: Racionalne aproksimacije, konvergente i sekundarne konvergente, verižne i međuverižne
aproksimacije
1. Uvod
U matematici verižni razlomak je izraz oblika
1
,
(1)
⋱
∙
(5)
∙
koje važe za 2, dobijamo niz razlomaka . Ove razlomke nazivamo konvergentama. Racionalne
brojeve razmatrajmo kao redukovane prave razlomke (koji nisu celi brojevi). Tada, svaki racionalni
broj , za ∈ i ∈ , možemo napisati u obliku konačnog verižnog razlomka tako
što verižne decimale ∈ i , ,…, ∈ određujemo pomoću Euklidovog algoritma:
∙
∙
∙ (6)
⋮
∙
∙ ,
pri tom ⋯ . Iz sleduje zaključak 1. Znači verižne
decimale ∈ i , ,…, ∈ su jedinstveno određene i poslednja verižna decimala ne može
biti 1. Takav način zapisivanja verižnih decimala, tako da 1, je uobičajen i nazivamo ga
standardnom (normalnom) formom. U literaturi se koristi i duga forma verižnog zapisa tako što se za
1 verižni zapis ; , ,…, razmatra u obliku ; , ,…, 1 ,1 , videti npr. [10].
Cilj našeg rada je da se navedu neka svojstva verižnih razlomaka i izdvoje neke numeričke
osobine.
Svojstvo 1. Imenioci i brojioci pk i qk određeni formulama (5) jesu uzajamno prosti brojevi.
Svojstvo 2. Niz imenilaca q1,q2,...,qn,... verižnih razlomaka, jeste strogo rastući niz brojeva. Apsolutne
razlike između verižnih razlomaka i , određene sa |∆ | monotono teže
∙
ka 0.
Svojstvo 3. Svaki verižni razlomak sa neparnim indeksom n veći je od susednih verižnih razlomaka
i . Svaki verižni razlomak sa parnim indeksom n manja je od susednih verižnih razlomaka
i .
.
Važi:
1
. (7)
∙
Svojstvo 4. Niz verižnih razlomaka sa parnim indeksom jeste niz monotono rastućih brojeva, a niz
verižnih razlomaka sa neparnim indeksima jeste niz monotono opadajućih brojeva
⋯ ⋯ . (8)
tako da svaki član niza sadrži sve naredne članove niza i dužina niza segmenta |∆ |
∙
monotono teži ka 0.
Svojstvo 6.
1
(9)
Kvalitet aproksimacije realnog broja razlomkom navodimo prema knjizi А.Я. Хинчин-a [1].
Racionalni broj jeste najbolja racionalna aproksimacija prve vrste realnog broja ako važi:
(10)
Racionalni broj jeste najbolja racionalna aproksimacija druge vrste realnog broja ako važi:
| | | | (11)
za sve razlomke takve da 0 .
Sekundarne konvergente broja za dve uzastopne konvergente / i / , definisane su
nizovima:
, ∙
, (12)
, ∙
gde ∈ 1,2, … , 1.
Svojstvo 7. Svaka najbolja racionalna aproksimacija prve vrste broja α je konvergenta ili neka
sekundarna konvergenta tog broja.
Svojstvo 8. Svaka najbolja racionalna aproksimacija druge vrste broja α je konvergenta. Obrnuto,
svaka konvergenta je najbolja racionalna aproksimacija druge vrste broja α ; izuzev izolovanog
slučaja .
Najbolja racionalna aproksimacija druge vrste jeste najbolja racionalna aproksimacija prve vrste.
Obrnuto ne važi. U nizu najboljih aproksimacija prve vrste se nalaze sve konvergente posmatranog
broja i te konvergente takođe nazivamo verižnim aproksimacijama. U nizu najboljih aproksimacija
prve vrste se mogu naći i neke sekundarne konvergente posmatranog broja i sve takve sekundarne
konvergente nazivamo međuverižnim aproksimacijama. Saglasno prethodnim nazivima važi:
Svojstvo 9. Racionalan broj ( 2) je najbolja racionalna aproksimacija prve vrste broja α ako i
samo ako je verižna ili međuverižna aproksimacija tog broja.
i
; ,…, , , (14)
; ,…, , , (15)
Svojstvo 10. [3] Neka su za realan broj α date dve uzastopne verižne aproksimacije
; ,…, i ; ,…, , . Ako postoji prva međuverižna aproksimacija
; ,…, , (16)
bolja aproksimacija od .
3. Određivanje verižnih i međuverižnih aproksimacija
Na osnovu prethodnih svojstava moguće je korišćenjem algoritma izloženog u [3] odrediti za
izabrane realne konstante verižne i međuverižne aproksimacije. U ovom delu razmotrićemo praktično
određivanje verižnih i međuverižnih aproksimacija na primeru dve matematičke konstante i jedne
astronomske konstante.
3.1.1. Broj p
U tabeli 1 su prikazane najbolje racionalne aproksimacije prve vrste broja π sa svojim verižnim,
odnosno međuverižnim ciframa. Verižne aproksimacije su označene zvezdicom (*). U trećoj koloni
su prikazana i odstupanja od stvarne vrednosti broja π. Može se videti da su odstupanja međuverižnih
aproksimacija istog znaka, kao i odstupanje odgovarajućih verižnih aproksimacija.
∗ . (17)
3.1.2. Broj e
Broj e ima karakterističan verižni zapis sa određenim pravilom. Naime, svaka treća cifra, krenuvši
od druge, je veća za dva od treće pre nje [3]. Sve ostale cifre, osim nulte (koja je 2) su jedinice
2; 1,2,1,1,4,1,1,6,1,1,8,1,1,10 … . (18)
Zbog postojanja jedinica, najbolje racionalne aproksimacije se mogu pisati na dva načina, preko
standardne forme, tabela 2, i preko duge forme, tabela 3. Ako se pogleda tabela 2, može se primetiti
da postoje dve najbolje racionalne aproksimacije koje sadrže samo nultu cifru e=[2] i e=[3], a nijedna
koja sadrži i nultu i prvu cifru. Sledeća najbolja racionalna aproksimacija sadrži tri cifre e=[2; 1, 2].
Zato se često dešava da se kao prva najbolja racionalna aproksimacija navodi e=[3].
Do navedenih zaključaka se dolazi upotrebom standardne forme verižnog zapisa. Ipak, preko
duge forme verižnog zapisa, kada se verižni niz može završiti sa brojem 1, jasno se vidi da postoji
uvek jedna i samo jedna najbolja racionalan aproksimacija prve vrste sastavljena od verižnih cifara,
tabela 3. Tako je e=[2;1]=[3] najbolja racionalna aproksimacija prve vrste sa dve verižne cifre.
Standardna forma zapisa se primenjuje samo zato što je prva verižna cifra 1, a ne zato što ne postoji.
Verižne cifre
Aproksimacije
Standardna forma zapisa Duga forma zapisa
29/1 = [29] * = [29] *
30/1 = [30] * = [29; 1] *
59/2 = [29; 2] * = [29; 1, 1] *
266/9 = [29; 1, 1, 4] = [29; 1, 1, 4]
325/11 = [29; 1, 1, 5] = [29; 1, 1, 5]
384/13 = [29; 1, 1, 6] = [29; 1, 1, 6]
443/15 = [29; 1, 1, 7] * = [29; 1, 1, 7] *
502/17 = [29; 1, 1, 8] * = [29; 1, 1, 7, 1] *
945/32 = [29; 1, 1, 7, 2] = [29; 1, 1, 7, 1, 1]
1447/49 = [29; 1, 1, 7, 1, 2] * = [29; 1, 1, 7, 1, 2] *
Tabela 4. Verižni zapisi zajedničkih najboljih racionalnih aproksimacija prve vrste
konstanti sinodičkog meseca s1, s2, s3, s4, s5
U tabeli 5 su prikazane neke najbolje racionalne aproksimacije prve vrste koje nisu zajedničke za
svih 5 navedenih konstanti.
Verižne cifre
Aproksimacije
Standardna forma zapisa Duga forma zapisa
12078/409 = [29; 1, 1, 7, 1, 2, 8] = [29; 1, 1, 7, 1, 2, 8]
13525/458 = [29; 1, 1, 7, 1, 2, 9] = [29; 1, 1, 7, 1, 2, 9]
⋮ ⋮ ⋮
s1
20760/703 = [29; 1, 1, 7, 1, 2, 14] = [29; 1, 1, 7, 1, 2, 14]
22207/752 = [29; 1, 1, 7, 1, 2, 15] * = [29; 1, 1, 7, 1, 2, 15] *
23654/801 = [29; 1, 1, 7, 1, 2, 16] * = [29; 1, 1, 7, 1, 2, 15, 1] *
12078/409 = [29; 1, 1, 7, 1, 2, 8] = [29; 1, 1, 7, 1, 2, 8]
13525/458 = [29; 1, 1, 7, 1, 2, 9] = [29; 1, 1, 7, 1, 2, 9]
⋮ ⋮ ⋮
22207/752 = [29; 1, 1, 7, 1, 2, 15] = [29; 1, 1, 7, 1, 2, 15]
s2
23654/801 = [29; 1, 1, 7, 1, 2, 16] * = [29; 1, 1, 7, 1, 2, 16] *
96063/3253 = [29; 1, 1, 7, 1, 2, 16, 4] = [29; 1, 1, 7, 1, 2, 16, 4]
119717/4054 = [29; 1, 1, 7, 1, 2, 16, 5] = [29; 1, 1, 7, 1, 2, 16, 5]
143371/4855 = [29; 1, 1, 7, 1, 2, 16, 6] * = [29; 1, 1, 7, 1, 2, 16, 6] *
13525/458 = [29; 1, 1, 7, 1, 2, 9] = [29; 1, 1, 7, 1, 2, 9]
14972/507 = [29; 1, 1, 7, 1, 2, 10] = [29; 1, 1, 7, 1, 2, 10]
⋮ ⋮ ⋮
s3
22207/752 = [29; 1, 1, 7, 1, 2, 15] = [29; 1, 1, 7, 1, 2, 15]
23654/801 = [29; 1, 1, 7, 1, 2, 16] * = [29; 1, 1, 7, 1, 2, 16] *
25101/850 = [29; 1, 1, 7, 1, 2, 17] * = [29; 1, 1, 7, 1, 2, 16, 1] *
13525/458 = [29; 1, 1, 7, 1, 2, 9] = [29; 1, 1, 7, 1, 2, 9]
14972/507 = [29; 1, 1, 7, 1, 2, 10] = [29; 1, 1, 7, 1, 2, 10]
⋮ ⋮ ⋮
s4
23654/801 = [29; 1, 1, 7, 1, 2, 16] = [29; 1, 1, 7, 1, 2, 16]
25101/850 = [29; 1, 1, 7, 1, 2, 17] * = [29; 1, 1, 7, 1, 2, 17] *
26548/899 = [29; 1, 1, 7, 1, 2, 18] * = [29; 1, 1, 7, 1, 2, 17, 1] *
14972/507 = [29; 1, 1, 7, 1, 2, 10] = [29; 1, 1, 7, 1, 2, 10]
16419/556 = [29; 1, 1, 7, 1, 2, 11] = [29; 1, 1, 7, 1, 2, 11]
⋮ ⋮ ⋮
s5
25101/850 = [29; 1, 1, 7, 1, 2, 17] = [29; 1, 1, 7, 1, 2, 17]
26548/899 = [29; 1, 1, 7, 1, 2, 18] * = [29; 1, 1, 7, 1, 2, 18] *
54543/1847 = [29; 1, 1, 7, 1, 2, 18, 2] * = [29; 1, 1, 7, 1, 2, 18, 2] *
Tabela 5. Verižni zapisi najboljih racionalnih aproksimacija prve vrste
konstanti sinodičkog meseca s1, s2, s3, s4, s5 koje nisu zajedničke
; , , , , , 15,1,1,10,1,1,2,2,2 , (19)
; , , , , , 16,6,1,1,1,1,2,14 , (20)
; , , , , , 16,1,4,1,15,1,2 , (21)
; , , , , , 17,1,1,3,26,1,5 , (22)
; , , , , , 18,2,1,1,1,13 . (23)
Na osnovu prethodnog zaključujemo da za vremenski interval naznačen na slici 1 korektna su
samo zaključivanja na osnovu verižne aproksimacije ; , , , , .
4. Zaključak
Istraživanje u ovom radu je nastavak rada [3] sa ciljem da se upotpuni i proširi analiza primene
verižnih i međuverižnih aproksimacija u oblastima koji su autori razmatrali u referencama [3], [6],
[8]. U narednim istraživanjima razmotriće se i niz konkretnih primena verižnih i međuverižnih
aproksimacija.
Zahvalnica. Rad je napisan kao rezultat projekta III44006 koji se realizuje u okviru MI SANU.
Bibliografija
[1] Александр Яковлевич Хинчин: Цепные дроби, Государственное издательство технико – теоретической
литературы, Москва 1935.
[2] Jacques Laskar: Secular terms of classical planetary theories using the results of general theory, Astronomy and
Astrophysics, Vol. 157, no. 1, March 1986, p. 59-70.
[3] Бранко Малешевић: Рационалне апроксимације реалних бројева и неке примене, Настава математике, XLIII, 3,
1998., стр. 20–31.
[4] Jean Meeus: Astronomical Algorithms, Second edition, Willmann Bell, Inc. Publ.,1999.
[5] Nachum Dershowitz, Edward M. Reingold: Calendrical Calculations, Third edition, Cambridge press, 2001.
[6] Бранко Малешевић: Истраживање помоћу рачунара у математици, циклус Математика и рачунарство - како
рачунари помажу у математичким истраживањима, Коларац – Београд 18. XII 2008. http://static.astronomija.co.rs/
[7] Phases of the Moon: 2011 to 2030 http://astropixels.com/ephemeris/moon/phases2011mst.html
[8] Luka Milinković, Branko Malešević: Pseudo-Random Number Generator Analysis Based on the Set of Quadratic
Irrationals, Proceedings of 20-th TELFOR conference, pp. 536-539, Beograd 2012.
[9] Branislav Popkonstantinović, Ratko Obradović, Zorana Jeli, Slobodan Mišić: Synthesis, solid modeling and
working simulation of moon phase clock mechanism, Proceedings of 4-th International Scientific Conference on
Geometry and Graphics, moNGeometrija 2014, Vol. 1, pp. 141-156, Vlasina 2014.
[10] Allan Cortzen: Continued fractions and semiconvergents as approximations to rational numbers, preprint 2015.
http://lanco.host22.com/web_documents/continfrac.ver.4.pdf
[11] Phases of the Moon 2015 http://www.astropixels.com/ephemeris/astrocal/astrocal2015cst.html