18.05.2014 Views

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

SHOW MORE
SHOW LESS

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>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!