+ All Categories
Home > Documents > Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za...

Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za...

Date post: 12-Oct-2020
Category:
Upload: others
View: 1 times
Download: 0 times
Share this document with a friend
60
R ˇ ECKO 3000 nejstars ˇı ´ osı ´dlenı ´ Tro ´ je 2000 pr ˇı ´chod indoevropsky ´ ch kmenu ˚ 1700 rozkve ˇ t Kre ´ty 1500–1200 rozkve ˇ t Myke ´n 1240–1200 egejske ´ ste ˇ hova ´nı ´, vpa ´ d Do ´ ru ˚ do R ˇ ecka, r ˇecka ´ vy ´prava proti Troji 8.–6. stol. velka ´r ˇecka ´ kolonizace, vznik me ˇ stsky ´ ch sta ´tu ˚ por ˇec ˇte ˇnı ´ cele ´ ho severnı ´ho pobr ˇez ˇı ´ Str ˇedozemnı ´ho mor ˇe a cele ´ ho pobr ˇez ˇı ´C ˇ erne ´ ho mor ˇe vznik me ˇ st: Kroto ´n, Elea, Tarent, Syraku ´zy, Metaponton, aj.
Transcript
Page 1: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

RECKO

3000 nejstarsı osıdlenı Troje

2000 prıchod indoevropskych kmenu

1700 rozkvet Krety

1500–1200 rozkvet Myken

1240–1200 egejske stehovanı, vpad Doru do Recka, reckavyprava proti Troji

8.–6. stol. velka recka kolonizace, vznik mestskych statu

porectenı celeho severnıho pobrezı Stredozemnıhomore a celeho pobrezı Cerneho more

vznik mest:Kroton, Elea, Tarent, Syrakuzy, Metaponton, aj.

Page 2: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

2

Page 3: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Elea

3

Page 4: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

4

Page 5: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Prameny

• 5. – 6. stol. pr. Kr.: temer zadne prameny z filozofie a vedy

– lekarstvı: sbırka spisu Hippokratovske skoly

– matematika, filozofie: zlomky zapsane pozdeji

• castecne ci uplne se zachovaly:– spisy Platona (427–347 pr. Kr.)

– spisy Aristotela (384–322)

– spisy Eukledia (365?–300?)

Zaklady – nejstarsı zcela zachovale dılo recke mate-matiky; do znacne mıry kompilace del predchozıchmatematiku

– spisy pozdejsıch myslitelu

• 2. pol. 4. stol. pr. Kr., Eudemos z Rhodu:

Dejiny matematiky, Dejiny geometrie, Dejiny astronomie

(dıla se nezachovala)5

Page 6: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

• Marcus Tullius Cicero (106–43 pr. Kr.):

ve spisech rada informacı o zivote a dıle reckych myslitelu;napr. Tuskulske hovory (45–44 pr. Kr.)

• Diogenes Laertios (3. stol. n.l.):

O zivote, nazorech a vyrocıch muzu, kterı vynikli ve filozo-fii

povrchnı a nekriticka kompilace vytvorena na zaklade star-sıch pramenu

• . . .

6

Page 7: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

PUVOD RECKE MATEMATIKY

Poznatky zıskane v Egypte a Mezopotamii – do jake mıry?

Herodotos (484?–430?), Dejiny aneb devet knih dejin nazva-nych Musy:

Tento kral [egyptsky kral Sesostrisos] pry rozdelil pudu mezivsechny Egypt’any a kazdemu pridelil velky ctverhranny dıl; podletoho pak urcil dane a narıdil, aby byly odvadeny rocne. Jestlizereka nekomu kus pozemku urvala, prisel ke krali a oznamil, cose stalo. Kral poslal sve lidi, aby vec zhledli a vymerili, o kolik sepozemek zmensil, aby jeho majitel platil narızenou dan umernepodle zbyle vymery. Myslım, ze tak vzniklo zememericstvı a do-stalo se do Recka.Nastroj pro urcovanı rocnıch obdobı, slunecnı hodiny a rozdelenıdne na dvanact dılu poznali Rekove od Babylonanu.

Podobne nazory i u Prokla (410–485), Aristotela a Platona

7

Page 8: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

4. – 6. stoletı pr. Kr.

• vyrazny kvalitativnı skok

• zpracovanı a pretvorenı nahromadenych empirickych i teore-tickych matematickych poznatku v exaktnı vedu

