Videnskabsteori - Lakatos og Eulers polyedersætning - Gymportalen
Videnskabsteori - Lakatos og Eulers polyedersætning - Gymportalen
Videnskabsteori - Lakatos og Eulers polyedersætning - Gymportalen
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Hvad er matematik? C, i-b<strong>og</strong><br />
ISBN 978 87 7066 499 8<br />
Projekter: Kapitel 10<br />
V E F 2 ,<br />
hvor V er antallet af hjørner, E antallet af kanter <strong>og</strong> F antallet af sider. Samtidig med gennemgangen<br />
gennemføres en diskussion af, om beviset holder.<br />
På engelsk kaldes denne sætning ofte for <strong>Eulers</strong> formula. Men man skal passe på ved søgning på nettet, for<br />
dette navn er <strong>og</strong>så knyttet til en helt anden formel, der handler om de såkaldte komplekse tal.<br />
Øvelse 1<br />
Hvad siger sætningen om sammenhængen mellem antal hjørner, antal kanter <strong>og</strong> antal flader for et<br />
polyeder? Find ud af det ved at besøge en hjemmeside som denne.<br />
Kontroller formlen med en pyramide <strong>og</strong> en terning.<br />
Vi vil nu sætte os ind i, hvordan Imre <strong>Lakatos</strong> argumenterer, ved at følge hans bevis for <strong>Eulers</strong><br />
<strong>polyedersætning</strong> fra Proofs and Refutations <strong>og</strong> hans diskussion af, om beviset holder. Et stort uddrag af<br />
b<strong>og</strong>en er oversat til dansk af videnskabshistorikerne Henrik Kragh Søerensen <strong>og</strong> Kurt Ramskov <strong>og</strong> kan findes<br />
her.<br />
Øvelse 2<br />
Læs det følgende uddrag, hvor beviset gennemgås, <strong>og</strong> hvor der gennemføres en første diskussion af<br />
beviset. Noter de vigtigste skridt i beviset, <strong>og</strong> præsenter beviset for hinanden.<br />
Kapitel 1. Et problem <strong>og</strong> en formodning<br />
Man skal forestille sig, at samtalen finder sted i et klasseværelse. Klassen bliver interesseret i et problem:<br />
Er der en relation mellem antallet af hjørner V, antallet af kanter E <strong>og</strong> antallet af sider F i et<br />
polyeder — specielt i regulære polyedre — anal<strong>og</strong> til den trivielle relation mellem antallet af hjørner<br />
<strong>og</strong> kanter i polygoner, nemlig at der er lige så mange kanter som hjørner: V = E?<br />
Denne sidstnævnte relation tillader os at klassificere polygoner efter antallet af kanter (eller hjørner):<br />
trekanter, firkanter, femkanter osv. En anal<strong>og</strong> relation vil hjælpe os til at klassificere polyedre.<br />
Efter mange forslag <strong>og</strong> forsøg finder klassen ud af, at for alle regulære polyedre gælder:<br />
V E F 2 .<br />
N<strong>og</strong>le gætter på, at dette gælder for ethvert polyeder. Andre prøver at falsificere formodningen <strong>og</strong> forsøger<br />
at afprøve den på mange forskellige måder. Den holder godt. Resultatet underbygger formodningen <strong>og</strong><br />
giver en forventning om, at den kan bevises. Det er på dette tidspunkt efter formuleringen af problemet <strong>og</strong><br />
formodningen, at vi kommer ind i klasseværelset. Læreren skal til at give et bevis.<br />
Kapitel 2. Et bevis<br />
LÆREREN: I sidste time endte vi med en formodning om, at for alle polyedre gælder V E F 2 ,<br />
hvor V er antallet af hjørner, E antallet af kanter <strong>og</strong> F antallet af sider. Vi fik afprøvet den med forskellige<br />
metoder, men vi har endnu ikke bevist den. Har n<strong>og</strong>en fundet et bevis?<br />
SIGMA: Jeg må indrømme, at jeg endnu ikke har været i stand til at give et stringent bevis for sætningen . . .<br />
. Men eftersom sandheden af den er blevet kontrolleret i så mange tilfælde, kan der ikke være n<strong>og</strong>en tvivl<br />
om, at sætningen gælder for alle polyedre. Så sætningen ser ud til at være tilfredsstillende bevist. Har du<br />
imidlertid et bevis, så lad os bare se det.<br />
© 2011 L&R Uddannelse A/S • V<strong>og</strong>nmagergade 11 • DK-1148 • København K • Tlf: 43503030 • Email: info@lru.dk<br />
2