Matematiska bevis
- Gymnasielärares tankar och uppfattningar
Sofia Magnusson
Ämneslärarprogrammet med
inriktning mot gymnasieskolan
Examensarbete: 15 hp
Kurs: LGMA2A
Nivå: Avancerad nivå
Termin/år: VT 2018
Handledare: Jan Stevens
Examinator: Johan Wästlund
Kod: VT18-3001-011-LGMA2A
Nyckelord: Bevis. Undervisning. Matematikdidaktik. Bevisföring. Skolverket. Nationella kursprov. Bedömning.
Abstract
The aim of this quantitative study is to investigate Swedish upper secondary school teachers’
perception and thoughts concerning mathematical proofs. Four teachers working at the natural
science and technology programmes were interviewed to shed light on the topic. The results
showed that the teachers considered proofs to be appropriate educational content for students
who intend to study mathematics or technical degrees at university, in line with earlier
research. The teachers also considered the value of proof to be greater in relation to
mathematics as a scientific subject rather than for their teaching and the mathematics in
school. However, the explanatory and transfer functions of proof and proving were highly
valued by the teachers. The contradiction of not valuing proofs as highly in education but still
consider certain functions of proof important can be clarified by considering the teacher’s
dilemma and how the teachers perceive the Swedish National Agency for Education
directions for the National Tests. The teachers’ pay attentions to their pupils in their
pedagogical choices and since not all student will pursue careers in mathematics or
technology the result is that proofs play a diminished role in upper secondary school
mathematics. Moreover, the teachers consider the instructions for assessment of the National
Tests provided by the Swedish National Agency for Education to focus on certain cognitive
levels of proof and proving. By considering these two factors we reach an understanding of
how teachers perceive proof and what the effect are on the mathematic education at upper
secondary school.
Förord
Jag vill börja med att tacka de medverkande lärarna som gjorde denna studie möjlig. Vidare till jag tacka min handledare Jan Stevens som har väglett mig under studiens gång. Slutligen vill jag rikta ett stort tack till min examinator Johan Wästlund och min opponent Kajsa Lidbom som i slutskedet av examensarbetet hjälpte mig att se arbetet ur nya synvinklar och tillföra nya perspektiv.
Sofia
Den 3 juni 2018
Innehållsförteckning
1 Inledning ... 1
2 Syfte ... 2
3 Bakgrund ... 3
3.1 Bevis i en matematisk historisk kontext ... 3
3.2 Matematikfilosofiska huvudriktningar ... 3
3.3 Vad är matematiska bevis? ... 4
3.4 Matematiska bevis i svenska skolan ... 5
3.4.1 Matematiska bevis i läroplanen ... 5
3.4.2 Ett bevis av Pythagoras sats ... 6
3.4.3 Ett bevis från de nationella proven ... 7
4 Teoretiskt ramverk ... 8
4.1 Konstruktivismen och kognitiva nivåer ... 8
4.2 Det sociokulturella perspektivet och bevisens roller ... 9
4.2.1 De matematiska bevisens roller ... 9
4.2.2 Tidigare forskning på bevisens roller ... 10
5 Metod ... 12
5.1 Metodbeskrivning ... 12
5.2 Urval ... 12
5.3 Genomförande ... 13
5.4 Analys och bearbetning av material ... 13
5.5 Forskningsetik ... 13
5.6 Reliabilitet och validitet ... 14
6 Resultat ... 15
6.1 Lärares tankar om vad matematiska bevis är ... 15
6.2 Bevisens roll i matematiken och undervisningen ... 16
6.3 Skolverkets styrning och betygssättning ... 19
7 Diskussion ... 21
7.1 Resultatdiskussion ... 21
7.1.1 Lärarnas uppfattning av matematiska bevis ... 21
7.1.2 Bevisens roll för lärarna och deras undervisning ... 22
7.1.3 Lärarnas uppfattningar av skolverkets styrning och olika nivåer av bevisföring ... 23
7.2 Metoddiskussion ... 24
7.3 Didaktiska konsekvenser ... 25
7.4 Fortsatt forskning ... 25
Referenslista ... 26 Bilaga 1 – Missivbrev
Bilaga 2 - Intervjuguide
1
1 Inledning
I gymnasieskolans undervisning är matematik ett av de ämnen som är gymnasiegemensamt och det betyder att alla elever läser matematik. Det är också ett ämne som förekommer på många högskoleprogram. Emellertid visar studier att det finns ett kunskapsmässigt avstånd mellan undervisningen i matematik på gymnasiet och högskolan. Det problemet har relaterats till elevers erfarenheter med matematiska bevis och därigenom har många likheter upptäckts (Brandell, Hemmi & Thunberg, 2008).
Under mina högskolestudier har jag upplevt samma sak. Det tog lång tid att förstå varför undervisningen på högskolan ser ut som den gör och att förstå bevisens betydelse för matematiken. Men när jag väl fått en förståelse började jag ifrågasätta gymnasieskolans matematikundervisning. Är det rimligt att den matematikundervisning som svenska elever får i grund- och gymnasieskola inte ger en nyanserad bild av ämnet matematik? Varför är det inte mer fokus på bevis och dess betydelse inom matematiken? Det är frågor som jag ställer mig och söker svar på i den här uppsatsen.
I mitt första examensarbete som jag skrev tillsammans med Markus Davidsson undersökte vi forskning och teorier kring bevis och bevisens roller i matematiken och undervisningen. Vi undersökte ämnesplanen i matematik för gymnasieskolan och upptäckte att ordet bevis nästan inte förekommer och att det inte behandlas som ett innehåll som ska bearbetas i undervisning i en större utsträckning (Davidsson & Magnusson, 2016). Det förstärkte min bild av att det är ett stort glapp men gav mig inte några svar till varför det ser ut som det gör. Därför vill jag med den här studien närma mig ämnet från ett annat perspektiv.
I den här studien vill jag undersöka hur gymnasielärare i matematik ser på bevis och dess
förekomst i undervisningen och styrdokumenten. Jag hoppas få en förståelse för hur glappet
kan motiveras genom att få en förståelse för hur aktiva lärare tänker kring bevis och
bevisföring.
2
2 Syfte
Syftet med den här studien är att undersöka hur lärare ser på matematiska bevis i förhållande till framförallt sitt yrke. Eftersom uppfattningar om bevisens roll inom matematik kan grundas i epistemologiska föreställningar är den första frågeställningen bred men de efterföljande riktar fokus mot min målgrupp och mitt framtida yrke. Förhoppningen är att det tillsammans med studiens teoretiska ramverk ska kunna ge en djupare förståelse för vad det är som påverkar lärare i sina didaktiska val.
-
Hur uppfattar lärare begreppet matematiska bevis?-
Hur tänker lärare kring bevisens roll, i allmänhet och i sin undervisning?-
Hur ser lärare på skolverkets styrning i förhållande till bevis?3
3 Bakgrund
I den här delen redogörs begreppet matematiska bevis ur olika perspektiv. Bevisen kommer först att presenteras ur ett historiskt och ett filosofiskt perspektiv för att sedan redogöra för hur bevis definieras idag. Slutligen tittar vi på hur bevisen behandlas i ämnesplanen för matematik med ett tillhörande exempel, Pythagoras sats, samt ett exempel från de nationella proven i matematik.
3.1 Bevis i en matematisk historisk kontext
Den logiska deduktiva bevisföringen uppkom i den euklidiska geometrin i det antika Grekland och har haft betydelse såväl för matematiken som för andra vetenskaper. Grabiner (2012) ger sin syn på varför det var just i Grekland som denna resonemangsförmåga uppkom och menar att svaret hittas i skillnaderna gentemot babylonierna och egyptierna som också gjorde stora framsteg inom matematiken. Grabiner (2012) pekar på andra delar av det grekiska samhället så som demokratin och menar att det har influerat de stora filosoferna och matematikerna under den här tiden och det ledde till att även argumentation och övertygelse inom matematiken fick en stor betydelse. Av de stora filosofiska skolor som verkade i Grekland lyfter Kline (1972) bland annat Aristoteles och Platons som bidragande till att utveckla matematiken.
Än idag har den euklidiska geometrin hög status inom matematiken och påverkar hur vi ser på bevis och bevisföring. Systemet som är uppbyggt av axiom, definitioner, härledningar av satser och logiska resonemang är fortsättningsvis den bästa modellen och den som används inom undervisningen vid högskolor och universitet (Hemmi, 2006).
Under 1800-talet kom många matematiker att rannsaka de brister som finns inom den euklidiska geometrin och då utvecklades olika filosofiska strömningar inom matematiken.
Genom att titta lite närmare på inriktningarna kan vi få en förståelse för hur man kan se på bevisen och deras roll inom matematiken på olika sätt.
3.2 Matematikfilosofiska huvudriktningar
Historiskt sett har matematiska bevis haft en hög status inom matematiken. Men under 1800- talet och början av 1900-talet uppstod matematikfilosofiska inriktningar som ifrågasatte bevisen och därmed också matematikens värde. Det finns inom matematiken tre huvudsakliga filosofiska riktningar: logicismen, intuitionismen och formalismen. De skiftningar som inriktningarna speglar grundas i epistemologiska uppfattningar om matematikens roll och värde för mänskligheten. Det ger en bakgrund till framförallt de didaktiska teorier som uppfattar den traditionella definitionen av bevis som någonting problematiskt och det kommer vi att beskriva i avsnitt 3.3.
Enligt logicismen uppkom matematiken ur logiken och är följaktligen en gren inom logiken
(Kline, 1972). Det var därför länge ett mål för grundarna att skapa ett system som visar hur
matematiken grundade sig i logiken och det gjorde de genom att försöka bryta ner
4 matematiken till de minsta byggstenarna. Systemet blev aldrig komplett men logicismens arbete och tankar kan ge oss nya perspektiv på den matematiska vetenskapen.
Intuitionismen är en radikal filosofisk riktning inom matematikfilosofin som menar att matematiken består av mentala scheman med ett intuitivt innehåll (Kline, 1972).
Intutionisterna har utvecklat sin egen form av logik där exempelvis inga bevis innehållande en oändlig mängd accepteras då bevis endast tillåts ett ändligt antal steg (Hemmi, 2006). Denna filosofiska riktning har blivit mestadels förbisedd men har också varit en inspiration för utbildare och inom programmering.
Formalismen menar i motsats till logicismen att logiken uppkommit ur matematiken och de vill skapa ett solitt axiomatiserat system. Enligt formalismen ska man förstå matematiken som grunden till det formella systemet och de vill i likhet med den euklidiska geometrin konstruera ett system för hela matematiken (Kline, 1972). Konsekvens är ett ledord för att skapa ett system där allt kan bevisa inom systemets ramar. Gödels ofullständighetssats fastställde dock att det alltid kommer finnas satser och antagande som inte går att bevisa och därmed går det inte att skapa det system som formalisterna eftersträvar menar Benacerraf och Putnam (citerad i Hemmi, 2006).
De olika inriktningarna visar att både bevisen och matematikens plats och värde har problematiserats under de senaste århundradena. Men de filosofiska riktningarna har i praktiken påverkat matematiken onämnbart och har istället resulterat i att det existerande axiomatiska systemet förfinades och fick en mer formell form (Hemmi, 2006). Verksamma matematiker betänker inte dessa frågor i sin vardag utan ser objektiviteten som fastställd och adekvat (Hemmi, 2006).
3.3 Vad är matematiska bevis?
Matematikundervisningen vid högskolor och universitetet präglas av matematiska bevis och det finns studier som menar att studenter skapar en tydlig bild av vad bevis är (Cabassut, Conner, Isçimen, Furinghetti & Jahnke, 2012). Det finns dock ingen definition som delas av det matematiska samfundet. Men de definitioner som ändå existerar förmedlar en traditionell syn av ett formellt bevis (Weber, 2008). Förekomsten av olika sorters bevis råder det däremot inga delade meningar om och bevisens betydelse för matematiken är också en aspekt som den traditionella synen på bevis förmedlar (Rav, 1999).
Kiselman och Mouwitz (2008) presenterar en generell definition av bevis som ”övertygande argumentation för att ett matematiskt resultat skall accepteras” (Kiselman & Mouwitz, 2008, s. 129). Vidare beskrivs bevisens struktur på ett sätt som vi känner igen från Euklides geometri: Ett bevis härleder deduktivt en sats från satsens antagande och matematikens axiom. Trots den historiska kopplingen understryker Kiselman och Mouwitz (2008) att strukturen har varierat under åren. Kiselmans och Mouwitz (2008) definition ligger i linje med hur lärare har definierat bevis i tidigare forskning. I en intervjustudie av Knuth (2002) där 17 högstadie- och gymnasieskolelärare deltar beskriver majoriteten av informanterna ett bevis som ”ett logiskt eller deduktivt argument som demonstrerar sanningen i en påstående”
(s.71).
5 Inom det matematiska samfundet finns det också en syn på matematiska bevis som ett resultat av en social konstruktion (Knuth, 2002). Det handlar då om att distansera sig från en traditionell syn på ett formellt bevis genom att framhäva den sociala process som det innebär att få ett matematiskt bevis accepterat. I den formella och traditionella synen på vad bevis är tänker sig forskarna att det ska finnas ett formellt system som nästintill mekaniserar strukturen av bevis på ett sådant sätt att det endas kan finnas ett korrekt utförande (Hanna, 1990 & Rav, 1999). Det lämnar inget utrymme för personliga och mänskliga omdömen (Hanna, 1990). Emellertid genomgår bevis många granskningar för att accepteras inom det matematiska samfundet och det beskrivs som den sociala processen. Det stöds av en undersökning av didaktikern Weber (2008) som visar att den sociala processen för att bedöma bevis påverkas bedömarnas epistemologiska uppfattningar. Det är därför många forskare formulerar alternativ till den traditionella synen som är mindre formella och ofta bär samlingsnamnet informella bevis (Rav, 1999; Dawson, 2006; Hanna, 1990). De alternativa begreppen och dess definitioner skiljer sig från varandra ”men har gemensamt att begreppen gör anspråk på att beskriva hur matematiska bevis är utformade i praktiken” (Davidsson &
Magnusson, 2016) och de kulturella betingelser begreppet bär.
Den här studien grundar sin syn på bevis i Kiselman och Mouwitz (2008) definition och tar hänsyn till den sociala och kulturella aspekten av bevisföring. Därmed är synen på vad matematiska bevis är bred och inkluderar såväl formella bevis som härledningar av formler och informella bevis. Den synen delas av många forskare och matematiker (Hemmi, 2006) och som vi kommer se i nästkommande del understryker didaktikerna behovet av en accepterande definition för att bedriva forskning inom undervisning av bevisföring.
3.4 Matematiska bevis i svenska skolan
Det här avsnittet ger oss en bild av hur bevis behandlas av skolverket. Först tittar vi närmar på hur bevis behandlas i läroplanen och vilka bevis som nämns där för att få en förståelse för vilka bevis som gymnasieskolan behandlar. Därefter presenteras ett bevis av Pythagoras sats som förekommer i ämnesplanen för gymnasieskolan. Slutligen presenteras också en uppgift innehållande bevisföring från det nationella provet i matematik 4 med tillförande elevlösning.
3.4.1 Matematiska bevis i läroplanen
Davidsson och Magnusson (2016) undersöker hur läroplanen för gymnasieskolan behandlar bevis. Resultatet visar att ordet bevis endast förekommer i kurserna 1b, 1c, 3b, 3c, 4 och 5 men om man läser skolverkets kommentarer förstår man att det är en del av resonemangsförmågan. Dessutom finner Davidsson och Magnusson (2016) en motsättning i att eleverna ska förväntas genomföra bevis i matematik 3b och 3c men det är först i kurs 4 som bevis beskriv i det centrala innehållet som ett kunskapsområde.
Resonemangsförmågan är en av de sju förmågor som beskrivs som de kompetenser som ämnet ska se till att utveckla hos eleverna. Den beskrivs som förmågan att kunna ” följa, föra och bedöma matematiska resonemang” och ska genomsyra alla kurser (Skolverket, 2011a, s.
90). Davidsson och Magnusson (2016) menar att den formuleringen inte självklart anspelar
till att elevers bevisföringsförmåga utvecklas men i skolverkets kommentarer står det att det
6 är bevisföring den ser till att utveckla. De ställer sig frågande till varför formuleringen i styrverket skiljer sig från vad som står i kommentarerna.
Davidsson och Magnusson (2016) konstaterar också en motsättning i kursplanerna som de menar kan leda till förvirring. I kursplanen för matematik 3b, 3c, 4 och 5 står det i betygskriterierna att eleverna ska kunna genomföra bevis för att få betygen C, B och A. Det är dock oklart om eleverna ska undervisas i bevisföring om man ser till kursplanerna. Det är först i kurs 4 som bevisföring återfinns i det centrala innehållet som mer än ett enstaka bevis som ska behandlas i undervisningen. Det står i kursplanen till matematik 4 att undervisningen ska behandla olika sorters bevismetoder. Det kan alltså uppfattas som att eleverna ska kunna utföra bevis och bedömas i sin bevisförmåga innan det har behandlats i undervisningen.
Davidsson och Magnussons (2016) slutsatser är att kursplanen ger en otydlig bild av matematiska bevis och att det finns många aspekter som kan ifrågasättas och behöver konkretiseras. Otydligheten skapar ett tolkningsutrymme som gör att undervisningen följaktligen kan skilja sig åt då lärare kan göra olika tolkningar av styrdokumenten.
För att skapa en förståelse för vilka bevis som förekommer i ämnesplanen kommer nu de delar i centralt innehåll som behandlar bevis nu presenteras. Det gör att vi kan få en förståelse för hur bevisföringen i undervisningen ser ut och de bevis som gymnasielärarna undervisar i.
För matematik 1b och 1c står det att undervisningen ska innehålla ”Illustration av begreppen definition, sats och bevis, till exempel med Pythagoras sats och triangelns vinkelsumma”
(Skolverket, 2011b, s. 6 & 9). I kurs 2b och 2c ska eleverna lära sig att använda grundläggande satser inom geometri. Vidare ska undervisningen härleda och ge eleverna möjlighet att använda deriveringsregler för potens- och exponentialfunktioner i matematik 3b och 3c. Dessutom ska undervisningen i 3c innehålla bevis och användning av cosinus-, sinus- och areasatsen. Det är först i den fjärde kursen som kursplanerna behandlar bevis som mer än specifika exempel då det står att undervisningen ska inkludera olika bevismetoder inom matematiken. I matematik 4 ska eleverna också möta faktorsatsen och lära sig att hantera trigonometriska och logaritmetiska uttryck och formler. Den femte kursen i matematik ska behandla konkreta exempel av induktionsbevis (Skolverket, 2011b).
3.4.2 Ett bevis av Pythagoras sats
I det här avsnittet kommer ett bevis för Pythagoras sats att presenteras. Pythagoras sats nämns som ett exempel på bevis som eleverna ska möta i matematik 1b och 1c (Skolverket, 2011b).
Det är ett bevis som förekommer i läromedlen i matematik för åk 9 så eleverna redan i grundskolan en förförståelse för satsen. I gymnasieskolan läggs fokus på att eleven ska förstå vad ett bevis är och dess struktur. Det beviset som presenteras nedan är ett populärt bevis som ofta förekommer i gymnasieundervisningen.
Pythagoras sats: för varje rätvinklig triangel råder sambandet a
2+b
2=c
2, där a och b är
längderna på kateterna och c är längden på hypotenusan.
7 Bevis: Betrakta figuren nedan.
Figur 1: Illustration av Pythagoras sats.
Arean för den stora omgivande kvadraten är A=(a+b)(a+b).
Arean för en av trianglarna kan uttryckas som
12
𝑎𝑏 . Arean för den kvadraten A kan vi också skiva som
𝐴 = 4 ∗
12