• vymezenı zakladnıch pojmu (bod, prımka, rovina, cıslo, pomeraj.) (rozvıjejıcı se abstraktnı myslenı)

• formulace axiomu, postulatu, logickych principu odvozovanı

• uvedomela vystavba matematickeho sveta ze zakladnıch prvkupodle pravidel danych axiomy a postulaty

• princip minimalizace vychozıch pojmu, predpokladu a postupu

8

Page 9: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

PRVNI FILOZOFOVE – 6. STOL. PR. KR.

Vyznamnı filozofove v tehdejsıch civilizacıch:

• Cına: Konfucius (551–479)

• Indie: zakladatel dzinismu Mahavıra (599–527), Budha (563–483)

• zidovsky svet: proroci Jeremias a Ezechiel

• Recko: prvnı filozofove Thales, Anaximandros, Anaxime-nes, Pythagoras, Herakleitos a dalsıMala Asie: Milet a Efesospokus o prırodovedny vyklad vesmıru, opustenı mytolo-gickeho vykladu

9

Page 10: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

THALES Z MILETU (625 – 545)

10

Page 11: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

THALES Z MILETU (625 – 545)

pokladan za prvnıho reckeho filozofa

obchodnık (olivove lisy)inzenyrpoliticky cinitel(usiloval o sjednocenı ionskych osad na pobrezı Male Asie)matematik a astronom

navstıvil Babylonii, kde se seznamil s periodicitou slunecnych amesıcnıch zatmenı, uspesne predpovedel zatmenı Slunce v roce585 pr. n. l.

v Egypte se naucil pocıtat vysku pyramid podle jejich stınu

O prırode: povazoval vodu za pralatku, ze ktere vsechno vznikaa do ktere vsechno zanika (voda ma tri skupenstvı, bez vodyzanika zivot, vse je vysledkem redenı a zhust’ovanı).

11

Page 12: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Matematicke vysledky:

• prumer delı kruh na dve poloviny

• uhly pri zakladne rovnoramenneho trojuhelnıka jsou shodne

• vrcholove uhly jsou shodne

• vsechny uhly nad prumerem jsou prave

Nevıme, zda je pouze formuloval nebo i dokazal.

Ovladl pojem podobnosti trojuhelnıku, ktere vyuzıval k urcovanıvysek a vzdalenostı lodı na mori.

12

Page 13: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

ANAXIMANDROS (610 – 546)

zak Thaleta

filozof, astronom, geograf

za pralatku povazoval neomezenou neurcitou latku apeiron(z nı procesem vydelovanı vznikajı veci)

nechal ve Sparte postavit gnomon (sloupek postaveny kolmo kvodorovne plose) k merenı casu, stanovenı rovnodennosti a slu-novratu

nakreslil mapu tehdejsıho sveta

vytvoril model hvezdne sfery

znal pojem ekliptiky, formuloval geocentricky model vesmıru; Zemipovazoval za valec, ktery se volne vznası ve stredu vesmıru; po-kousel se urcit rozmery Slunce, Zeme a Mesıce.

13

Page 14: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

ANAXIMENES (585 – 528)

zak Anaximandra

za pralatku povazoval vzduch

nebeska telesa jsou plocha, vznasejı se ve vzduchu, ostatnılatky vznikajı zhust’ovanım a zred’ovanım vzduchu

HERAKLEITOS Z EFESU (540 – 480)

za zakladnı prvek povazoval ohen

svet je vecny, ale vse plyne a je pomıjive

14

Page 15: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Filozoficka skola ve meste ELEA(VELIA, jiznı Italie)

zakladatel: Xenofanes z Kolofonu (565–470)

nejdulezitejsı predstavitele:

PARMENIDES (540 – 450)

navazal na Xenofanovy myslenky o jedinem nehybnem a ne-mennem jsoucnu, souvisle latce, ktera je vsude stejna, ne-vznikla a nezanikne. Toto jsoucno vyplnuje prostor, ktery jeod latky neoddelitelny; proto neexistuje ani prazdno, ani po-hyb, ani denı. Do prıkreho protikladu stavı rozumove a smys-love poznanı. Smysly neprinasejı verohodne poznanı, ale jenpravdepodobne, ci dokonce nejiste zdanı.

15

Page 16: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

ZENON (480 – 430)

zak Parmenida, hajı jeho nazory – sporem: prijıma namitkyodpurcu (existuje pohyb, prostor muze byt oddelen od latky)a odvozuje z nich absurdnı tvrzenı, aporie

