GEOMETRIJA 1. Uvod in Evklidovi Elementi - Pedagoška fakulteta
GEOMETRIJA 1. Uvod in Evklidovi Elementi - Pedagoška fakulteta
GEOMETRIJA 1. Uvod in Evklidovi Elementi - Pedagoška fakulteta
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
<strong>GEOMETRIJA</strong><br />
<strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong><br />
Matija Cencelj<br />
Geometrija, Pedagoška <strong>fakulteta</strong> UL 2008<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Predavanja, sem<strong>in</strong>arji, izpiti<br />
Prisotnost na sem<strong>in</strong>arju je formalno obvezna.<br />
Izpit je pisni. Pogoj za pristop k izpitu je opravljena sem<strong>in</strong>arska<br />
naloga.<br />
Na izpitu lahko oddate izdelek, ni pa nujno.<br />
Če izdelek oddate <strong>in</strong> ne dosežete 25%, vam dam negativno<br />
oceno (sicer prijavo vrnem).<br />
V vsakem primeru se morate na izpit pravočasno prijaviti preko<br />
e-študenta.<br />
Nekaj dni po opravljenem izpitu preverite, če imate vpisano<br />
oceno.<br />
Imamo še kako vprašanje?<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Predavanja, sem<strong>in</strong>arji, izpiti<br />
Prisotnost na sem<strong>in</strong>arju je formalno obvezna.<br />
Izpit je pisni. Pogoj za pristop k izpitu je opravljena sem<strong>in</strong>arska<br />
naloga.<br />
Na izpitu lahko oddate izdelek, ni pa nujno.<br />
Če izdelek oddate <strong>in</strong> ne dosežete 25%, vam dam negativno<br />
oceno (sicer prijavo vrnem).<br />
V vsakem primeru se morate na izpit pravočasno prijaviti preko<br />
e-študenta.<br />
Nekaj dni po opravljenem izpitu preverite, če imate vpisano<br />
oceno.<br />
Imamo še kako vprašanje?<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Predavanja, sem<strong>in</strong>arji, izpiti<br />
Prisotnost na sem<strong>in</strong>arju je formalno obvezna.<br />
Izpit je pisni. Pogoj za pristop k izpitu je opravljena sem<strong>in</strong>arska<br />
naloga.<br />
Na izpitu lahko oddate izdelek, ni pa nujno.<br />
Če izdelek oddate <strong>in</strong> ne dosežete 25%, vam dam negativno<br />
oceno (sicer prijavo vrnem).<br />
V vsakem primeru se morate na izpit pravočasno prijaviti preko<br />
e-študenta.<br />
Nekaj dni po opravljenem izpitu preverite, če imate vpisano<br />
oceno.<br />
Imamo še kako vprašanje?<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Predavanja, sem<strong>in</strong>arji, izpiti<br />
Prisotnost na sem<strong>in</strong>arju je formalno obvezna.<br />
Izpit je pisni. Pogoj za pristop k izpitu je opravljena sem<strong>in</strong>arska<br />
naloga.<br />
Na izpitu lahko oddate izdelek, ni pa nujno.<br />
Če izdelek oddate <strong>in</strong> ne dosežete 25%, vam dam negativno<br />
oceno (sicer prijavo vrnem).<br />
V vsakem primeru se morate na izpit pravočasno prijaviti preko<br />
e-študenta.<br />
Nekaj dni po opravljenem izpitu preverite, če imate vpisano<br />
oceno.<br />
Imamo še kako vprašanje?<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Predavanja, sem<strong>in</strong>arji, izpiti<br />
Prisotnost na sem<strong>in</strong>arju je formalno obvezna.<br />
Izpit je pisni. Pogoj za pristop k izpitu je opravljena sem<strong>in</strong>arska<br />
naloga.<br />
Na izpitu lahko oddate izdelek, ni pa nujno.<br />
Če izdelek oddate <strong>in</strong> ne dosežete 25%, vam dam negativno<br />
oceno (sicer prijavo vrnem).<br />
V vsakem primeru se morate na izpit pravočasno prijaviti preko<br />
e-študenta.<br />
Nekaj dni po opravljenem izpitu preverite, če imate vpisano<br />
oceno.<br />
Imamo še kako vprašanje?<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Predavanja, sem<strong>in</strong>arji, izpiti<br />
Prisotnost na sem<strong>in</strong>arju je formalno obvezna.<br />
Izpit je pisni. Pogoj za pristop k izpitu je opravljena sem<strong>in</strong>arska<br />
naloga.<br />
Na izpitu lahko oddate izdelek, ni pa nujno.<br />
Če izdelek oddate <strong>in</strong> ne dosežete 25%, vam dam negativno<br />
oceno (sicer prijavo vrnem).<br />
V vsakem primeru se morate na izpit pravočasno prijaviti preko<br />
e-študenta.<br />
Nekaj dni po opravljenem izpitu preverite, če imate vpisano<br />
oceno.<br />
Imamo še kako vprašanje?<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Predavanja, sem<strong>in</strong>arji, izpiti<br />
Prisotnost na sem<strong>in</strong>arju je formalno obvezna.<br />
Izpit je pisni. Pogoj za pristop k izpitu je opravljena sem<strong>in</strong>arska<br />
naloga.<br />
Na izpitu lahko oddate izdelek, ni pa nujno.<br />
Če izdelek oddate <strong>in</strong> ne dosežete 25%, vam dam negativno<br />
oceno (sicer prijavo vrnem).<br />
V vsakem primeru se morate na izpit pravočasno prijaviti preko<br />
e-študenta.<br />
Nekaj dni po opravljenem izpitu preverite, če imate vpisano<br />
oceno.<br />
Imamo še kako vprašanje?<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Geometrija (Gea - zemlja, metros - merjenje) je ena najstarejših<br />
vej matematike. Posvečena je proučevanju prostora, oblike ter<br />
velikosti različnih likov <strong>in</strong> teles, ki se v njem nahajajo.<br />
Prve geometrijske pojme zasledimo že pred več tisočletji v<br />
Egiptu, Mezopotamiji, Indiji <strong>in</strong> na Kitajskem.<br />
Tamkajšnje velike reke so vsako leto poplavile rodovitne dol<strong>in</strong>e<br />
<strong>in</strong> zbrisale meje med posameznimi območji, ki jih je bilo nato<br />
potrebno obnoviti. Za to je bilo potrebno meriti, risati <strong>in</strong> računati.<br />
V precejšnji meri so to delali ”čez palec”, poznali pa so že vsaj<br />
posebne primere Pitagorovega izreka (ki je torej precej starejši<br />
od Pitagora - to velja tako za Egipt kot tudi Mezopotamijo <strong>in</strong><br />
Kitajsko).<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Geometrija (Gea - zemlja, metros - merjenje) je ena najstarejših<br />
vej matematike. Posvečena je proučevanju prostora, oblike ter<br />
velikosti različnih likov <strong>in</strong> teles, ki se v njem nahajajo.<br />
Prve geometrijske pojme zasledimo že pred več tisočletji v<br />
Egiptu, Mezopotamiji, Indiji <strong>in</strong> na Kitajskem.<br />
Tamkajšnje velike reke so vsako leto poplavile rodovitne dol<strong>in</strong>e<br />
<strong>in</strong> zbrisale meje med posameznimi območji, ki jih je bilo nato<br />
potrebno obnoviti. Za to je bilo potrebno meriti, risati <strong>in</strong> računati.<br />
V precejšnji meri so to delali ”čez palec”, poznali pa so že vsaj<br />
posebne primere Pitagorovega izreka (ki je torej precej starejši<br />
od Pitagora - to velja tako za Egipt kot tudi Mezopotamijo <strong>in</strong><br />
Kitajsko).<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Geometrija (Gea - zemlja, metros - merjenje) je ena najstarejših<br />
vej matematike. Posvečena je proučevanju prostora, oblike ter<br />
velikosti različnih likov <strong>in</strong> teles, ki se v njem nahajajo.<br />
Prve geometrijske pojme zasledimo že pred več tisočletji v<br />
Egiptu, Mezopotamiji, Indiji <strong>in</strong> na Kitajskem.<br />
Tamkajšnje velike reke so vsako leto poplavile rodovitne dol<strong>in</strong>e<br />
<strong>in</strong> zbrisale meje med posameznimi območji, ki jih je bilo nato<br />
potrebno obnoviti. Za to je bilo potrebno meriti, risati <strong>in</strong> računati.<br />
V precejšnji meri so to delali ”čez palec”, poznali pa so že vsaj<br />
posebne primere Pitagorovega izreka (ki je torej precej starejši<br />
od Pitagora - to velja tako za Egipt kot tudi Mezopotamijo <strong>in</strong><br />
Kitajsko).<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Geometrija (Gea - zemlja, metros - merjenje) je ena najstarejših<br />
vej matematike. Posvečena je proučevanju prostora, oblike ter<br />
velikosti različnih likov <strong>in</strong> teles, ki se v njem nahajajo.<br />
Prve geometrijske pojme zasledimo že pred več tisočletji v<br />
Egiptu, Mezopotamiji, Indiji <strong>in</strong> na Kitajskem.<br />
Tamkajšnje velike reke so vsako leto poplavile rodovitne dol<strong>in</strong>e<br />
<strong>in</strong> zbrisale meje med posameznimi območji, ki jih je bilo nato<br />
potrebno obnoviti. Za to je bilo potrebno meriti, risati <strong>in</strong> računati.<br />
V precejšnji meri so to delali ”čez palec”, poznali pa so že vsaj<br />
posebne primere Pitagorovega izreka (ki je torej precej starejši<br />
od Pitagora - to velja tako za Egipt kot tudi Mezopotamijo <strong>in</strong><br />
Kitajsko).<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Od 7. stoletja pred Kristusom se je geometrija <strong>in</strong>tenzivno<br />
razvijala v stari Grčiji, kamor so jo iz Egipta pr<strong>in</strong>esli trgovci.<br />
Približno v 5. stoletju pred Kristusom so grški matematiki v<br />
geometrijo pripeljali globoko spremembo – uvedli so<br />
abstrakcijo, izoblikovala sta se pojma trditve <strong>in</strong> njenega<br />
strogega dokaza s pomočjo logičnega sklepanja iz temeljnih<br />
predpostavk <strong>in</strong> že prej dokazanih trditev. Vsaj teoretično so<br />
tako geometrijski rezultati postali nesporni <strong>in</strong> natančni <strong>in</strong> ne več<br />
le približni <strong>in</strong> verjetni. S tem je postala geometrija veda o<br />
abstraktnih strukturah (<strong>in</strong> se s tem ločila od geodezije).<br />
Uvajanje logike v geometrijo naj bi se začelo s Talesom iz<br />
Mileta (pribl. 600 pr. Kr.) <strong>in</strong> doseglo vrh z Evklidom (pribl. 300<br />
pr. Kr.) iz Aleksandrije.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Od 7. stoletja pred Kristusom se je geometrija <strong>in</strong>tenzivno<br />
razvijala v stari Grčiji, kamor so jo iz Egipta pr<strong>in</strong>esli trgovci.<br />
Približno v 5. stoletju pred Kristusom so grški matematiki v<br />
geometrijo pripeljali globoko spremembo – uvedli so<br />
abstrakcijo, izoblikovala sta se pojma trditve <strong>in</strong> njenega<br />
strogega dokaza s pomočjo logičnega sklepanja iz temeljnih<br />
predpostavk <strong>in</strong> že prej dokazanih trditev. Vsaj teoretično so<br />
tako geometrijski rezultati postali nesporni <strong>in</strong> natančni <strong>in</strong> ne več<br />
le približni <strong>in</strong> verjetni. S tem je postala geometrija veda o<br />
abstraktnih strukturah (<strong>in</strong> se s tem ločila od geodezije).<br />
Uvajanje logike v geometrijo naj bi se začelo s Talesom iz<br />
Mileta (pribl. 600 pr. Kr.) <strong>in</strong> doseglo vrh z Evklidom (pribl. 300<br />
pr. Kr.) iz Aleksandrije.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Od 7. stoletja pred Kristusom se je geometrija <strong>in</strong>tenzivno<br />
razvijala v stari Grčiji, kamor so jo iz Egipta pr<strong>in</strong>esli trgovci.<br />
Približno v 5. stoletju pred Kristusom so grški matematiki v<br />
geometrijo pripeljali globoko spremembo – uvedli so<br />
abstrakcijo, izoblikovala sta se pojma trditve <strong>in</strong> njenega<br />
strogega dokaza s pomočjo logičnega sklepanja iz temeljnih<br />
predpostavk <strong>in</strong> že prej dokazanih trditev. Vsaj teoretično so<br />
tako geometrijski rezultati postali nesporni <strong>in</strong> natančni <strong>in</strong> ne več<br />
le približni <strong>in</strong> verjetni. S tem je postala geometrija veda o<br />
abstraktnih strukturah (<strong>in</strong> se s tem ločila od geodezije).<br />
Uvajanje logike v geometrijo naj bi se začelo s Talesom iz<br />
Mileta (pribl. 600 pr. Kr.) <strong>in</strong> doseglo vrh z Evklidom (pribl. 300<br />
pr. Kr.) iz Aleksandrije.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Adm<strong>in</strong>istracija<br />
Geometrija pred Evklidom<br />
Od 7. stoletja pred Kristusom se je geometrija <strong>in</strong>tenzivno<br />
razvijala v stari Grčiji, kamor so jo iz Egipta pr<strong>in</strong>esli trgovci.<br />
Približno v 5. stoletju pred Kristusom so grški matematiki v<br />
geometrijo pripeljali globoko spremembo – uvedli so<br />
abstrakcijo, izoblikovala sta se pojma trditve <strong>in</strong> njenega<br />
strogega dokaza s pomočjo logičnega sklepanja iz temeljnih<br />
predpostavk <strong>in</strong> že prej dokazanih trditev. Vsaj teoretično so<br />
tako geometrijski rezultati postali nesporni <strong>in</strong> natančni <strong>in</strong> ne več<br />
le približni <strong>in</strong> verjetni. S tem je postala geometrija veda o<br />
abstraktnih strukturah (<strong>in</strong> se s tem ločila od geodezije).<br />
Uvajanje logike v geometrijo naj bi se začelo s Talesom iz<br />
Mileta (pribl. 600 pr. Kr.) <strong>in</strong> doseglo vrh z Evklidom (pribl. 300<br />
pr. Kr.) iz Aleksandrije.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
V 3. stoletju pred Kristusom je bilo razvitega že toliko znanja,<br />
da so se pojavili prvi poskusi združitve geometrijskih znanj v<br />
enoten sistem. Najznamenitejši geometer tedanjega časa,<br />
Platonov učenec Evklid, je ustvarjal v Aleksandriji okoli leta 300<br />
pred Kristusom. Njegovo ime je po vsem svetu najtesneje<br />
povezano z geometrijo, ki se poučuje v šoli. Več<strong>in</strong>a idej, ki se jo<br />
vključuje v ”evklidsko geometrijo”, se verjetno ni začela z<br />
Evklidom, ampak je Evklidova zasluga predvsem to, da je zbral<br />
dotedanje znanje geometrije <strong>in</strong> ga logično usklajeno predstavil.<br />
Svoje rezultate je objavil v 13 knjigah z naslovom STOIHEA,<br />
kar se v več<strong>in</strong>o evropskih jezikov prevaja z <strong>Elementi</strong>, v<br />
slovenšč<strong>in</strong>o pa tudi Osnove. To je takoj za Svetim pismom<br />
največkrat izdana knjiga na vsem svetu (preko 500 izdaj) <strong>in</strong> je<br />
temelj geometrije že preko dvatisoč let.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
V 3. stoletju pred Kristusom je bilo razvitega že toliko znanja,<br />
da so se pojavili prvi poskusi združitve geometrijskih znanj v<br />
enoten sistem. Najznamenitejši geometer tedanjega časa,<br />
Platonov učenec Evklid, je ustvarjal v Aleksandriji okoli leta 300<br />
pred Kristusom. Njegovo ime je po vsem svetu najtesneje<br />
povezano z geometrijo, ki se poučuje v šoli. Več<strong>in</strong>a idej, ki se jo<br />
vključuje v ”evklidsko geometrijo”, se verjetno ni začela z<br />
Evklidom, ampak je Evklidova zasluga predvsem to, da je zbral<br />
dotedanje znanje geometrije <strong>in</strong> ga logično usklajeno predstavil.<br />
Svoje rezultate je objavil v 13 knjigah z naslovom STOIHEA,<br />
kar se v več<strong>in</strong>o evropskih jezikov prevaja z <strong>Elementi</strong>, v<br />
slovenšč<strong>in</strong>o pa tudi Osnove. To je takoj za Svetim pismom<br />
največkrat izdana knjiga na vsem svetu (preko 500 izdaj) <strong>in</strong> je<br />
temelj geometrije že preko dvatisoč let.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
V 3. stoletju pred Kristusom je bilo razvitega že toliko znanja,<br />
da so se pojavili prvi poskusi združitve geometrijskih znanj v<br />
enoten sistem. Najznamenitejši geometer tedanjega časa,<br />
Platonov učenec Evklid, je ustvarjal v Aleksandriji okoli leta 300<br />
pred Kristusom. Njegovo ime je po vsem svetu najtesneje<br />
povezano z geometrijo, ki se poučuje v šoli. Več<strong>in</strong>a idej, ki se jo<br />
vključuje v ”evklidsko geometrijo”, se verjetno ni začela z<br />
Evklidom, ampak je Evklidova zasluga predvsem to, da je zbral<br />
dotedanje znanje geometrije <strong>in</strong> ga logično usklajeno predstavil.<br />
Svoje rezultate je objavil v 13 knjigah z naslovom STOIHEA,<br />
kar se v več<strong>in</strong>o evropskih jezikov prevaja z <strong>Elementi</strong>, v<br />
slovenšč<strong>in</strong>o pa tudi Osnove. To je takoj za Svetim pismom<br />
največkrat izdana knjiga na vsem svetu (preko 500 izdaj) <strong>in</strong> je<br />
temelj geometrije že preko dvatisoč let.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Prvotnega besedila Elementov se je ohranilo bolj malo, v celoti<br />
so ga prevedli v 12. stoletju iz arabšč<strong>in</strong>e Adelard iz Batha v<br />
Angliji, Hermann koroški <strong>in</strong> Gerhard iz Cremone v Španiji.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
<strong>Evklidovi</strong> <strong>Elementi</strong> imajo strogo logično zgradbo. Vsako knjigo<br />
začne Evklid s spiskom def<strong>in</strong>icij izrazov, ki jih bo uporabljal v tej<br />
knjigi (čeprav tu ne gre za def<strong>in</strong>icije v današnjem pomenu<br />
besede). V prvi knjigi potem navede pet postulatov <strong>in</strong> pet<br />
očitnih dejstev (v slovenšč<strong>in</strong>o se slednje prevaja tudi z aksiomi,<br />
kar pa je tudi bolj ali manj s<strong>in</strong>onim za postulat). Oboje –<br />
postulati <strong>in</strong> očitna dejstva – so osnovne trditve, katerih<br />
veljavnost naj bi bila očitna vsaki razumni osebi. To je izhodišče<br />
za razvoj geometrije. Evklid je spoznal, da ne more dokazati<br />
vsega, ampak mora začeti z nekimi predpostavkami, poskušal<br />
pa je jasno povedati, kaj so te predpostavke.<br />
Več<strong>in</strong>oma so <strong>Evklidovi</strong> postulati res enostavne trditve, ki so<br />
<strong>in</strong>tuitivno očitne. Npr. Postulat I trdi, da med dvema poljubnima<br />
točkama lahko narišemo natanko eno daljico. Postulat II trdi, da<br />
lahko vsako daljico podaljšamo. Postulat III trdi, da lahko<br />
narišemo krog s poljubnim središčem <strong>in</strong> poljubnim polmerom.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
<strong>Evklidovi</strong> <strong>Elementi</strong> imajo strogo logično zgradbo. Vsako knjigo<br />
začne Evklid s spiskom def<strong>in</strong>icij izrazov, ki jih bo uporabljal v tej<br />
knjigi (čeprav tu ne gre za def<strong>in</strong>icije v današnjem pomenu<br />
besede). V prvi knjigi potem navede pet postulatov <strong>in</strong> pet<br />
očitnih dejstev (v slovenšč<strong>in</strong>o se slednje prevaja tudi z aksiomi,<br />
kar pa je tudi bolj ali manj s<strong>in</strong>onim za postulat). Oboje –<br />
postulati <strong>in</strong> očitna dejstva – so osnovne trditve, katerih<br />
veljavnost naj bi bila očitna vsaki razumni osebi. To je izhodišče<br />
za razvoj geometrije. Evklid je spoznal, da ne more dokazati<br />
vsega, ampak mora začeti z nekimi predpostavkami, poskušal<br />
pa je jasno povedati, kaj so te predpostavke.<br />
Več<strong>in</strong>oma so <strong>Evklidovi</strong> postulati res enostavne trditve, ki so<br />
<strong>in</strong>tuitivno očitne. Npr. Postulat I trdi, da med dvema poljubnima<br />
točkama lahko narišemo natanko eno daljico. Postulat II trdi, da<br />
lahko vsako daljico podaljšamo. Postulat III trdi, da lahko<br />
narišemo krog s poljubnim središčem <strong>in</strong> poljubnim polmerom.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
<strong>Evklidovi</strong> <strong>Elementi</strong> imajo strogo logično zgradbo. Vsako knjigo<br />
začne Evklid s spiskom def<strong>in</strong>icij izrazov, ki jih bo uporabljal v tej<br />
knjigi (čeprav tu ne gre za def<strong>in</strong>icije v današnjem pomenu<br />
besede). V prvi knjigi potem navede pet postulatov <strong>in</strong> pet<br />
očitnih dejstev (v slovenšč<strong>in</strong>o se slednje prevaja tudi z aksiomi,<br />
kar pa je tudi bolj ali manj s<strong>in</strong>onim za postulat). Oboje –<br />
postulati <strong>in</strong> očitna dejstva – so osnovne trditve, katerih<br />
veljavnost naj bi bila očitna vsaki razumni osebi. To je izhodišče<br />
za razvoj geometrije. Evklid je spoznal, da ne more dokazati<br />
vsega, ampak mora začeti z nekimi predpostavkami, poskušal<br />
pa je jasno povedati, kaj so te predpostavke.<br />
Več<strong>in</strong>oma so <strong>Evklidovi</strong> postulati res enostavne trditve, ki so<br />
<strong>in</strong>tuitivno očitne. Npr. Postulat I trdi, da med dvema poljubnima<br />
točkama lahko narišemo natanko eno daljico. Postulat II trdi, da<br />
lahko vsako daljico podaljšamo. Postulat III trdi, da lahko<br />
narišemo krog s poljubnim središčem <strong>in</strong> poljubnim polmerom.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ti postulati obravnavajo načrtovanje, ki ga lahko izvedemo z<br />
ravnilom (če smo bolj natančni – z ravno palico) <strong>in</strong> šestilom.<br />
Četrti postulat pove, da so vsi pravi koti skladni (Evklid pravi<br />
enaki), peti pa je malo bolj komplicirana trditev o dveh premicah<br />
<strong>in</strong> presečnici nanju. Ta dva postulata Evklid potrebuje za<br />
dokaze naslednjih trditev.<br />
Očitna dejstva se od postulatov razlikujejo v tem, da se ne<br />
nanašajo le na geometrijo, ampak matematiko nasploh.<br />
Predvsem gre tu za lastnosti enakosti (kot jo je razumel Evklid).<br />
Največji del vsake knjige Elementov pa predstavljajo trditve <strong>in</strong><br />
njihovi dokazi. Ti so nanizani v strogem logičnem zaporedju:<br />
prva trditev sledi iz postulatov, druga iz postulatov <strong>in</strong> prve<br />
trditve <strong>in</strong> tako dalje.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ti postulati obravnavajo načrtovanje, ki ga lahko izvedemo z<br />
ravnilom (če smo bolj natančni – z ravno palico) <strong>in</strong> šestilom.<br />
Četrti postulat pove, da so vsi pravi koti skladni (Evklid pravi<br />
enaki), peti pa je malo bolj komplicirana trditev o dveh premicah<br />
<strong>in</strong> presečnici nanju. Ta dva postulata Evklid potrebuje za<br />
dokaze naslednjih trditev.<br />
Očitna dejstva se od postulatov razlikujejo v tem, da se ne<br />
nanašajo le na geometrijo, ampak matematiko nasploh.<br />
Predvsem gre tu za lastnosti enakosti (kot jo je razumel Evklid).<br />
Največji del vsake knjige Elementov pa predstavljajo trditve <strong>in</strong><br />
njihovi dokazi. Ti so nanizani v strogem logičnem zaporedju:<br />
prva trditev sledi iz postulatov, druga iz postulatov <strong>in</strong> prve<br />
trditve <strong>in</strong> tako dalje.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ti postulati obravnavajo načrtovanje, ki ga lahko izvedemo z<br />
ravnilom (če smo bolj natančni – z ravno palico) <strong>in</strong> šestilom.<br />
Četrti postulat pove, da so vsi pravi koti skladni (Evklid pravi<br />
enaki), peti pa je malo bolj komplicirana trditev o dveh premicah<br />
<strong>in</strong> presečnici nanju. Ta dva postulata Evklid potrebuje za<br />
dokaze naslednjih trditev.<br />
Očitna dejstva se od postulatov razlikujejo v tem, da se ne<br />
nanašajo le na geometrijo, ampak matematiko nasploh.<br />
Predvsem gre tu za lastnosti enakosti (kot jo je razumel Evklid).<br />
Največji del vsake knjige Elementov pa predstavljajo trditve <strong>in</strong><br />
njihovi dokazi. Ti so nanizani v strogem logičnem zaporedju:<br />
prva trditev sledi iz postulatov, druga iz postulatov <strong>in</strong> prve<br />
trditve <strong>in</strong> tako dalje.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ti postulati obravnavajo načrtovanje, ki ga lahko izvedemo z<br />
ravnilom (če smo bolj natančni – z ravno palico) <strong>in</strong> šestilom.<br />
Četrti postulat pove, da so vsi pravi koti skladni (Evklid pravi<br />
enaki), peti pa je malo bolj komplicirana trditev o dveh premicah<br />
<strong>in</strong> presečnici nanju. Ta dva postulata Evklid potrebuje za<br />
dokaze naslednjih trditev.<br />
Očitna dejstva se od postulatov razlikujejo v tem, da se ne<br />
nanašajo le na geometrijo, ampak matematiko nasploh.<br />
Predvsem gre tu za lastnosti enakosti (kot jo je razumel Evklid).<br />
Največji del vsake knjige Elementov pa predstavljajo trditve <strong>in</strong><br />
njihovi dokazi. Ti so nanizani v strogem logičnem zaporedju:<br />
prva trditev sledi iz postulatov, druga iz postulatov <strong>in</strong> prve<br />
trditve <strong>in</strong> tako dalje.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Tako je vsa teorija zgrajena le na postulatih <strong>in</strong> očitnih dejstvih;<br />
če njih privzamemo, iz njih logično sledi cela teorija. Prav<br />
osupljivo je, koliko različnih trditev sledi iz tako malo<br />
predpostavk.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Pomena Elementov za razvoj matematike <strong>in</strong> človeške kulture<br />
nasploh skoraj ne moremo preceniti. Odkar so bili napisani<br />
prestavljajo zgled, kako naj bo skrbno zgrajena teorija zgrajena<br />
<strong>in</strong> predstavljena. <strong>Elementi</strong> so postali model za razvoj<br />
znanstvenih <strong>in</strong> filozofskih teorij nasploh.<br />
Predvsem je občudovanja vredna jasnost, s katero je Evklid<br />
predstavil predpostavke, iz katerih je potem s čisto logiko<br />
izpeljal zelo raznoliko <strong>in</strong> obsežno zbirko posledic.<br />
Prav do 20. stoletja so bili <strong>Evklidovi</strong> <strong>Elementi</strong> osnovni učbenik,<br />
s katerim so se vsi študenti učili geometrije <strong>in</strong> logike. Tudi<br />
danes je geometrija v šolah izpeljana na nač<strong>in</strong>, ki je neverjetno<br />
blizu Evklidovemu.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Pomena Elementov za razvoj matematike <strong>in</strong> človeške kulture<br />
nasploh skoraj ne moremo preceniti. Odkar so bili napisani<br />
prestavljajo zgled, kako naj bo skrbno zgrajena teorija zgrajena<br />
<strong>in</strong> predstavljena. <strong>Elementi</strong> so postali model za razvoj<br />
znanstvenih <strong>in</strong> filozofskih teorij nasploh.<br />
Predvsem je občudovanja vredna jasnost, s katero je Evklid<br />
predstavil predpostavke, iz katerih je potem s čisto logiko<br />
izpeljal zelo raznoliko <strong>in</strong> obsežno zbirko posledic.<br />
Prav do 20. stoletja so bili <strong>Evklidovi</strong> <strong>Elementi</strong> osnovni učbenik,<br />
s katerim so se vsi študenti učili geometrije <strong>in</strong> logike. Tudi<br />
danes je geometrija v šolah izpeljana na nač<strong>in</strong>, ki je neverjetno<br />
blizu Evklidovemu.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Pomena Elementov za razvoj matematike <strong>in</strong> človeške kulture<br />
nasploh skoraj ne moremo preceniti. Odkar so bili napisani<br />
prestavljajo zgled, kako naj bo skrbno zgrajena teorija zgrajena<br />
<strong>in</strong> predstavljena. <strong>Elementi</strong> so postali model za razvoj<br />
znanstvenih <strong>in</strong> filozofskih teorij nasploh.<br />
Predvsem je občudovanja vredna jasnost, s katero je Evklid<br />
predstavil predpostavke, iz katerih je potem s čisto logiko<br />
izpeljal zelo raznoliko <strong>in</strong> obsežno zbirko posledic.<br />
Prav do 20. stoletja so bili <strong>Evklidovi</strong> <strong>Elementi</strong> osnovni učbenik,<br />
s katerim so se vsi študenti učili geometrije <strong>in</strong> logike. Tudi<br />
danes je geometrija v šolah izpeljana na nač<strong>in</strong>, ki je neverjetno<br />
blizu Evklidovemu.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Največ naporov za izboljšanje se je osredotočilo na peti<br />
Evklidov postulat (čeprav eksplicitno ne omenja vzporednih<br />
premic, se mu ponavadi reče ”aksiom o vzporednicah”). Ta je<br />
res precej drugačen od ostalih aksiomov, je precej daljši <strong>in</strong> ni<br />
tako <strong>in</strong>tuitivno očiten. Zato je veliko matematikov v zgodov<strong>in</strong>i<br />
skušalo dokazati, da je ta aksiom posledica prejšnjih.<br />
To ni nikomur uspelo <strong>in</strong> šele v 19. stoletju se je pokazalo zakaj.<br />
Izkazalo se je namreč, da je ta aksiom neodvisen od ostalih;<br />
zato zdaj govorimo o evklidski geometriji (vsaki premici skozi<br />
dano točko izven nje obstaja natanko ena vzporednica) <strong>in</strong><br />
neevklidskih geometrijah (vzporednic ali ni ali jih je več).<br />
Zgodov<strong>in</strong>a raziskovanja vloge Evklidovega aksioma o<br />
vzporednici je ena najzanimivejših zgodb v zgodov<strong>in</strong>i<br />
matematike. Tekom leta bomo to obnovili <strong>in</strong> struktura tega<br />
predmeta je v veliki meri posvečena temu.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Največ naporov za izboljšanje se je osredotočilo na peti<br />
Evklidov postulat (čeprav eksplicitno ne omenja vzporednih<br />
premic, se mu ponavadi reče ”aksiom o vzporednicah”). Ta je<br />
res precej drugačen od ostalih aksiomov, je precej daljši <strong>in</strong> ni<br />
tako <strong>in</strong>tuitivno očiten. Zato je veliko matematikov v zgodov<strong>in</strong>i<br />
skušalo dokazati, da je ta aksiom posledica prejšnjih.<br />
To ni nikomur uspelo <strong>in</strong> šele v 19. stoletju se je pokazalo zakaj.<br />
Izkazalo se je namreč, da je ta aksiom neodvisen od ostalih;<br />
zato zdaj govorimo o evklidski geometriji (vsaki premici skozi<br />
dano točko izven nje obstaja natanko ena vzporednica) <strong>in</strong><br />
neevklidskih geometrijah (vzporednic ali ni ali jih je več).<br />
Zgodov<strong>in</strong>a raziskovanja vloge Evklidovega aksioma o<br />
vzporednici je ena najzanimivejših zgodb v zgodov<strong>in</strong>i<br />
matematike. Tekom leta bomo to obnovili <strong>in</strong> struktura tega<br />
predmeta je v veliki meri posvečena temu.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Največ naporov za izboljšanje se je osredotočilo na peti<br />
Evklidov postulat (čeprav eksplicitno ne omenja vzporednih<br />
premic, se mu ponavadi reče ”aksiom o vzporednicah”). Ta je<br />
res precej drugačen od ostalih aksiomov, je precej daljši <strong>in</strong> ni<br />
tako <strong>in</strong>tuitivno očiten. Zato je veliko matematikov v zgodov<strong>in</strong>i<br />
skušalo dokazati, da je ta aksiom posledica prejšnjih.<br />
To ni nikomur uspelo <strong>in</strong> šele v 19. stoletju se je pokazalo zakaj.<br />
Izkazalo se je namreč, da je ta aksiom neodvisen od ostalih;<br />
zato zdaj govorimo o evklidski geometriji (vsaki premici skozi<br />
dano točko izven nje obstaja natanko ena vzporednica) <strong>in</strong><br />
neevklidskih geometrijah (vzporednic ali ni ali jih je več).<br />
Zgodov<strong>in</strong>a raziskovanja vloge Evklidovega aksioma o<br />
vzporednici je ena najzanimivejših zgodb v zgodov<strong>in</strong>i<br />
matematike. Tekom leta bomo to obnovili <strong>in</strong> struktura tega<br />
predmeta je v veliki meri posvečena temu.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Razlog za vse te napore za izboljšanje Elementov ni bilo<br />
mnenje, da je z <strong>Evklidovi</strong>m razmišljanjem kaj narobe, ampak<br />
nasprotno – mnenje, da so <strong>Elementi</strong> zgled matematičnega dela<br />
<strong>in</strong> bi ga zato bilo vredno še izpiliti.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Razlog za vse te napore za izboljšanje Elementov ni bilo<br />
mnenje, da je z <strong>Evklidovi</strong>m razmišljanjem kaj narobe, ampak<br />
nasprotno – mnenje, da so <strong>Elementi</strong> zgled matematičnega dela<br />
<strong>in</strong> bi ga zato bilo vredno še izpiliti.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Oglejmo si nekaj def<strong>in</strong>icij <strong>in</strong> vse (postulate <strong>in</strong>) aksiome iz prve<br />
knjige Elementov.<br />
Kot rečeno te def<strong>in</strong>icije ne ustrezajo današnjemu razumevanju<br />
tega pojma, a od tedaj je preteklo več kot 2000 let!<br />
Opomba: Za Evklida so vsi geometrijski liki omejeni, zato<br />
govorimo tu o črtah <strong>in</strong> ne o premicah.<br />
Def<strong>in</strong>icija 1<br />
Točka je, kar nima delov.<br />
Def<strong>in</strong>icija 2<br />
Črta je dolž<strong>in</strong>a brez šir<strong>in</strong>e.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Oglejmo si nekaj def<strong>in</strong>icij <strong>in</strong> vse (postulate <strong>in</strong>) aksiome iz prve<br />
knjige Elementov.<br />
Kot rečeno te def<strong>in</strong>icije ne ustrezajo današnjemu razumevanju<br />
tega pojma, a od tedaj je preteklo več kot 2000 let!<br />
Opomba: Za Evklida so vsi geometrijski liki omejeni, zato<br />
govorimo tu o črtah <strong>in</strong> ne o premicah.<br />
Def<strong>in</strong>icija 1<br />
Točka je, kar nima delov.<br />
Def<strong>in</strong>icija 2<br />
Črta je dolž<strong>in</strong>a brez šir<strong>in</strong>e.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Oglejmo si nekaj def<strong>in</strong>icij <strong>in</strong> vse (postulate <strong>in</strong>) aksiome iz prve<br />
knjige Elementov.<br />
Kot rečeno te def<strong>in</strong>icije ne ustrezajo današnjemu razumevanju<br />
tega pojma, a od tedaj je preteklo več kot 2000 let!<br />
Opomba: Za Evklida so vsi geometrijski liki omejeni, zato<br />
govorimo tu o črtah <strong>in</strong> ne o premicah.<br />
Def<strong>in</strong>icija 1<br />
Točka je, kar nima delov.<br />
Def<strong>in</strong>icija 2<br />
Črta je dolž<strong>in</strong>a brez šir<strong>in</strong>e.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Oglejmo si nekaj def<strong>in</strong>icij <strong>in</strong> vse (postulate <strong>in</strong>) aksiome iz prve<br />
knjige Elementov.<br />
Kot rečeno te def<strong>in</strong>icije ne ustrezajo današnjemu razumevanju<br />
tega pojma, a od tedaj je preteklo več kot 2000 let!<br />
Opomba: Za Evklida so vsi geometrijski liki omejeni, zato<br />
govorimo tu o črtah <strong>in</strong> ne o premicah.<br />
Def<strong>in</strong>icija 1<br />
Točka je, kar nima delov.<br />
Def<strong>in</strong>icija 2<br />
Črta je dolž<strong>in</strong>a brez šir<strong>in</strong>e.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Def<strong>in</strong>icija 4<br />
Ravna črta je črta, ki leži enakomerno na svojih točkah.<br />
Def<strong>in</strong>icija 10<br />
Če ravna črta stoji na drugi ravni črti tako, da sta kota na obeh<br />
straneh enaka, je vsak od teh kotov pravi <strong>in</strong> je prva ravna črta<br />
pravokotnica na drugo.<br />
Def<strong>in</strong>icija 11<br />
Topi kot je kot, ki je večji od pravega kota.<br />
Def<strong>in</strong>icija 12<br />
Ostri kot je kot, ki je manjši od pravega kota.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Def<strong>in</strong>icija 4<br />
Ravna črta je črta, ki leži enakomerno na svojih točkah.<br />
Def<strong>in</strong>icija 10<br />
Če ravna črta stoji na drugi ravni črti tako, da sta kota na obeh<br />
straneh enaka, je vsak od teh kotov pravi <strong>in</strong> je prva ravna črta<br />
pravokotnica na drugo.<br />
Def<strong>in</strong>icija 11<br />
Topi kot je kot, ki je večji od pravega kota.<br />
Def<strong>in</strong>icija 12<br />
Ostri kot je kot, ki je manjši od pravega kota.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Def<strong>in</strong>icija 4<br />
Ravna črta je črta, ki leži enakomerno na svojih točkah.<br />
Def<strong>in</strong>icija 10<br />
Če ravna črta stoji na drugi ravni črti tako, da sta kota na obeh<br />
straneh enaka, je vsak od teh kotov pravi <strong>in</strong> je prva ravna črta<br />
pravokotnica na drugo.<br />
Def<strong>in</strong>icija 11<br />
Topi kot je kot, ki je večji od pravega kota.<br />
Def<strong>in</strong>icija 12<br />
Ostri kot je kot, ki je manjši od pravega kota.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Def<strong>in</strong>icija 4<br />
Ravna črta je črta, ki leži enakomerno na svojih točkah.<br />
Def<strong>in</strong>icija 10<br />
Če ravna črta stoji na drugi ravni črti tako, da sta kota na obeh<br />
straneh enaka, je vsak od teh kotov pravi <strong>in</strong> je prva ravna črta<br />
pravokotnica na drugo.<br />
Def<strong>in</strong>icija 11<br />
Topi kot je kot, ki je večji od pravega kota.<br />
Def<strong>in</strong>icija 12<br />
Ostri kot je kot, ki je manjši od pravega kota.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
<strong>Evklidovi</strong> postulati:<br />
Postulat I<br />
Med poljubnima točkama (je možno) narisati ravno črto.<br />
Postulat II<br />
Vsako ravno črto (je možno) podaljšati (na obe strani).<br />
Postulat III<br />
Narisati (je možno) krožnico s poljubnim središčem <strong>in</strong><br />
poljubnim polmerom.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
<strong>Evklidovi</strong> postulati:<br />
Postulat I<br />
Med poljubnima točkama (je možno) narisati ravno črto.<br />
Postulat II<br />
Vsako ravno črto (je možno) podaljšati (na obe strani).<br />
Postulat III<br />
Narisati (je možno) krožnico s poljubnim središčem <strong>in</strong><br />
poljubnim polmerom.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
<strong>Evklidovi</strong> postulati:<br />
Postulat I<br />
Med poljubnima točkama (je možno) narisati ravno črto.<br />
Postulat II<br />
Vsako ravno črto (je možno) podaljšati (na obe strani).<br />
Postulat III<br />
Narisati (je možno) krožnico s poljubnim središčem <strong>in</strong><br />
poljubnim polmerom.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
<strong>Evklidovi</strong> postulati:<br />
Postulat I<br />
Med poljubnima točkama (je možno) narisati ravno črto.<br />
Postulat II<br />
Vsako ravno črto (je možno) podaljšati (na obe strani).<br />
Postulat III<br />
Narisati (je možno) krožnico s poljubnim središčem <strong>in</strong><br />
poljubnim polmerom.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Postulat IV<br />
Vsi pravi koti so si enaki.<br />
Postulat V<br />
Če dve ravni črti preskamo s tretjo (prečnico) <strong>in</strong> je na eni strani<br />
prečnice vsota notranjih kotov manj kot vsota dveh pravih kotov,<br />
se na tej strani prečnice prvi dve črti sekata, če ju dovolj<br />
podaljšamo.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Postulat IV<br />
Vsi pravi koti so si enaki.<br />
Postulat V<br />
Če dve ravni črti preskamo s tretjo (prečnico) <strong>in</strong> je na eni strani<br />
prečnice vsota notranjih kotov manj kot vsota dveh pravih kotov,<br />
se na tej strani prečnice prvi dve črti sekata, če ju dovolj<br />
podaljšamo.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Postulat IV<br />
Vsi pravi koti so si enaki.<br />
Postulat V<br />
Če dve ravni črti preskamo s tretjo (prečnico) <strong>in</strong> je na eni strani<br />
prečnice vsota notranjih kotov manj kot vsota dveh pravih kotov,<br />
se na tej strani prečnice prvi dve črti sekata, če ju dovolj<br />
podaljšamo.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Evklidove splošne resnice (ki jih je kasneje Proklus imenoval<br />
aksiomi).<br />
Aksiom I<br />
Stvari, ki so enake neki stvari, so tudi med seboj enake.<br />
Aksiom II<br />
Če enakima količ<strong>in</strong>ama prištejemo isto količ<strong>in</strong>o, sta vsoti enaki.<br />
Aksiom III<br />
Če enakima količ<strong>in</strong>ama odštejemo isto količ<strong>in</strong>o, sta razliki<br />
enaki.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Evklidove splošne resnice (ki jih je kasneje Proklus imenoval<br />
aksiomi).<br />
Aksiom I<br />
Stvari, ki so enake neki stvari, so tudi med seboj enake.<br />
Aksiom II<br />
Če enakima količ<strong>in</strong>ama prištejemo isto količ<strong>in</strong>o, sta vsoti enaki.<br />
Aksiom III<br />
Če enakima količ<strong>in</strong>ama odštejemo isto količ<strong>in</strong>o, sta razliki<br />
enaki.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Evklidove splošne resnice (ki jih je kasneje Proklus imenoval<br />
aksiomi).<br />
Aksiom I<br />
Stvari, ki so enake neki stvari, so tudi med seboj enake.<br />
Aksiom II<br />
Če enakima količ<strong>in</strong>ama prištejemo isto količ<strong>in</strong>o, sta vsoti enaki.<br />
Aksiom III<br />
Če enakima količ<strong>in</strong>ama odštejemo isto količ<strong>in</strong>o, sta razliki<br />
enaki.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Evklidove splošne resnice (ki jih je kasneje Proklus imenoval<br />
aksiomi).<br />
Aksiom I<br />
Stvari, ki so enake neki stvari, so tudi med seboj enake.<br />
Aksiom II<br />
Če enakima količ<strong>in</strong>ama prištejemo isto količ<strong>in</strong>o, sta vsoti enaki.<br />
Aksiom III<br />
Če enakima količ<strong>in</strong>ama odštejemo isto količ<strong>in</strong>o, sta razliki<br />
enaki.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Aksiom IV<br />
Stvari, ki sovpadajo, so tudi med seboj enake.<br />
Aksiom V<br />
Celota je večja od svojega dela.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Aksiom IV<br />
Stvari, ki sovpadajo, so tudi med seboj enake.<br />
Aksiom V<br />
Celota je večja od svojega dela.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Tri Evklidove trditve <strong>in</strong> njihovi dokazi<br />
Trditev 1<br />
Nad poljubno daljico (omejeno ravno črto) je možno načrtati<br />
enakostranični trikotnik.<br />
Dokaz: Naj bo AB dana daljica, torej moramo konstruirati<br />
enakostranični trikotnik nad AB.<br />
Načrtajmo krog s središčem A <strong>in</strong> polmerom |AB| (Post. III) <strong>in</strong><br />
krog s središčem B <strong>in</strong> polmerom |AB| (Post. III). Iz točke C, kjer<br />
se kroga sekata načrtajmo daljici do točk A oziroma B.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Tri Evklidove trditve <strong>in</strong> njihovi dokazi<br />
Trditev 1<br />
Nad poljubno daljico (omejeno ravno črto) je možno načrtati<br />
enakostranični trikotnik.<br />
Dokaz: Naj bo AB dana daljica, torej moramo konstruirati<br />
enakostranični trikotnik nad AB.<br />
Načrtajmo krog s središčem A <strong>in</strong> polmerom |AB| (Post. III) <strong>in</strong><br />
krog s središčem B <strong>in</strong> polmerom |AB| (Post. III). Iz točke C, kjer<br />
se kroga sekata načrtajmo daljici do točk A oziroma B.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Tri Evklidove trditve <strong>in</strong> njihovi dokazi<br />
Trditev 1<br />
Nad poljubno daljico (omejeno ravno črto) je možno načrtati<br />
enakostranični trikotnik.<br />
Dokaz: Naj bo AB dana daljica, torej moramo konstruirati<br />
enakostranični trikotnik nad AB.<br />
Načrtajmo krog s središčem A <strong>in</strong> polmerom |AB| (Post. III) <strong>in</strong><br />
krog s središčem B <strong>in</strong> polmerom |AB| (Post. III). Iz točke C, kjer<br />
se kroga sekata načrtajmo daljici do točk A oziroma B.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Tri Evklidove trditve <strong>in</strong> njihovi dokazi<br />
Trditev 1<br />
Nad poljubno daljico (omejeno ravno črto) je možno načrtati<br />
enakostranični trikotnik.<br />
Dokaz: Naj bo AB dana daljica, torej moramo konstruirati<br />
enakostranični trikotnik nad AB.<br />
Načrtajmo krog s središčem A <strong>in</strong> polmerom |AB| (Post. III) <strong>in</strong><br />
krog s središčem B <strong>in</strong> polmerom |AB| (Post. III). Iz točke C, kjer<br />
se kroga sekata načrtajmo daljici do točk A oziroma B.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
C<br />
A • •<br />
B<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ker je A središče prvega kroga, sta dolž<strong>in</strong>i |AB| <strong>in</strong> |AC| enaki.<br />
Podobno sta dolž<strong>in</strong>i |AB| <strong>in</strong> |BC| enaki. Torej sta po Aksiomu I<br />
tudi dolž<strong>in</strong>i |AC| <strong>in</strong> |BC| enaki. Torej so res vse tri stranice<br />
trikotnika ABC enako dolge. □<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ker je A središče prvega kroga, sta dolž<strong>in</strong>i |AB| <strong>in</strong> |AC| enaki.<br />
Podobno sta dolž<strong>in</strong>i |AB| <strong>in</strong> |BC| enaki. Torej sta po Aksiomu I<br />
tudi dolž<strong>in</strong>i |AC| <strong>in</strong> |BC| enaki. Torej so res vse tri stranice<br />
trikotnika ABC enako dolge. □<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ker je A središče prvega kroga, sta dolž<strong>in</strong>i |AB| <strong>in</strong> |AC| enaki.<br />
Podobno sta dolž<strong>in</strong>i |AB| <strong>in</strong> |BC| enaki. Torej sta po Aksiomu I<br />
tudi dolž<strong>in</strong>i |AC| <strong>in</strong> |BC| enaki. Torej so res vse tri stranice<br />
trikotnika ABC enako dolge. □<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Trditev 4<br />
Če sta dve stranici enega trikotnika enaki dvema stranicama<br />
drugega trikotnika <strong>in</strong> sta tudi kota med ustreznima stranicama<br />
enaka, bosta tudi tretji stranici enaki, enaka bosta trikotnika <strong>in</strong><br />
tudi ostala dva kota si bosta enaka.<br />
Dokaz: Trikotnika naj bosta ABC <strong>in</strong> DEF , naj bo |AB| = |DE| <strong>in</strong><br />
|AC| = |DF | <strong>in</strong> kota BAC <strong>in</strong> EDF naj bosta enaka.<br />
Dokažimo, da velja tudi |BC| = |EF | <strong>in</strong> da sta tudi kota ABC <strong>in</strong><br />
DEF enaka <strong>in</strong> prav tako tudi kota BCA <strong>in</strong> EFD.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Trditev 4<br />
Če sta dve stranici enega trikotnika enaki dvema stranicama<br />
drugega trikotnika <strong>in</strong> sta tudi kota med ustreznima stranicama<br />
enaka, bosta tudi tretji stranici enaki, enaka bosta trikotnika <strong>in</strong><br />
tudi ostala dva kota si bosta enaka.<br />
Dokaz: Trikotnika naj bosta ABC <strong>in</strong> DEF , naj bo |AB| = |DE| <strong>in</strong><br />
|AC| = |DF | <strong>in</strong> kota BAC <strong>in</strong> EDF naj bosta enaka.<br />
Dokažimo, da velja tudi |BC| = |EF | <strong>in</strong> da sta tudi kota ABC <strong>in</strong><br />
DEF enaka <strong>in</strong> prav tako tudi kota BCA <strong>in</strong> EFD.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Trditev 4<br />
Če sta dve stranici enega trikotnika enaki dvema stranicama<br />
drugega trikotnika <strong>in</strong> sta tudi kota med ustreznima stranicama<br />
enaka, bosta tudi tretji stranici enaki, enaka bosta trikotnika <strong>in</strong><br />
tudi ostala dva kota si bosta enaka.<br />
Dokaz: Trikotnika naj bosta ABC <strong>in</strong> DEF , naj bo |AB| = |DE| <strong>in</strong><br />
|AC| = |DF | <strong>in</strong> kota BAC <strong>in</strong> EDF naj bosta enaka.<br />
Dokažimo, da velja tudi |BC| = |EF | <strong>in</strong> da sta tudi kota ABC <strong>in</strong><br />
DEF enaka <strong>in</strong> prav tako tudi kota BCA <strong>in</strong> EFD.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
• C<br />
• F<br />
A • •<br />
B<br />
D • •<br />
E<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Če premaknemo trikotnik ABC na tako, da položimo točko A na<br />
točko D <strong>in</strong> daljico AB na DE, pade točka B na točko E, saj velja<br />
|AB| = |DE|.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Če premaknemo trikotnik ABC na tako, da položimo točko A na<br />
točko D <strong>in</strong> daljico AB na DE, pade točka B na točko E, saj velja<br />
|AB| = |DE|.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
S tem, ko smo stranico AB položili na stranico DE, je tudi<br />
stranica AC padla na stranico DF , saj sta kota BAC <strong>in</strong> EDF<br />
enaka. Torej je točka C padla na točko F , zato sta trikotnika<br />
enaka [če bi med istima točkama imeli dve različni daljici, bi<br />
omejevali neki lik - ploskev, to pa ni mogoče] <strong>in</strong> s tem dolž<strong>in</strong>e<br />
stranic (Aksiom IV) <strong>in</strong> vsi istoležni koti.<br />
Trditev 16<br />
Če v poljubnem trikotniku podaljšamo eno stranico, je tako<br />
dobljeni zunanji kot večji od vsakega od nasprotnih notranjih<br />
kotov.<br />
□<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
S tem, ko smo stranico AB položili na stranico DE, je tudi<br />
stranica AC padla na stranico DF , saj sta kota BAC <strong>in</strong> EDF<br />
enaka. Torej je točka C padla na točko F , zato sta trikotnika<br />
enaka [če bi med istima točkama imeli dve različni daljici, bi<br />
omejevali neki lik - ploskev, to pa ni mogoče] <strong>in</strong> s tem dolž<strong>in</strong>e<br />
stranic (Aksiom IV) <strong>in</strong> vsi istoležni koti.<br />
Trditev 16<br />
Če v poljubnem trikotniku podaljšamo eno stranico, je tako<br />
dobljeni zunanji kot večji od vsakega od nasprotnih notranjih<br />
kotov.<br />
□<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Dokaz: Naj bo ABC trikotnik <strong>in</strong> podaljšajmo stranico BC do<br />
točke D. Dokažimo, da je zunanji kot ACD večji od kota CBA <strong>in</strong><br />
od kota BAC.<br />
Razpolovimo stranico AC <strong>in</strong> naj bo razpolovišče točka E<br />
(Trditev 10, ki smo jo zdaj sicer spustili). Podaljšajmo daljico BE<br />
do točke F tako, da je |BE| = |EF |. Podaljšajmo stranico AC do<br />
neke točke G.<br />
Ker je |AE| = |EC|, |BE| = |EF | <strong>in</strong> sta kota AEB <strong>in</strong> CEF enaka<br />
(saj sta sovršna – Trditev 15), je |AB| = |CF | <strong>in</strong> sta triktonika<br />
ABE <strong>in</strong> CFE enaka <strong>in</strong> s tem tudi vsi njuni koti (Trditev 4). Torej<br />
je kot BAE enak kotu ECF . Kot ECD pa je večji od kota ECF<br />
(Aksiom 5), torej je kot ACD večji od kota BAE.<br />
Podobno, če razpolovimo stranico BC, dokažemo, da je kot<br />
BCG (kar je isto kot kot ACD – Trditev 15) večji od kota ABC.<br />
□<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Dokaz: Naj bo ABC trikotnik <strong>in</strong> podaljšajmo stranico BC do<br />
točke D. Dokažimo, da je zunanji kot ACD večji od kota CBA <strong>in</strong><br />
od kota BAC.<br />
Razpolovimo stranico AC <strong>in</strong> naj bo razpolovišče točka E<br />
(Trditev 10, ki smo jo zdaj sicer spustili). Podaljšajmo daljico BE<br />
do točke F tako, da je |BE| = |EF |. Podaljšajmo stranico AC do<br />
neke točke G.<br />
Ker je |AE| = |EC|, |BE| = |EF | <strong>in</strong> sta kota AEB <strong>in</strong> CEF enaka<br />
(saj sta sovršna – Trditev 15), je |AB| = |CF | <strong>in</strong> sta triktonika<br />
ABE <strong>in</strong> CFE enaka <strong>in</strong> s tem tudi vsi njuni koti (Trditev 4). Torej<br />
je kot BAE enak kotu ECF . Kot ECD pa je večji od kota ECF<br />
(Aksiom 5), torej je kot ACD večji od kota BAE.<br />
Podobno, če razpolovimo stranico BC, dokažemo, da je kot<br />
BCG (kar je isto kot kot ACD – Trditev 15) večji od kota ABC.<br />
□<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Dokaz: Naj bo ABC trikotnik <strong>in</strong> podaljšajmo stranico BC do<br />
točke D. Dokažimo, da je zunanji kot ACD večji od kota CBA <strong>in</strong><br />
od kota BAC.<br />
Razpolovimo stranico AC <strong>in</strong> naj bo razpolovišče točka E<br />
(Trditev 10, ki smo jo zdaj sicer spustili). Podaljšajmo daljico BE<br />
do točke F tako, da je |BE| = |EF |. Podaljšajmo stranico AC do<br />
neke točke G.<br />
Ker je |AE| = |EC|, |BE| = |EF | <strong>in</strong> sta kota AEB <strong>in</strong> CEF enaka<br />
(saj sta sovršna – Trditev 15), je |AB| = |CF | <strong>in</strong> sta triktonika<br />
ABE <strong>in</strong> CFE enaka <strong>in</strong> s tem tudi vsi njuni koti (Trditev 4). Torej<br />
je kot BAE enak kotu ECF . Kot ECD pa je večji od kota ECF<br />
(Aksiom 5), torej je kot ACD večji od kota BAE.<br />
Podobno, če razpolovimo stranico BC, dokažemo, da je kot<br />
BCG (kar je isto kot kot ACD – Trditev 15) večji od kota ABC.<br />
□<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Dokaz: Naj bo ABC trikotnik <strong>in</strong> podaljšajmo stranico BC do<br />
točke D. Dokažimo, da je zunanji kot ACD večji od kota CBA <strong>in</strong><br />
od kota BAC.<br />
Razpolovimo stranico AC <strong>in</strong> naj bo razpolovišče točka E<br />
(Trditev 10, ki smo jo zdaj sicer spustili). Podaljšajmo daljico BE<br />
do točke F tako, da je |BE| = |EF |. Podaljšajmo stranico AC do<br />
neke točke G.<br />
Ker je |AE| = |EC|, |BE| = |EF | <strong>in</strong> sta kota AEB <strong>in</strong> CEF enaka<br />
(saj sta sovršna – Trditev 15), je |AB| = |CF | <strong>in</strong> sta triktonika<br />
ABE <strong>in</strong> CFE enaka <strong>in</strong> s tem tudi vsi njuni koti (Trditev 4). Torej<br />
je kot BAE enak kotu ECF . Kot ECD pa je večji od kota ECF<br />
(Aksiom 5), torej je kot ACD večji od kota BAE.<br />
Podobno, če razpolovimo stranico BC, dokažemo, da je kot<br />
BCG (kar je isto kot kot ACD – Trditev 15) večji od kota ABC.<br />
□<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Kot smo že omenili, so bili <strong>Evklidovi</strong> <strong>Elementi</strong> preučevani skozi<br />
vso zgodov<strong>in</strong>o.<br />
Najprej je bilo največ pozornosti posvečene 5. postulatu (”o<br />
vzporednici”), napori za osvetlitev pomena postulatov/aksiomov<br />
pa so privedli do spoznanja, da so težave tudi z drugimi aspekti<br />
Elementov.<br />
Če gledamo na Elemente z vidika danšnje matematične<br />
strogosti, postane jasno, da Evklid ni v celoti dosegel ciljev, ki si<br />
jih je zadal, ali ki so mu jih pripisovali.<br />
Evklidove def<strong>in</strong>icije osnovnih pojmov seveda niso stroge<br />
matematične def<strong>in</strong>icije, kakor to danes razumemo, čeprav so<br />
<strong>in</strong>tuitivno sugestivne.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Kot smo že omenili, so bili <strong>Evklidovi</strong> <strong>Elementi</strong> preučevani skozi<br />
vso zgodov<strong>in</strong>o.<br />
Najprej je bilo največ pozornosti posvečene 5. postulatu (”o<br />
vzporednici”), napori za osvetlitev pomena postulatov/aksiomov<br />
pa so privedli do spoznanja, da so težave tudi z drugimi aspekti<br />
Elementov.<br />
Če gledamo na Elemente z vidika danšnje matematične<br />
strogosti, postane jasno, da Evklid ni v celoti dosegel ciljev, ki si<br />
jih je zadal, ali ki so mu jih pripisovali.<br />
Evklidove def<strong>in</strong>icije osnovnih pojmov seveda niso stroge<br />
matematične def<strong>in</strong>icije, kakor to danes razumemo, čeprav so<br />
<strong>in</strong>tuitivno sugestivne.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Kot smo že omenili, so bili <strong>Evklidovi</strong> <strong>Elementi</strong> preučevani skozi<br />
vso zgodov<strong>in</strong>o.<br />
Najprej je bilo največ pozornosti posvečene 5. postulatu (”o<br />
vzporednici”), napori za osvetlitev pomena postulatov/aksiomov<br />
pa so privedli do spoznanja, da so težave tudi z drugimi aspekti<br />
Elementov.<br />
Če gledamo na Elemente z vidika danšnje matematične<br />
strogosti, postane jasno, da Evklid ni v celoti dosegel ciljev, ki si<br />
jih je zadal, ali ki so mu jih pripisovali.<br />
Evklidove def<strong>in</strong>icije osnovnih pojmov seveda niso stroge<br />
matematične def<strong>in</strong>icije, kakor to danes razumemo, čeprav so<br />
<strong>in</strong>tuitivno sugestivne.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Kot smo že omenili, so bili <strong>Evklidovi</strong> <strong>Elementi</strong> preučevani skozi<br />
vso zgodov<strong>in</strong>o.<br />
Najprej je bilo največ pozornosti posvečene 5. postulatu (”o<br />
vzporednici”), napori za osvetlitev pomena postulatov/aksiomov<br />
pa so privedli do spoznanja, da so težave tudi z drugimi aspekti<br />
Elementov.<br />
Če gledamo na Elemente z vidika danšnje matematične<br />
strogosti, postane jasno, da Evklid ni v celoti dosegel ciljev, ki si<br />
jih je zadal, ali ki so mu jih pripisovali.<br />
Evklidove def<strong>in</strong>icije osnovnih pojmov seveda niso stroge<br />
matematične def<strong>in</strong>icije, kakor to danes razumemo, čeprav so<br />
<strong>in</strong>tuitivno sugestivne.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Da je točka nekaj, česar ne moremo razdeliti na dele, nekaj<br />
pove več<strong>in</strong>i ljudi, ni pa prava def<strong>in</strong>icija, ki bi povedala, za<br />
kakšne objekte tu gre. Iz konteksta postane stvar bolj jasna, a<br />
vseeno ni čisto neproblematična: v realnem – fizičnem svetu<br />
naših izkušenj ni ničesar, kar bi temu popolnoma ustrezalo, gre<br />
torej za idealizacijo ali abstrakcijo <strong>in</strong> ni dobro razložena z<br />
‘def<strong>in</strong>icijo’. Podobno velja za Evklidova pojma črte <strong>in</strong> ravne črte.<br />
Za razliko od tega pa so kasnejše def<strong>in</strong>icije bolj jasne. To velja<br />
na primer za def<strong>in</strong>iciji topega <strong>in</strong> ostrega kota, čeprav za<br />
današnje standarde tudi tu manjka def<strong>in</strong>icija, kaj pomeni, da je<br />
en kot večji od drugega.<br />
A to se da brez problema narediti popolnoma strogo (za razliko<br />
od ‘def<strong>in</strong>icij’ osnovnih pojmov).<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Da je točka nekaj, česar ne moremo razdeliti na dele, nekaj<br />
pove več<strong>in</strong>i ljudi, ni pa prava def<strong>in</strong>icija, ki bi povedala, za<br />
kakšne objekte tu gre. Iz konteksta postane stvar bolj jasna, a<br />
vseeno ni čisto neproblematična: v realnem – fizičnem svetu<br />
naših izkušenj ni ničesar, kar bi temu popolnoma ustrezalo, gre<br />
torej za idealizacijo ali abstrakcijo <strong>in</strong> ni dobro razložena z<br />
‘def<strong>in</strong>icijo’. Podobno velja za Evklidova pojma črte <strong>in</strong> ravne črte.<br />
Za razliko od tega pa so kasnejše def<strong>in</strong>icije bolj jasne. To velja<br />
na primer za def<strong>in</strong>iciji topega <strong>in</strong> ostrega kota, čeprav za<br />
današnje standarde tudi tu manjka def<strong>in</strong>icija, kaj pomeni, da je<br />
en kot večji od drugega.<br />
A to se da brez problema narediti popolnoma strogo (za razliko<br />
od ‘def<strong>in</strong>icij’ osnovnih pojmov).<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Da je točka nekaj, česar ne moremo razdeliti na dele, nekaj<br />
pove več<strong>in</strong>i ljudi, ni pa prava def<strong>in</strong>icija, ki bi povedala, za<br />
kakšne objekte tu gre. Iz konteksta postane stvar bolj jasna, a<br />
vseeno ni čisto neproblematična: v realnem – fizičnem svetu<br />
naših izkušenj ni ničesar, kar bi temu popolnoma ustrezalo, gre<br />
torej za idealizacijo ali abstrakcijo <strong>in</strong> ni dobro razložena z<br />
‘def<strong>in</strong>icijo’. Podobno velja za Evklidova pojma črte <strong>in</strong> ravne črte.<br />
Za razliko od tega pa so kasnejše def<strong>in</strong>icije bolj jasne. To velja<br />
na primer za def<strong>in</strong>iciji topega <strong>in</strong> ostrega kota, čeprav za<br />
današnje standarde tudi tu manjka def<strong>in</strong>icija, kaj pomeni, da je<br />
en kot večji od drugega.<br />
A to se da brez problema narediti popolnoma strogo (za razliko<br />
od ‘def<strong>in</strong>icij’ osnovnih pojmov).<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
To je privedlo do spoznanja, da obstajata dve vrsti pojmov. Ni<br />
namreč mogoče def<strong>in</strong>irati vseh pojmov. Podobno kot se ne da<br />
dokazati vseh trditev/dejstev, ampak jih moramo nekaj sprejeti<br />
brez dokaza (aksiomi), iz njih pa potem dokažemo druge,<br />
moramo tudi nekaj pojmov pustiti nedef<strong>in</strong>iranih, druge pa<br />
def<strong>in</strong>irati s pomočjo nedef<strong>in</strong>iranih <strong>in</strong> prehodno def<strong>in</strong>iranih<br />
pojmov.<br />
To bomo bolj jasno obravnavali v naslednjem poglavju.<br />
Če pozorno beremo Evklidove dokaze, tudi najdemo kako<br />
pomankljivost. Dober zgled tega je že prva Trditev, ki trdi, da<br />
lahko nad poljubno daljico konstruiramo enakostranični<br />
trikotnik. Evklid nariše kroga s središčema v krajiščih daljice<br />
AB, katerih polmer je dolž<strong>in</strong>a te stranice. Eno od točk, kjer se<br />
kroga sekata, imenuje C <strong>in</strong> dokaže, da je ABC enakostranični<br />
trikotnik (za to uporabi Postulata III <strong>in</strong> I <strong>in</strong> aksiome), ob tem je<br />
še skica, kar naredi dokaz zelo nazoren.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
To je privedlo do spoznanja, da obstajata dve vrsti pojmov. Ni<br />
namreč mogoče def<strong>in</strong>irati vseh pojmov. Podobno kot se ne da<br />
dokazati vseh trditev/dejstev, ampak jih moramo nekaj sprejeti<br />
brez dokaza (aksiomi), iz njih pa potem dokažemo druge,<br />
moramo tudi nekaj pojmov pustiti nedef<strong>in</strong>iranih, druge pa<br />
def<strong>in</strong>irati s pomočjo nedef<strong>in</strong>iranih <strong>in</strong> prehodno def<strong>in</strong>iranih<br />
pojmov.<br />
To bomo bolj jasno obravnavali v naslednjem poglavju.<br />
Če pozorno beremo Evklidove dokaze, tudi najdemo kako<br />
pomankljivost. Dober zgled tega je že prva Trditev, ki trdi, da<br />
lahko nad poljubno daljico konstruiramo enakostranični<br />
trikotnik. Evklid nariše kroga s središčema v krajiščih daljice<br />
AB, katerih polmer je dolž<strong>in</strong>a te stranice. Eno od točk, kjer se<br />
kroga sekata, imenuje C <strong>in</strong> dokaže, da je ABC enakostranični<br />
trikotnik (za to uporabi Postulata III <strong>in</strong> I <strong>in</strong> aksiome), ob tem je<br />
še skica, kar naredi dokaz zelo nazoren.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
To je privedlo do spoznanja, da obstajata dve vrsti pojmov. Ni<br />
namreč mogoče def<strong>in</strong>irati vseh pojmov. Podobno kot se ne da<br />
dokazati vseh trditev/dejstev, ampak jih moramo nekaj sprejeti<br />
brez dokaza (aksiomi), iz njih pa potem dokažemo druge,<br />
moramo tudi nekaj pojmov pustiti nedef<strong>in</strong>iranih, druge pa<br />
def<strong>in</strong>irati s pomočjo nedef<strong>in</strong>iranih <strong>in</strong> prehodno def<strong>in</strong>iranih<br />
pojmov.<br />
To bomo bolj jasno obravnavali v naslednjem poglavju.<br />
Če pozorno beremo Evklidove dokaze, tudi najdemo kako<br />
pomankljivost. Dober zgled tega je že prva Trditev, ki trdi, da<br />
lahko nad poljubno daljico konstruiramo enakostranični<br />
trikotnik. Evklid nariše kroga s središčema v krajiščih daljice<br />
AB, katerih polmer je dolž<strong>in</strong>a te stranice. Eno od točk, kjer se<br />
kroga sekata, imenuje C <strong>in</strong> dokaže, da je ABC enakostranični<br />
trikotnik (za to uporabi Postulata III <strong>in</strong> I <strong>in</strong> aksiome), ob tem je<br />
še skica, kar naredi dokaz zelo nazoren.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
To je privedlo do spoznanja, da obstajata dve vrsti pojmov. Ni<br />
namreč mogoče def<strong>in</strong>irati vseh pojmov. Podobno kot se ne da<br />
dokazati vseh trditev/dejstev, ampak jih moramo nekaj sprejeti<br />
brez dokaza (aksiomi), iz njih pa potem dokažemo druge,<br />
moramo tudi nekaj pojmov pustiti nedef<strong>in</strong>iranih, druge pa<br />
def<strong>in</strong>irati s pomočjo nedef<strong>in</strong>iranih <strong>in</strong> prehodno def<strong>in</strong>iranih<br />
pojmov.<br />
To bomo bolj jasno obravnavali v naslednjem poglavju.<br />
Če pozorno beremo Evklidove dokaze, tudi najdemo kako<br />
pomankljivost. Dober zgled tega je že prva Trditev, ki trdi, da<br />
lahko nad poljubno daljico konstruiramo enakostranični<br />
trikotnik. Evklid nariše kroga s središčema v krajiščih daljice<br />
AB, katerih polmer je dolž<strong>in</strong>a te stranice. Eno od točk, kjer se<br />
kroga sekata, imenuje C <strong>in</strong> dokaže, da je ABC enakostranični<br />
trikotnik (za to uporabi Postulata III <strong>in</strong> I <strong>in</strong> aksiome), ob tem je<br />
še skica, kar naredi dokaz zelo nazoren.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
To je privedlo do spoznanja, da obstajata dve vrsti pojmov. Ni<br />
namreč mogoče def<strong>in</strong>irati vseh pojmov. Podobno kot se ne da<br />
dokazati vseh trditev/dejstev, ampak jih moramo nekaj sprejeti<br />
brez dokaza (aksiomi), iz njih pa potem dokažemo druge,<br />
moramo tudi nekaj pojmov pustiti nedef<strong>in</strong>iranih, druge pa<br />
def<strong>in</strong>irati s pomočjo nedef<strong>in</strong>iranih <strong>in</strong> prehodno def<strong>in</strong>iranih<br />
pojmov.<br />
To bomo bolj jasno obravnavali v naslednjem poglavju.<br />
Če pozorno beremo Evklidove dokaze, tudi najdemo kako<br />
pomankljivost. Dober zgled tega je že prva Trditev, ki trdi, da<br />
lahko nad poljubno daljico konstruiramo enakostranični<br />
trikotnik. Evklid nariše kroga s središčema v krajiščih daljice<br />
AB, katerih polmer je dolž<strong>in</strong>a te stranice. Eno od točk, kjer se<br />
kroga sekata, imenuje C <strong>in</strong> dokaže, da je ABC enakostranični<br />
trikotnik (za to uporabi Postulata III <strong>in</strong> I <strong>in</strong> aksiome), ob tem je<br />
še skica, kar naredi dokaz zelo nazoren.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
A, če smo pozorni, opazimo, da je Evklid predpostavil več, kot<br />
le postulate <strong>in</strong> aksiome. V postulatih ni ničesar, kar bi<br />
zagotavljalo obstoj presečišča omenjenih dveh krogov. Dokaz<br />
tu temelji le na skici. Evklid torej uporablja tudi ‘dejstva’ o svojih<br />
točkah <strong>in</strong> črtah, o katerih ne dvomi <strong>in</strong> so <strong>in</strong>tuitivno očitna več<strong>in</strong>i<br />
bralcev, a niso bila eksplicitno omenjena v postulatih. In<br />
obstajajo situacije, v katerih na primer takega presečišča<br />
krogov nimamo. Tudi k temu se bomo še vrnili v naslednjih<br />
poglavjih.<br />
Evklidova Trditev 4 je znana trditev o skladnosti trikotnika, če<br />
sta skladni dve njuni stranici <strong>in</strong> kot med njima. Pri tem premika<br />
trikotnik (temu se reče tudi Evklidova metoda superpozicije), ne<br />
da bi to kje formuliral v aksiomih. Tekom zgodov<strong>in</strong>e so geometri<br />
spoznali, da ni mogoče kar tako privzeti, da lahko premikamo<br />
like, ne da bi jim spremenili obliko. Tudi o tem bomo še več rekli<br />
v naslednjih poglavjih.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
A, če smo pozorni, opazimo, da je Evklid predpostavil več, kot<br />
le postulate <strong>in</strong> aksiome. V postulatih ni ničesar, kar bi<br />
zagotavljalo obstoj presečišča omenjenih dveh krogov. Dokaz<br />
tu temelji le na skici. Evklid torej uporablja tudi ‘dejstva’ o svojih<br />
točkah <strong>in</strong> črtah, o katerih ne dvomi <strong>in</strong> so <strong>in</strong>tuitivno očitna več<strong>in</strong>i<br />
bralcev, a niso bila eksplicitno omenjena v postulatih. In<br />
obstajajo situacije, v katerih na primer takega presečišča<br />
krogov nimamo. Tudi k temu se bomo še vrnili v naslednjih<br />
poglavjih.<br />
Evklidova Trditev 4 je znana trditev o skladnosti trikotnika, če<br />
sta skladni dve njuni stranici <strong>in</strong> kot med njima. Pri tem premika<br />
trikotnik (temu se reče tudi Evklidova metoda superpozicije), ne<br />
da bi to kje formuliral v aksiomih. Tekom zgodov<strong>in</strong>e so geometri<br />
spoznali, da ni mogoče kar tako privzeti, da lahko premikamo<br />
like, ne da bi jim spremenili obliko. Tudi o tem bomo še več rekli<br />
v naslednjih poglavjih.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
A, če smo pozorni, opazimo, da je Evklid predpostavil več, kot<br />
le postulate <strong>in</strong> aksiome. V postulatih ni ničesar, kar bi<br />
zagotavljalo obstoj presečišča omenjenih dveh krogov. Dokaz<br />
tu temelji le na skici. Evklid torej uporablja tudi ‘dejstva’ o svojih<br />
točkah <strong>in</strong> črtah, o katerih ne dvomi <strong>in</strong> so <strong>in</strong>tuitivno očitna več<strong>in</strong>i<br />
bralcev, a niso bila eksplicitno omenjena v postulatih. In<br />
obstajajo situacije, v katerih na primer takega presečišča<br />
krogov nimamo. Tudi k temu se bomo še vrnili v naslednjih<br />
poglavjih.<br />
Evklidova Trditev 4 je znana trditev o skladnosti trikotnika, če<br />
sta skladni dve njuni stranici <strong>in</strong> kot med njima. Pri tem premika<br />
trikotnik (temu se reče tudi Evklidova metoda superpozicije), ne<br />
da bi to kje formuliral v aksiomih. Tekom zgodov<strong>in</strong>e so geometri<br />
spoznali, da ni mogoče kar tako privzeti, da lahko premikamo<br />
like, ne da bi jim spremenili obliko. Tudi o tem bomo še več rekli<br />
v naslednjih poglavjih.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
A, če smo pozorni, opazimo, da je Evklid predpostavil več, kot<br />
le postulate <strong>in</strong> aksiome. V postulatih ni ničesar, kar bi<br />
zagotavljalo obstoj presečišča omenjenih dveh krogov. Dokaz<br />
tu temelji le na skici. Evklid torej uporablja tudi ‘dejstva’ o svojih<br />
točkah <strong>in</strong> črtah, o katerih ne dvomi <strong>in</strong> so <strong>in</strong>tuitivno očitna več<strong>in</strong>i<br />
bralcev, a niso bila eksplicitno omenjena v postulatih. In<br />
obstajajo situacije, v katerih na primer takega presečišča<br />
krogov nimamo. Tudi k temu se bomo še vrnili v naslednjih<br />
poglavjih.<br />
Evklidova Trditev 4 je znana trditev o skladnosti trikotnika, če<br />
sta skladni dve njuni stranici <strong>in</strong> kot med njima. Pri tem premika<br />
trikotnik (temu se reče tudi Evklidova metoda superpozicije), ne<br />
da bi to kje formuliral v aksiomih. Tekom zgodov<strong>in</strong>e so geometri<br />
spoznali, da ni mogoče kar tako privzeti, da lahko premikamo<br />
like, ne da bi jim spremenili obliko. Tudi o tem bomo še več rekli<br />
v naslednjih poglavjih.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
A, če smo pozorni, opazimo, da je Evklid predpostavil več, kot<br />
le postulate <strong>in</strong> aksiome. V postulatih ni ničesar, kar bi<br />
zagotavljalo obstoj presečišča omenjenih dveh krogov. Dokaz<br />
tu temelji le na skici. Evklid torej uporablja tudi ‘dejstva’ o svojih<br />
točkah <strong>in</strong> črtah, o katerih ne dvomi <strong>in</strong> so <strong>in</strong>tuitivno očitna več<strong>in</strong>i<br />
bralcev, a niso bila eksplicitno omenjena v postulatih. In<br />
obstajajo situacije, v katerih na primer takega presečišča<br />
krogov nimamo. Tudi k temu se bomo še vrnili v naslednjih<br />
poglavjih.<br />
Evklidova Trditev 4 je znana trditev o skladnosti trikotnika, če<br />
sta skladni dve njuni stranici <strong>in</strong> kot med njima. Pri tem premika<br />
trikotnik (temu se reče tudi Evklidova metoda superpozicije), ne<br />
da bi to kje formuliral v aksiomih. Tekom zgodov<strong>in</strong>e so geometri<br />
spoznali, da ni mogoče kar tako privzeti, da lahko premikamo<br />
like, ne da bi jim spremenili obliko. Tudi o tem bomo še več rekli<br />
v naslednjih poglavjih.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
A, če smo pozorni, opazimo, da je Evklid predpostavil več, kot<br />
le postulate <strong>in</strong> aksiome. V postulatih ni ničesar, kar bi<br />
zagotavljalo obstoj presečišča omenjenih dveh krogov. Dokaz<br />
tu temelji le na skici. Evklid torej uporablja tudi ‘dejstva’ o svojih<br />
točkah <strong>in</strong> črtah, o katerih ne dvomi <strong>in</strong> so <strong>in</strong>tuitivno očitna več<strong>in</strong>i<br />
bralcev, a niso bila eksplicitno omenjena v postulatih. In<br />
obstajajo situacije, v katerih na primer takega presečišča<br />
krogov nimamo. Tudi k temu se bomo še vrnili v naslednjih<br />
poglavjih.<br />
Evklidova Trditev 4 je znana trditev o skladnosti trikotnika, če<br />
sta skladni dve njuni stranici <strong>in</strong> kot med njima. Pri tem premika<br />
trikotnik (temu se reče tudi Evklidova metoda superpozicije), ne<br />
da bi to kje formuliral v aksiomih. Tekom zgodov<strong>in</strong>e so geometri<br />
spoznali, da ni mogoče kar tako privzeti, da lahko premikamo<br />
like, ne da bi jim spremenili obliko. Tudi o tem bomo še več rekli<br />
v naslednjih poglavjih.<br />
Matija Cencelj <strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Kot kaže sedanji tekst, so že kmalu po Evklidu spoznali, da za<br />
dokaz na primer Trditve 4 ne potrebujemo le obstoj daljice med<br />
poljubnima točkama, ampak tudi to, da je taka daljica ena sama<br />
(torej natanko določena z točkama na robu) <strong>in</strong> to vnesli kot<br />
opombo (glej opombo v oglatem oklepaju) v Evklidov tekst.<br />
Poleg tega Evklid v dokazu Trditve 16 ( o zunanjem kotu<br />
predpostavi, da je točka F v notranjosti kota ACD, a tega nikjer<br />
ne argumentira.<br />
V naslednjih poglavjih bomo zgradili sistem aksiomov, ki nam<br />
bo popravil tudi to pomanjkljivost.<br />
Naj še enkrat poudarimo, da to niso neke temeljnje<br />
pomanjkljivosti, gre za to, da se je - seveda - v teh dvatisoč letih<br />
spremenil standard matematične strogosti.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Kot kaže sedanji tekst, so že kmalu po Evklidu spoznali, da za<br />
dokaz na primer Trditve 4 ne potrebujemo le obstoj daljice med<br />
poljubnima točkama, ampak tudi to, da je taka daljica ena sama<br />
(torej natanko določena z točkama na robu) <strong>in</strong> to vnesli kot<br />
opombo (glej opombo v oglatem oklepaju) v Evklidov tekst.<br />
Poleg tega Evklid v dokazu Trditve 16 ( o zunanjem kotu<br />
predpostavi, da je točka F v notranjosti kota ACD, a tega nikjer<br />
ne argumentira.<br />
V naslednjih poglavjih bomo zgradili sistem aksiomov, ki nam<br />
bo popravil tudi to pomanjkljivost.<br />
Naj še enkrat poudarimo, da to niso neke temeljnje<br />
pomanjkljivosti, gre za to, da se je - seveda - v teh dvatisoč letih<br />
spremenil standard matematične strogosti.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Kot kaže sedanji tekst, so že kmalu po Evklidu spoznali, da za<br />
dokaz na primer Trditve 4 ne potrebujemo le obstoj daljice med<br />
poljubnima točkama, ampak tudi to, da je taka daljica ena sama<br />
(torej natanko določena z točkama na robu) <strong>in</strong> to vnesli kot<br />
opombo (glej opombo v oglatem oklepaju) v Evklidov tekst.<br />
Poleg tega Evklid v dokazu Trditve 16 ( o zunanjem kotu<br />
predpostavi, da je točka F v notranjosti kota ACD, a tega nikjer<br />
ne argumentira.<br />
V naslednjih poglavjih bomo zgradili sistem aksiomov, ki nam<br />
bo popravil tudi to pomanjkljivost.<br />
Naj še enkrat poudarimo, da to niso neke temeljnje<br />
pomanjkljivosti, gre za to, da se je - seveda - v teh dvatisoč letih<br />
spremenil standard matematične strogosti.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Kot kaže sedanji tekst, so že kmalu po Evklidu spoznali, da za<br />
dokaz na primer Trditve 4 ne potrebujemo le obstoj daljice med<br />
poljubnima točkama, ampak tudi to, da je taka daljica ena sama<br />
(torej natanko določena z točkama na robu) <strong>in</strong> to vnesli kot<br />
opombo (glej opombo v oglatem oklepaju) v Evklidov tekst.<br />
Poleg tega Evklid v dokazu Trditve 16 ( o zunanjem kotu<br />
predpostavi, da je točka F v notranjosti kota ACD, a tega nikjer<br />
ne argumentira.<br />
V naslednjih poglavjih bomo zgradili sistem aksiomov, ki nam<br />
bo popravil tudi to pomanjkljivost.<br />
Naj še enkrat poudarimo, da to niso neke temeljnje<br />
pomanjkljivosti, gre za to, da se je - seveda - v teh dvatisoč letih<br />
spremenil standard matematične strogosti.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ker bomo v nadaljevanju skušali v aksiome formulirati vse<br />
predpostavke naše geometrije, bomo seveda morali<br />
predpostaviti precej več kot je v <strong>Evklidovi</strong>h postulatih <strong>in</strong><br />
aksiomih.<br />
Sledi še nekaj opomb.<br />
1) Za Evklida je sta točka <strong>in</strong> črta čisti geometrijski<br />
formi/abstrakciji, ki lebdita v ravn<strong>in</strong>i brez fiksne lokacije (<strong>in</strong> jih<br />
zato prosto premikamo). Mi smo od otroštva navajeni<br />
identificirati točke na premici s števili <strong>in</strong> točke na ravn<strong>in</strong>i s<br />
koord<strong>in</strong>atnimi pari. To bi bilo Evklidu popolnoma tuje. Šele<br />
Descartes (17.stol.) je uvedel koord<strong>in</strong>ate v prostor/ravn<strong>in</strong>o. In<br />
šele v 20. stoletju je postalo očitno, da moramo v geometrijske<br />
aksiome uvesti tudi realna števila.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ker bomo v nadaljevanju skušali v aksiome formulirati vse<br />
predpostavke naše geometrije, bomo seveda morali<br />
predpostaviti precej več kot je v <strong>Evklidovi</strong>h postulatih <strong>in</strong><br />
aksiomih.<br />
Sledi še nekaj opomb.<br />
1) Za Evklida je sta točka <strong>in</strong> črta čisti geometrijski<br />
formi/abstrakciji, ki lebdita v ravn<strong>in</strong>i brez fiksne lokacije (<strong>in</strong> jih<br />
zato prosto premikamo). Mi smo od otroštva navajeni<br />
identificirati točke na premici s števili <strong>in</strong> točke na ravn<strong>in</strong>i s<br />
koord<strong>in</strong>atnimi pari. To bi bilo Evklidu popolnoma tuje. Šele<br />
Descartes (17.stol.) je uvedel koord<strong>in</strong>ate v prostor/ravn<strong>in</strong>o. In<br />
šele v 20. stoletju je postalo očitno, da moramo v geometrijske<br />
aksiome uvesti tudi realna števila.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ker bomo v nadaljevanju skušali v aksiome formulirati vse<br />
predpostavke naše geometrije, bomo seveda morali<br />
predpostaviti precej več kot je v <strong>Evklidovi</strong>h postulatih <strong>in</strong><br />
aksiomih.<br />
Sledi še nekaj opomb.<br />
1) Za Evklida je sta točka <strong>in</strong> črta čisti geometrijski<br />
formi/abstrakciji, ki lebdita v ravn<strong>in</strong>i brez fiksne lokacije (<strong>in</strong> jih<br />
zato prosto premikamo). Mi smo od otroštva navajeni<br />
identificirati točke na premici s števili <strong>in</strong> točke na ravn<strong>in</strong>i s<br />
koord<strong>in</strong>atnimi pari. To bi bilo Evklidu popolnoma tuje. Šele<br />
Descartes (17.stol.) je uvedel koord<strong>in</strong>ate v prostor/ravn<strong>in</strong>o. In<br />
šele v 20. stoletju je postalo očitno, da moramo v geometrijske<br />
aksiome uvesti tudi realna števila.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ker bomo v nadaljevanju skušali v aksiome formulirati vse<br />
predpostavke naše geometrije, bomo seveda morali<br />
predpostaviti precej več kot je v <strong>Evklidovi</strong>h postulatih <strong>in</strong><br />
aksiomih.<br />
Sledi še nekaj opomb.<br />
1) Za Evklida je sta točka <strong>in</strong> črta čisti geometrijski<br />
formi/abstrakciji, ki lebdita v ravn<strong>in</strong>i brez fiksne lokacije (<strong>in</strong> jih<br />
zato prosto premikamo). Mi smo od otroštva navajeni<br />
identificirati točke na premici s števili <strong>in</strong> točke na ravn<strong>in</strong>i s<br />
koord<strong>in</strong>atnimi pari. To bi bilo Evklidu popolnoma tuje. Šele<br />
Descartes (17.stol.) je uvedel koord<strong>in</strong>ate v prostor/ravn<strong>in</strong>o. In<br />
šele v 20. stoletju je postalo očitno, da moramo v geometrijske<br />
aksiome uvesti tudi realna števila.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ker bomo v nadaljevanju skušali v aksiome formulirati vse<br />
predpostavke naše geometrije, bomo seveda morali<br />
predpostaviti precej več kot je v <strong>Evklidovi</strong>h postulatih <strong>in</strong><br />
aksiomih.<br />
Sledi še nekaj opomb.<br />
1) Za Evklida je sta točka <strong>in</strong> črta čisti geometrijski<br />
formi/abstrakciji, ki lebdita v ravn<strong>in</strong>i brez fiksne lokacije (<strong>in</strong> jih<br />
zato prosto premikamo). Mi smo od otroštva navajeni<br />
identificirati točke na premici s števili <strong>in</strong> točke na ravn<strong>in</strong>i s<br />
koord<strong>in</strong>atnimi pari. To bi bilo Evklidu popolnoma tuje. Šele<br />
Descartes (17.stol.) je uvedel koord<strong>in</strong>ate v prostor/ravn<strong>in</strong>o. In<br />
šele v 20. stoletju je postalo očitno, da moramo v geometrijske<br />
aksiome uvesti tudi realna števila.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Ker bomo v nadaljevanju skušali v aksiome formulirati vse<br />
predpostavke naše geometrije, bomo seveda morali<br />
predpostaviti precej več kot je v <strong>Evklidovi</strong>h postulatih <strong>in</strong><br />
aksiomih.<br />
Sledi še nekaj opomb.<br />
1) Za Evklida je sta točka <strong>in</strong> črta čisti geometrijski<br />
formi/abstrakciji, ki lebdita v ravn<strong>in</strong>i brez fiksne lokacije (<strong>in</strong> jih<br />
zato prosto premikamo). Mi smo od otroštva navajeni<br />
identificirati točke na premici s števili <strong>in</strong> točke na ravn<strong>in</strong>i s<br />
koord<strong>in</strong>atnimi pari. To bi bilo Evklidu popolnoma tuje. Šele<br />
Descartes (17.stol.) je uvedel koord<strong>in</strong>ate v prostor/ravn<strong>in</strong>o. In<br />
šele v 20. stoletju je postalo očitno, da moramo v geometrijske<br />
aksiome uvesti tudi realna števila.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
2) Evklid je obravnaval končne like (zato smo tudi mi pri<br />
prevodu uporabili izraz ‘črta’ namesto ‘premica’), zato je govoril<br />
o možnosti podaljševanja črt. Mi smo (nekako od Georga<br />
Cantorja iz 19. stoletja) navajeni na neskončne like (npr.<br />
premice) <strong>in</strong> zato nam podaljševanje ni potrebno.<br />
3) Evklid je formuliral svoje aksiome z mislimi na konstrukcije, ki<br />
jih lahko izvedemo izključno le z ravno palico (ravnilom brez<br />
oznake dolž<strong>in</strong>) <strong>in</strong> šestilom (ki pa skoči skupaj, če ga dvignemo<br />
s površ<strong>in</strong>e risanja – tj., ni ga uporabljal za prenašanje dolž<strong>in</strong>).<br />
Na neki nač<strong>in</strong> je Evklid enačil eksistenco (geometrijskih likov) z<br />
možnostjo konstrukcije.<br />
Danes tudi v šoli uporabljamo ravnilo (z oznakami za dolž<strong>in</strong>o) <strong>in</strong><br />
kotomer.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
2) Evklid je obravnaval končne like (zato smo tudi mi pri<br />
prevodu uporabili izraz ‘črta’ namesto ‘premica’), zato je govoril<br />
o možnosti podaljševanja črt. Mi smo (nekako od Georga<br />
Cantorja iz 19. stoletja) navajeni na neskončne like (npr.<br />
premice) <strong>in</strong> zato nam podaljševanje ni potrebno.<br />
3) Evklid je formuliral svoje aksiome z mislimi na konstrukcije, ki<br />
jih lahko izvedemo izključno le z ravno palico (ravnilom brez<br />
oznake dolž<strong>in</strong>) <strong>in</strong> šestilom (ki pa skoči skupaj, če ga dvignemo<br />
s površ<strong>in</strong>e risanja – tj., ni ga uporabljal za prenašanje dolž<strong>in</strong>).<br />
Na neki nač<strong>in</strong> je Evklid enačil eksistenco (geometrijskih likov) z<br />
možnostjo konstrukcije.<br />
Danes tudi v šoli uporabljamo ravnilo (z oznakami za dolž<strong>in</strong>o) <strong>in</strong><br />
kotomer.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
2) Evklid je obravnaval končne like (zato smo tudi mi pri<br />
prevodu uporabili izraz ‘črta’ namesto ‘premica’), zato je govoril<br />
o možnosti podaljševanja črt. Mi smo (nekako od Georga<br />
Cantorja iz 19. stoletja) navajeni na neskončne like (npr.<br />
premice) <strong>in</strong> zato nam podaljševanje ni potrebno.<br />
3) Evklid je formuliral svoje aksiome z mislimi na konstrukcije, ki<br />
jih lahko izvedemo izključno le z ravno palico (ravnilom brez<br />
oznake dolž<strong>in</strong>) <strong>in</strong> šestilom (ki pa skoči skupaj, če ga dvignemo<br />
s površ<strong>in</strong>e risanja – tj., ni ga uporabljal za prenašanje dolž<strong>in</strong>).<br />
Na neki nač<strong>in</strong> je Evklid enačil eksistenco (geometrijskih likov) z<br />
možnostjo konstrukcije.<br />
Danes tudi v šoli uporabljamo ravnilo (z oznakami za dolž<strong>in</strong>o) <strong>in</strong><br />
kotomer.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
2) Evklid je obravnaval končne like (zato smo tudi mi pri<br />
prevodu uporabili izraz ‘črta’ namesto ‘premica’), zato je govoril<br />
o možnosti podaljševanja črt. Mi smo (nekako od Georga<br />
Cantorja iz 19. stoletja) navajeni na neskončne like (npr.<br />
premice) <strong>in</strong> zato nam podaljševanje ni potrebno.<br />
3) Evklid je formuliral svoje aksiome z mislimi na konstrukcije, ki<br />
jih lahko izvedemo izključno le z ravno palico (ravnilom brez<br />
oznake dolž<strong>in</strong>) <strong>in</strong> šestilom (ki pa skoči skupaj, če ga dvignemo<br />
s površ<strong>in</strong>e risanja – tj., ni ga uporabljal za prenašanje dolž<strong>in</strong>).<br />
Na neki nač<strong>in</strong> je Evklid enačil eksistenco (geometrijskih likov) z<br />
možnostjo konstrukcije.<br />
Danes tudi v šoli uporabljamo ravnilo (z oznakami za dolž<strong>in</strong>o) <strong>in</strong><br />
kotomer.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
2) Evklid je obravnaval končne like (zato smo tudi mi pri<br />
prevodu uporabili izraz ‘črta’ namesto ‘premica’), zato je govoril<br />
o možnosti podaljševanja črt. Mi smo (nekako od Georga<br />
Cantorja iz 19. stoletja) navajeni na neskončne like (npr.<br />
premice) <strong>in</strong> zato nam podaljševanje ni potrebno.<br />
3) Evklid je formuliral svoje aksiome z mislimi na konstrukcije, ki<br />
jih lahko izvedemo izključno le z ravno palico (ravnilom brez<br />
oznake dolž<strong>in</strong>) <strong>in</strong> šestilom (ki pa skoči skupaj, če ga dvignemo<br />
s površ<strong>in</strong>e risanja – tj., ni ga uporabljal za prenašanje dolž<strong>in</strong>).<br />
Na neki nač<strong>in</strong> je Evklid enačil eksistenco (geometrijskih likov) z<br />
možnostjo konstrukcije.<br />
Danes tudi v šoli uporabljamo ravnilo (z oznakami za dolž<strong>in</strong>o) <strong>in</strong><br />
kotomer.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Za stare Grke pa je bil problem, ki ga niso razrešili, trisekcija<br />
kota – ali lahko poljubni kot razdelimo na tri enake dele (z<br />
‘njihovima’ ravnilom <strong>in</strong> šestilom).<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Da se ne bi preveč zanašali na skice, si oglejmo primer<br />
napačnega dokazovanja – lažni izrek iz konca 19. stoletja.<br />
Lažni izrek<br />
V poljubnem trikotniku △ABC sta stranici AB <strong>in</strong> AC skladni.<br />
”Dokaz”: Naj bo l simetrala kota ∠BAC <strong>in</strong> naj bo točka G<br />
presečišče premice l <strong>in</strong> stranice BC.<br />
Imamo dve možnosti – ali je l pravokotna na stranico BC, ali pa<br />
ni. Za vsakega od teh dveh primerov bomo dali drugačen<br />
dokaz.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Da se ne bi preveč zanašali na skice, si oglejmo primer<br />
napačnega dokazovanja – lažni izrek iz konca 19. stoletja.<br />
Lažni izrek<br />
V poljubnem trikotniku △ABC sta stranici AB <strong>in</strong> AC skladni.<br />
”Dokaz”: Naj bo l simetrala kota ∠BAC <strong>in</strong> naj bo točka G<br />
presečišče premice l <strong>in</strong> stranice BC.<br />
Imamo dve možnosti – ali je l pravokotna na stranico BC, ali pa<br />
ni. Za vsakega od teh dveh primerov bomo dali drugačen<br />
dokaz.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Da se ne bi preveč zanašali na skice, si oglejmo primer<br />
napačnega dokazovanja – lažni izrek iz konca 19. stoletja.<br />
Lažni izrek<br />
V poljubnem trikotniku △ABC sta stranici AB <strong>in</strong> AC skladni.<br />
”Dokaz”: Naj bo l simetrala kota ∠BAC <strong>in</strong> naj bo točka G<br />
presečišče premice l <strong>in</strong> stranice BC.<br />
Imamo dve možnosti – ali je l pravokotna na stranico BC, ali pa<br />
ni. Za vsakega od teh dveh primerov bomo dali drugačen<br />
dokaz.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Da se ne bi preveč zanašali na skice, si oglejmo primer<br />
napačnega dokazovanja – lažni izrek iz konca 19. stoletja.<br />
Lažni izrek<br />
V poljubnem trikotniku △ABC sta stranici AB <strong>in</strong> AC skladni.<br />
”Dokaz”: Naj bo l simetrala kota ∠BAC <strong>in</strong> naj bo točka G<br />
presečišče premice l <strong>in</strong> stranice BC.<br />
Imamo dve možnosti – ali je l pravokotna na stranico BC, ali pa<br />
ni. Za vsakega od teh dveh primerov bomo dali drugačen<br />
dokaz.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Da se ne bi preveč zanašali na skice, si oglejmo primer<br />
napačnega dokazovanja – lažni izrek iz konca 19. stoletja.<br />
Lažni izrek<br />
V poljubnem trikotniku △ABC sta stranici AB <strong>in</strong> AC skladni.<br />
”Dokaz”: Naj bo l simetrala kota ∠BAC <strong>in</strong> naj bo točka G<br />
presečišče premice l <strong>in</strong> stranice BC.<br />
Imamo dve možnosti – ali je l pravokotna na stranico BC, ali pa<br />
ni. Za vsakega od teh dveh primerov bomo dali drugačen<br />
dokaz.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Najprej predpostavimo l ⊥ BC. Tedaj sta trikotnika △AGB <strong>in</strong><br />
△AGB skladna (po izreku ”kot-stranica-kot”) <strong>in</strong> zato sta stranici<br />
AB <strong>in</strong> AC skladni.<br />
Zdaj predpostavimo, da l ̸⊥ BC. Tedaj l preseka simetralo<br />
stranice BC v neki točki D. Imamo tri možnosti:<br />
ali je D znotraj trikotnika △ABC,<br />
ali je na triktoniku △ABC,<br />
ali pa je zunaj tega trikotnika.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Najprej predpostavimo l ⊥ BC. Tedaj sta trikotnika △AGB <strong>in</strong><br />
△AGB skladna (po izreku ”kot-stranica-kot”) <strong>in</strong> zato sta stranici<br />
AB <strong>in</strong> AC skladni.<br />
Zdaj predpostavimo, da l ̸⊥ BC. Tedaj l preseka simetralo<br />
stranice BC v neki točki D. Imamo tri možnosti:<br />
ali je D znotraj trikotnika △ABC,<br />
ali je na triktoniku △ABC,<br />
ali pa je zunaj tega trikotnika.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Najprej predpostavimo l ⊥ BC. Tedaj sta trikotnika △AGB <strong>in</strong><br />
△AGB skladna (po izreku ”kot-stranica-kot”) <strong>in</strong> zato sta stranici<br />
AB <strong>in</strong> AC skladni.<br />
Zdaj predpostavimo, da l ̸⊥ BC. Tedaj l preseka simetralo<br />
stranice BC v neki točki D. Imamo tri možnosti:<br />
ali je D znotraj trikotnika △ABC,<br />
ali je na triktoniku △ABC,<br />
ali pa je zunaj tega trikotnika.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Najprej predpostavimo l ⊥ BC. Tedaj sta trikotnika △AGB <strong>in</strong><br />
△AGB skladna (po izreku ”kot-stranica-kot”) <strong>in</strong> zato sta stranici<br />
AB <strong>in</strong> AC skladni.<br />
Zdaj predpostavimo, da l ̸⊥ BC. Tedaj l preseka simetralo<br />
stranice BC v neki točki D. Imamo tri možnosti:<br />
ali je D znotraj trikotnika △ABC,<br />
ali je na triktoniku △ABC,<br />
ali pa je zunaj tega trikotnika.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Najprej predpostavimo l ⊥ BC. Tedaj sta trikotnika △AGB <strong>in</strong><br />
△AGB skladna (po izreku ”kot-stranica-kot”) <strong>in</strong> zato sta stranici<br />
AB <strong>in</strong> AC skladni.<br />
Zdaj predpostavimo, da l ̸⊥ BC. Tedaj l preseka simetralo<br />
stranice BC v neki točki D. Imamo tri možnosti:<br />
ali je D znotraj trikotnika △ABC,<br />
ali je na triktoniku △ABC,<br />
ali pa je zunaj tega trikotnika.<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Naj bo točka M na sredi stranice BC. Iz točke D načrtamo<br />
↔<br />
pravokotnici na premici nosilki AB <strong>in</strong> AC ↔ stranic AB oziroma<br />
AC. Presečišči teh pravokotnic s premicama ↔ AB oziroma ↔ AC<br />
naj bosta točki E oziroma F .<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Naj bo točka M na sredi stranice BC. Iz točke D načrtamo<br />
↔<br />
pravokotnici na premici nosilki AB <strong>in</strong> AC ↔ stranic AB oziroma<br />
AC. Presečišči teh pravokotnic s premicama ↔ AB oziroma ↔ AC<br />
naj bosta točki E oziroma F .<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>
<strong>Uvod</strong><br />
<strong>Evklidovi</strong> <strong>Elementi</strong><br />
Logična struktura <strong>Evklidovi</strong>h Elementov<br />
Zgodovniski pomen Elementov<br />
Pogled na prvo knjigo<br />
Opombe k Elementom<br />
Naj bo točka M na sredi stranice BC. Iz točke D načrtamo<br />
↔<br />
pravokotnici na premici nosilki AB <strong>in</strong> AC ↔ stranic AB oziroma<br />
AC. Presečišči teh pravokotnic s premicama ↔ AB oziroma ↔ AC<br />
naj bosta točki E oziroma F .<br />
Matija Cencelj<br />
<strong>GEOMETRIJA</strong>, <strong>1.</strong> <strong>Uvod</strong> <strong>in</strong> <strong>Evklidovi</strong> <strong>Elementi</strong>