Professional Documents
Culture Documents
Nerešivi problemi
Uopšteno
Udvostručenje kocke
Slika 1.
3
Presek datih krivih (3) je tačka s x-koordinatom √2, što je ujedno i
rešenje problema. Nažalost, u 4. veku pre nove ere, kada je
Menehmo predložio svoje rešenje problema, nije bilo poznato
kako konstruisati potrebne konike. Isto tako, ni danas nije moguće
konstruisati iste isključivo koristeći lenjir i šestar. Godine 1637.
9.
Dekart je naslutio da je ovaj problem nerešiv pomoću lenjira i
šestara, što je i dokazao P. L. Wantzel 1837. godine.
Trisekcija ugla
Slika 2.
Napomenimo i sledeće. Neka je G središte duži HE. Tada
Hipokratovu tvrdnju možemo dokazati na sledeći način: Neka je
1
∠EAB = 𝛼 i ∠EAC = 𝛽. Treba pokazati da je ∠EAB = ∠CAB,
3
odnosno 2𝛼 = 𝛽 (jer je 3𝛼 = 𝛼 + 𝛽). Imamo da je
2|AC| = |HE| (4)
te kako je G središte duži HE, važi |HG| = |GE|. Nadalje, kako je
trougao HCE pravougli, sledi da je G centar kružnice opisane oko
trougla HCE, te važi
|HG| = |GE| = |CG|
odnosno i
|HE| = 2|HG| = 2|GE| = 2|CG| (5)
11.
Sada, iz (4) i (5) sledi da je|AC| = |CG|, te i ∠CGA = 𝛽, ∠ECG = 𝛼.
Napokon, iz ∠EGC = 180◦−𝛽 = 180◦−2𝛼, sledi da je 2𝛼 = 𝛽.
Nešto elegantnije rešenje dao je Arhimed, u 2. veku pre
nove ere. On je konstrukciju izvršio uz pomoć lenjira i šestara, pri
čemu je na lenjir dozvoljeno ucrtavanje duži, što izlazi iz okvira
dozvoljenih konstrukcija. Opišimo ukratko njegov pristup
problemu: Neka je dat proizvoljan oštri ugao ABC (vidi Sliku 3.), te
mu oko vrha B opišemo kružnicu proizvoljnog poluprečnika r.
Presek kružnice s kracima datog ugla označimo sa D i E. Na lenjir
nanesemo dužinu poluprečnika r, te je označimo s FG i postavimo
lenjir kroz tačku E, tako da su tačke F, G i E kolinearne, tačka F
se nalazi na kružnici, a G na pravcu AB. Time dobijamo ugao
AGE koji je jednak trećini datog ugla ABC. Tu tvrdnju možemo i
dokazati, uz oznake kao na Slici 3. Treba pokazati da je 3α5 =
α1 . Iz svojstava spoljašnjeg ugla trouglova GBE i FGB sledi da je
α1 = α2 + α5 (6)
α3 = α4 + α5 (7)
Nadalje, kako je trougao GBF jednakokraki, imamo da je
α4 = α5 (8)
Iz jednakosti (7) i (8) sledi da je
α3 = 2α5 (9)
Budući da je trougao EFB jednakokrak, imamo da je
α2 = α3 (10)
Koristeći (6), (9) i (10) slijedi niz jednakosti
α1 = α3 + α5 = 2𝛼5 + 𝛼5 = 3𝛼5 .
12.
Slika 3.
Važno je napomenuti da se Hipijine kvadratise, mogu koristiti
za rešavanje problema trisekcije ugla. P. L. Wanzel je pored
nemogućnosti rešavanja problema udvostručenja kocke, iste
godine pokazao i nemogućnost rešenja trisekcije ugla.
S trigonometrijskog aspekta problem konstrukcije datog ugla
ekvivalentan je konstrukciji njegovog kosinusa (vidi Sliku 4).
Slika 4.
Primenimo li trigonometrijski identitet
13.
cos 3𝛼 = 4cos3 𝛼 − 3cosα
s obzirom da je 𝑐𝑜𝑠3𝛼 zadat (budući da je 3𝛼 kut koji delimo) uz
oznake cos 3𝛼 = 𝑎 i cosα = 𝑥 možemo uočiti da se problem
trisekcije ugla 𝛼 svodi na rešavanje kubne jednačine:
4𝑥 3 − 3𝑥 − 𝑎 = 0 (11)
Racionalna rešenja prethodne jednačine možemo odrediti
koristeći sledeću teoremu:
𝑝
Teorema 1. Ako je racionalni broj koren jednačine
𝑞
𝑎𝑛 𝑥 𝑛 + 𝑎𝑛−1 𝑥 𝑛−1 + ⋯ + 𝑎1 𝑥 + 𝑎0 = 0, 𝑎𝑛 ≠ 0
s celobrojnim koeficijentima, a 𝑝 𝑖 𝑞 su uzajamno prosti, onda je
𝑝 delitelj slobodnog člana 𝑎0 i 𝑞 delitelj vodećeg koeficijenta 𝑎𝑛 .
Važno je napomenuti da ukoliko realan broj 𝑥 možemo
izraziti pomoću četiri osnovne računske operacije i kvadratnog
korena, odmah imamo i ekvivalentnu tvrdnju da dužinu 𝑥 možemo
konstruisati pomoću lenjira i šestara. Isto tako, poznata nam je i
sledeća tvrdnja:
Teorema 2: Ukoliko realan broj koji se može izraziti pomoću četiri
osnovne računske operacije i kvadratnog korena zadovoljava
kubnu jednačinu sa racionalnim koeficijentima, onda ta jednačina
ima bar jedno racionalno rešenje.
Kvadratura kruga
Slika 5.
Antifontove ideje koristio je i Brison, nešto kasnije u 5. veku
pre nove ere, te je doneo zaključke na osnovu postupka u kome
je upisao kvadrat u krug, te je zatim opisao i drugi kvadrat oko
kruga i posmatrao kvadrat izmedu njih (za koji se ne zna kako je
tekla konstrukcija) za koji je zaključio da mu je površina jednaka
površini zadatog kruga. Njegov zaključak je bio pogrešan.
Problem kvadrature kruga zainteresovao je i Hipokrata s
Hiosa, koji je bio jedan od najpoznatijih geometara u 5. veku pre
nove ere. Hipokrat se bavio kvadraturom figura u obliku
polumeseca, poznatih kao lunule (vidi Sliku 6), odnosno
Hipokratovi meseci. Takvim pristupom rešiv je i problem
kvadrature lunule jednakokrakim pravouglim trouglom, odnosno
on je pokazao da je površina zadatog trougla jednaka dvostrukoj
površini lunule.
16.
Slika 6.
Na isti način je Hipokrat pokušao rešiti problem kvadrature kruga,
no njegovo je rešenje opovrgnuto.
Hipija iz Elide je oko 420. godine prije nove ere otkrio krivu,
koju je Lajbnic kasnije nazvao kvadratisa, a koja je poslužila pri
rešavanju problema kvadrature kruga, najpre Dinostratu, a zatim i
ostalima. Nažalost, konstrukcija je zahtevala više od upotrebe
lenjira i šestara.
18.
a nešto kasnije dao je i donju granicu za 𝜋 u obliku 211875 :
67441, te gornju kao odnos 197888 : 62351.
Slika 7.
Kako znamo, navedena donja granica veća je od prave vrednosti
broja 𝜋, pa se njegov zaključak pokazao netačnim. Tek je 480.
godine nove ere Zu Chongzhi dobio znatno bolje ocjene za broj 𝜋:
3.1415926 < 𝜋 < 3.1415927
Popularnost problema kvadrature kruga dovela je do velikog
broja netačnih rešenja, te je Pariška Akademija 1775. donijela
odluku da više neće pregledavati radove na tu temu, čime je taj
problem svrstan u kategoriju rešavanja problema perpetuum
mobile. Napokon, Carl Louis Ferdinand von Lindemann postao je
slavan svojim dokazom iz 1882. da je broj 𝜋 transcedentan,
odnosno da ga nije moguće konstruirati lenjirom i šestarom, te je
ovim rezultatom dokazana nemogućnost konstrukcije kvadrature
kruga, na način na koji su to zahtevali stari Grci. Lindemann je
svoj rad objavio iste godine u članku „Uber die Zahl 𝜋“.
19.
Literatura:
[1] F. M. Bruckler, Povijest matematike 1, Odjel za
matematiku, Sveučilište J. J. Strossmayera u Osijeku, Osijek,
2007.
[2] Ž. Dadić, Povijest ideja i metoda u matematici i fizici,
Školska knjiga, Zagreb, 1992.
[3] B. Pavković, D. Veljan, Elementarna matematika 1,
Školska knjiga, Zagreb, 2004.
[4] E. W. Weisstein, Angle Trisection, from MathWorld–A
Wolfram Web Resource.
http://mathworld.wolfram.com/AngleTrisection.html
[5] Wikipedia
[6] Nepoznat autor, Geometrijski problemi antike, seminarski