APORIE:

• Dichotomie: Nenı pohybu, jezto to, co se pohybuje, musı dojıtdrıve do poloviny cesty, nez dojde k cıli ... nelze projıt nekonec-nym poctem mıst nebo se dotknout nekonecneho poctu mıst vkonecnem case.

odmıtnutı moznosti, ze by bylo mozne v konecnem case ura-zit nekonecne mnoho useku, tedy secıst nekonecnou radu ==odmıtnutı aktualnıho nekonecna(

s =1

2+1

22+1

23+ · · ·

)

16

Page 17: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

• Achilles a zelva: Nejpomalejsı tvor nemuze byt v behu nikdydostizen nejrychlejsım, nebot’ pronasledujıcı musı drıve dojıttam, odkud vybehl prchajıcı, takze pomalejsı je nutne vzdy oneco napred.

• Sıp: pohybujıcı se . . . sıp stojı . . . nebot’ je-li vse vzdy v klidunebo v pohybu, (a nehyba-li se), cokoli je v stejnem prostoru,a je-li konecne to, co se pohybuje, v jednom okamziku (vzdy vstejnem prostoru), pak je letıcı sıp nepohnuty.

tj. pohybujıcı sıp je v kazdem okamziku sveho letu v urcitembode a v tomto bode je v tom okamziku v klidu. Pak je v kazdemokamziku v klidu a nepohybuje se

• Stadion: Necht’ existujı dve rady teles, kazda z nich se skladaze stejneho poctu teles o stejnem objemu. Necht’ se ta telesapohybujı jedno vedle druheho po zavodnı draze stejnou rych-lostı opacnymi smery. Pak dochazıme k zaveru, ze polovinadaneho casu se rovna jeho dvojnasobku.

17

Page 18: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

RECTI ATOMISTE

Leukippos (500 – 440), Demokritos z Abder (460 – 370)

uznali prazdny prostor, pohyb, zmenu, vznik a zanik

za zakladnı prvky jsoucna pokladali nepatrne, neviditelne a ne-delitelne castecky, atomy – ruzne velke a ruzne hmotne, ne-menne, neznicitelne, oddelene prazdnym prostorem, v neusta-lem pohybu. Vznik a zanik vecı je spojovanı a rozlucovanı atomu,vse se deje dle osudu a zakona.

Demokritos – nekolik matematickych spisubod = prostorovy atom, usecka = tvorena konecnym poctembodu (i kdyz vetsım, nez lze smysly poznat)kruh = mnohouhelnık, jehoz kazdou stranu tvorı jen dva atomy.Geometricka telesa = tvorena rovnobeznymi destickami o sılejednoho atomu ⇒ vypocet objemu nekterych teles; zrejme doka-zal, ze objem hranolu je trikrat vetsı nez objem jehlanu o stejnezakladne a vysce.

18

Page 19: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

19

Page 20: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

PYTHAGOREJCI

PYTHAGORAS (570?–500?)politik, filozof, myslitel, matematik

pochazel z ostrova Samos (nedaleko Miletu)

pozdeji presıdlil do Krotonu v jiznı Italii, kde zalozil filozofickouskolu, ktera mela zaroven charakter nabozenske skoly ci sekty→ pozdeji vyhnani; Pythagoras zemrel v Metapontu

Podle Cicera byl Pythagoras vynalezcem slova filozofie

zaklad jsoucna= cıslo (arithmos): spolecny element vsech jevu

– prıtomne v pohybu planet, majestatu pyramid, v hudbe, tanci, . . .– neomylne, na rozdıl od vsech konkretnıch jevu je dokonale– jeho zakonitosti jsou nezavisle na nasem svete(soucet dvou sudych cısel je sude cıslo a na tom nic nezmenıZeus ani Moira, vybuch sopky ci mor)

stavbu sveta lze popsat prirozenymi cısly a jejich pomery

20

Page 21: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

21

Page 22: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Pythagoras (570?–500?)

22

Page 23: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Pythagorejci prosazovali studium kvadrivia (geometrie, arit-metika, astronomie a hudba), mezi jeho jednotlivymi soucastmicıtili uzke souvislosti (napr. Pythagorova veta a pythagorejsketrojice cısel; pravidelne mnohouhelnıky a figuralnı cısla).

Pythagorejsky pohled na svet cısel:1 = zakladnı stavebnı jednotka aritmetiky (zakladnı jednotkacıselneho mnozstvı, nikoli cıslo) i geometrie (bod, zakladnı jed-notka obsahu plochy ci objemu)

prirozene cıslo = souhrn jednotek

kladna racionalnı cısla = pomery prirozenych cısel

Zpocatku se domnıvali, ze s tımto svetem cısel a velicin vystacı,pozdeji se vsak presvedcili o opaku:objev nesoumeritelnych velicin ⇒ 1. krize matematiky

23

Page 24: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Hudba

Pythagorejci hudbu chapali v uzkem vztahu k matematice

Vyska tonu je neprımo umerna delce struny nebo vysce vzdu-choveho sloupce (drıve zajiste intuitivne pouzıvano)

Monochord

24

Page 25: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Vyslovili zakon harmonie: k danemu tonu vytvorenemu napr.chvejıcı se strunou zıskame ton, ktery s nım ladı, kdyz strunuseskrtıme tak, aby pomer delek vznikleho useku a cele struny bylvyjadren pomocı malych prirozenych cısel

oktava: pomer 1 : 2, kvinta: 2 : 3, kvarta: 3 : 4

1

2=3

4·2

3

Hudebnı umera: (12, 9, 8, 6)

6 : 12 = oktava, 8 : 12 = kvinta, 9 : 12 = kvarta

9 = 12+62 (aritmeticky prumer), 8 = 2·6·12

12+6 (harmonicky prumer)

cely ton . . . 23 =812 =

912 · 89 (pulton: 89 = p · p ⇒ p = 2

√23 )

velka tercie . . . 89 · 89 =6481

pulton . . . 34 =6481 · p ⇒ p = 3

4 · 6481 =243256

25

Page 26: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

26

Page 27: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Oktava rozdelena na 5 celotonovych a 2 pultonove kroky:

8

9·8

9·243

256·8

9·8

9·8

9·243

256Pythagorejske komma: o kolik se lisı od 1 pomer 7. oktavy a 12.kvinty:

(12

)7:(23

)12= 1, 01364...

Temperovane ladenı

Prvnı pokus:

Bartolome Ramos (1440 – 1491): De musica tractatus, 1482

Numericke vypracovanı a prakticke pouzitı:

Marin Mersenne (1588 – 1648): Harmonie Universelle, 1636

Oktava rozdelena na 12 stejnych kroku o stejnem podılu frek-vencı:

q12 = 2 ⇒ q = 12√2 = 1, 0594630944...

27

Page 28: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Kosmologie

Opustenı geocentrismu

Stred vesmıru: centralnı ohen, kolem neho rovnomerne obı-haly planety, Slunce, Mesıc, Zeme a Protizeme (tedy 10 objektua deset je dokonale cıslo).

Objekty se nachazejı na sferach, jejich prumery jsou pomery ma-lych prirozenych cısel, ktere odpovıdajı hudebnım pomerum.

Pohyb sfer zpusobuje dokonale krasnou hudbu, vnımanou snadjen rozumem.

Harmonie kosmu, hudba sfer

28

Page 29: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Cıselny mysticismus

jednotliva cısla mela ruzny vyznam a moc.

Suda byla zenska, licha muzska,

cıslo 4 predstavovalo spravedlnost, cıslo 5 manzelstvı apod.

Cıslo 10 je dokonale: 1 + 2 + 3 + 4 = 10, kde 1 je zakladnıjednotka, 2 body urcujı prımku, 3 rovinu a 4 prostor.

Magickym obrazcem byl pro pythagorejce pravidelny petiuhelnık.Snad proto, ze jeho uhloprıcky jsou navzajem deleny v pomeruzlateho rezu. Snad proto, ze schopnost konstruovat tento utvarpomocı pravıtka a kruzıtka byl prvnı velky uspech recke matema-tiky.

29

Page 30: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Pythagorova veta

Pythagorova veta byla pravdepodobne znama jiz v Egypte a zcelajiste davno pred Pythagorem v Mezopotamii. Nevıme vsak, zdabyl znam jejı dukaz. Byly znamy nektere pythagorejske trojicecısel, ktere byly zrejme vypozorovany z tabulek druhych mocnin.

Rekove pripisujı prvnı dukaz teto vety Pythagorovi, ktery pry jakovyraz vdecnosti obetoval bohum sto volu.

Platonuv dialog Menon – zdvojenı ctverce:

30

Page 31: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

31

Page 32: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

32

Page 33: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Jak vypadal Pythagoruv dukaz, nevıme. Nasledujıcı dukaz je ob-sazen v Eukleidovych Zakladech.

33

Page 34: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Trojuhelnıky ABD, FBC jsou shodne (sus):

34

Page 35: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Obsah trojuhelnıka FBC je roven polovine obsahu ctverce ABGF(BF je zakladna, FG vyska), obsah trojuhelnıka ABD je rovenpolovine obsahu obdelnıka BDLM, obsahy ABGF a BDLM jsou sitedy rovny

35

Page 36: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Analogicky pro trojuhelnıky ACE, KCB:

36

Page 37: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Obsah ctverce ACKH je roven obsahu obdelnıka LECM:

37

Page 38: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

38

Page 39: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Figuralnı cıslaHledanı radu, zakonitostı a harmonie ve svete prirozenych cısel,snaha o klasifikaci

Geometricka interpretace cısel: cısla, ktera byla casto repre-zentovana hromadkou kamenku, zacali trıdit podle tvaru, do kte-rych je bylo mozne srovnat:

Trojuhelnıkova cısla:

3 = 1 + 2, 6 = 1 + 2 + 3, . . . , an = 1 + 2 + 3 + · · ·+ n = 12 · n(n+ 1)

39

Page 40: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Ctvercova cısla:

4 = 2 · 2, 9 = 3 · 3, 16 = 4 · 4, . . . , an = n2

Petiuhelnıkova cısla:

5, 12, 22, . . . , an = 12 · n · (3n − 1)

40

Page 41: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Obdelnıkova cısla:

6, 12, 20, . . . , an = n(n+ 1)

Prımkova cısla:

an = n2; diference: 2, 3, 4, . . .

Dale cısla kubicka, jehlanova aj.

Geometricke znazornenı cısel umoznuje objevovat a zviditelnovatmatematicke poznatky a jejich dukazy (vyuzitı i v dnesnı vyuce)

41

Page 42: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Suda a licha cısla

Sude cıslo je mozne usporadat do obdelnıku s jednou stranou 2,u licheho to mozne nenı:

Odtud je pak ihned zrejme, ze soucet dvou sudych (lichych) cıselje cıslo sude, soucet sudeho a licheho cısla je cıslo liche:

42

Page 43: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Delitelnost

Cısla slozena: lze je reprezentovat nejakym obdelnıkovym neboctvercovym cıslem

Prvocısla: nenı to mozne (cısla prımkova)

Soucet dvou cısel, ktera jsou delitelna jistym cıslem, je rov-nez tımto cıslem delitelny:

Pythagorejske trojice cısel

Pythagoras: 2p2 + 2p, 2p+ 1, 2p2 + 2p+ 1

Platon: p2 − 1, 2p, p2 + 1

43

Page 44: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Pomery, umery a zlaty rez

Geometricky prumer

Sestrojte ctverec, ktery ma stejny obsah jako dany obdelnık:

a · b = x2

a : x = x : b

Zlaty rez

Rozdelte usecku delky a tak, aby pomer delek cele usecky a jejıvetsı casti byl roven pomeru delek vetsı casti a mensı casti:

a : x = x : (a − x)

ax+ x2 = a2 ⇒ x = a ·√5− 12

≡ 0, 618 · a

44

Page 45: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Podobnost obdelnıku:

45

Page 46: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Prusecık uhloprıcek pravidelneho petiuhelnıka delı tyto uh-loprıcky v pomeru zlateho rezu:

46

Page 47: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Nesoumeritelnost

Spolecnou mırou usecek a, b nazveme takovou usecku m, jejı-miz nasobky jsou obe usecky:

a = p · m, b = q · m.

Existuje-li spolecna mıra dvou usecek, nazyvajı se soumeritelne.

Puvodnı domnenka: kazde dve usecky jsou soumeritelne (a tımi kazdy konecny konecny pocet usecek).

Strednı geometricka umerna: a : b = b : cco kdyz je a = 1, c = 2?

Nesoumeritelnost strany a uhloprıcky ctverce:

Predpokladejme, ze usecka m je nejvetsı spolecnou mırou stranya uhloprıcky ctverce; strana obsahuje a, uhloprıcka u jednotekurcenych useckou m.

47

Page 48: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Pythagorova veta:u2 = 2a2,

u2 a tudız i u je sude u = 2p

4q2 = 2a2

a2 = 2q2

a je proto take sude, coz je spor: 2m by byla rovnez spolecnamıra

48

Page 49: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Jina uvaha:

u2 = a2 + a2

u2 je sude, u take; celym poctem jednotlivych usecek m lze protozmerit i u/2Podle Pythagorovy vety:

a2 =(

u

2

)2+

(u

2

)2,

tj. a2 a tedy i a je sude cıslo, opet spor.49

Page 50: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

PRVNI KRIZE MATEMATIKY

Objev nesoumeritelnosti ⇒ svet geometrickych velicin (reprezen-tovanych delkami usecek) je bohatsı nez svet cısel (prirozenycha kladnych racionalnıch)

Zhroucenı puvodnı predstavy o vzajemnem vztahu cısel a geo-metrickych velicin

Vychodiska

• Recka geometricka algebra

• Eudoxova teorie proporcı

50

Page 51: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Recka geometricka algebra

Vychodisko z krize: veliciny prestaly byt chapany jako prirozenacısla a jejich pomery, ale zacaly byt chapany jako delky, obsahya objemy.

Zakon homogenity: scıtat a odecıtat se mohou jen veliciny stej-neho rozmeru. Soucinem delek je obsah, soucinem delky a ob-sahu je objem.

Pomocı geometricke algebry je mozno vyjadrit mnoho algebraic-kych vztahu, na ktere dnes nahlızıme ryze algebraicky.

51

Page 52: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

a2 − b2 = (a − b)(a+ b)

52

Page 53: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Resenı algebraickych rovnic:

Najdete obdelnık s jednou stranou a, jehoz obsah je roven ob-sahu daneho ctverce o strane b.

ax = b2

(uhloprıcka EH pulı obdelnık CEFH i obdelnıky ASDE, GHBS,proto je obsah obdelnıka FGSA roven obsahu ctverce SBCD,tedy SG = x)

53

Page 54: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Najdete ctverec, ktery ma stejny obsah jako dany obdelnık:

x2 = ab

S je stred usecky DF, GHFS je ctverec o strane a+b2(

a+b2

)2=

(a−b2

)2+ x2

x se sestrojı pomocı Pythagorovy vety

(Dnes bychom resili pomocı Eukleidovy vety)

54

Page 55: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

ax − x2 = b2, b ≤ a2

55

Page 56: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

ax+ x2 = b2

56

Page 57: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Resenı rovnice ax+ x2 = b2 pomocı Eukleidovy vety:

57

Page 58: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

x2 − ax = b2

58

Page 59: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

EUDOXOS Z KNIDU (408 – 355)

Resenı krize po objevu nesoumeritelnych velicin: teorie proporcı

Proporce vytvarena velicinami a, b se rovna proporci vytvorenevelicinami c, d, tj. a : b = c : d, jestlize pro libovolna prirozenacısla m, n platı:

na < mb ⇐⇒ nc < md;na > mb ⇐⇒ nc > md;na = mb ⇐⇒ nc = md.

Mnozina vsech dvojic prirozenych cısel se rozpadne na 3 dis-junktnı mnoziny:

X = {(m, n);na < mb}, Y = {(m, n);na > mb},

Z = {(m, n);na = mb}.59

Page 60: Rˇ ECKO - cvut.czeuler.fd.cvut.cz/predmety/matematika/historie/files/recko1.pdf · za za´kladnı´ prvky jsoucna pokla´dali nepatrne´, neviditelne´ a ne-deˇlitelne´ cˇa´stecˇky,atomy

Proporce se vyuzıvala jak pro soumeritelne, tak pro nesoumeri-telne veliciny.

Pokus o teorii realnych cısel

Teorie zpracovana v pate knize Eukleidovych Zakladu

Richard Dedekind (1831 – 1916) – teorie rezu: sleduje Eudo-xovu myslenku

Eudoxova exhaustivnı (vycerpavacı) metoda

Staroveka limitnı metoda: vychazı se z tvrzenı, ze pokud od veli-ciny M odejmeme velicinu vetsı nez je polovina M, pak od zbytkuopet velicinu vetsı nez je jeho polovina atd., dostavame vzdy podostatecne velkem poctu kroku zbytek mensı nez je libovolnapredem dana velicina m.

Vrcholu dosahla tato metoda v dıle Archimeda.

60


Recommended