1. No category

HH/ITE/BN
Grundbegrepp och Mathematica
1
Något om några Grundbegrepp och Mathematica
Bertil Nilsson
2015-08-15
p
 q p, q
,q
0
n
i
i 0q
1
n
 
k
n
i 0
x x
i
a,b
a
i
c
q
n
q
q
1 qn 1
1 q
n
n k k
i för k
1, 2,
,n
x
sin nΠ
b
2
n
i 1
2
0 n
\
n
i 1
c
i
ab
1
2
a
b
a, b
0
2
Grundbegrepp och Mathematica
HH/ITE/BN
ť Förord
På följande sidor presenteras en elementär "streetwise guide" till lite grundbegrepp och krumelurer som kommer flitigt till användning längre fram. Framställningen är fåordig, fri från pedanteri men i någon mening fullständig och något lite kryddad med Mathematica. Det man väsentligen behöver veta om begrepp, terminologi, beteckningar och teori för att modellera och lösa problem i
framtida kurser och yrkesliv som ingenjör, naturvetare eller lärare klarläggs och typiska exempel ges.
ť Inledning
Ämnet Matematik skall bidra till att utveckla kunskaper i matematik och en matematisk beredskap för vardagsliv, yrkesliv och
fortsatta studier. Den matematiska beredskapen innebär att förstå begrepp och begreppsliga samband, att hantera problem och
modellera, att behärska procedurer och rutinuppgifter, att kommunicera och argumentera samt att förstå matematikens relevans och
historiska utveckling.
Kunskaper i matematik är av stort värde för att kunna analysera, värdera och ta ställning i frågor som är viktiga för ett aktivt deltagande i en demokrati. Kommunikation med hjälp av matematikens symboler och andra representationer är likartad över hela världen
och kunskaperna är därför även internationellt användbara.
Matematiken innehåller en omfattande och stabil teori- och metodbildning och är i ständig utveckling. Den har en flertusenårig
historia med bidrag från många kulturer och har utvecklats såväl ur praktiska behov som ur människans nyfikenhet och lust att
utforska matematiken som sådan. Matematiken är en mänsklig tankekonstruktion som utvecklats i samspel med naturvetenskapliga,
tekniska och samhälleliga tillämpningar. Sedan länge är matematiken ett av naturvetenskapens främsta verktyg, men idag är den
också viktig inom ekonomi och samhällsvetenskap. Matematiken får en växande betydelse för kommunikation i vid mening och för
hur vi organiserar samhället inom bankväsende, transportsystem, stadsplanering och handel. Även den bildmässiga världen som
utvecklar animationer, simuleringar och virtuella miljöer blir alltmer beroende av matematiska modeller.
Undervisningen i ämnet Matematik skall för en ingenjör stärka karaktärsämnena, men också ge matematiken en inre mening genom
att främja upptäckarglädje, kreativitet och logisk förmåga. Vår tids tillgång till tekniska hjälpmedel som datorer och grafritande och
symbolhanterande räknare har delvis förändrat undervisningen i matematik. Numeriska, grafiska och algebraiska metoder kan
utnyttjas i undervisningen på ett sätt som tidigare varit omöjligt och nya typer av mer komplexa problem kan behandlas. Dynamisk
programvara kan användas för att fördjupa begreppsförståelse och analysera problemställningar. I undervisningen skall nya möjligheter till undersökande, experimenterande, upptäckande och problemhanterande arbetssätt utnyttjas, vilket också ställer nya krav
på omdöme och kritisk granskning av förutsättningar, metoder och resultat, samt bidra till en samlad matematisk beredskap grundad
på fem förmågor.
Förmågan att förstå och använda matematikens begrepp är grundläggande. I förmågan ingår också förståelse av begreppens
inbördes samband utifrån ett samspel mellan teoretiska kunskaper och olika matematiska aktiviteter där variation i undervisningen
leder till fördjupad begreppsförståelse.
Förmågan att hantera problem och modellera skapar självtillit, mening och relevans. Förmågan innebär att analysera problem, välja
lämplig lösningsmetod och genomföra och värdera lösningar, både med och utan tekniska hjälpmedel. I förmågan ingår också att
modellera problemsituationer, avkoda och värdera modeller, formulera egna problem och använda den matematiska kreativiteten
inför utmanande problem.
Förmågan att använda procedurer och lösa rutinuppgifter främjar säkerhet, precision och effektivitet samt samspelar med problemhantering och begreppsförståelse. Förmågan innebär att använda olika procedurer på ett flexibelt och omdömesgillt sätt, både
med och utan tekniska hjälpmedel.
Förmågan att kommunicera och argumentera befäster begreppsförståelse och samverkar med matematikens logiska uppbyggnad.
Detta innebär att tolka och använda matematikens språkliga uttryck, symboler och andra representationsformer som grafer och
diagram samt att föra matematiska resonemang i tal och skrift, argumentera och genomföra bevis.
Förmågan att knyta matematiken till omvärlden ger vidgat värde och relevans. Förmågan innebär att se matematiken i ett yrkesmässigt, samhälleligt och historiskt sammanhang samt hur den samverkar med karaktärsämnena. Det historiska perspektivet bidrar till att
identifiera det egna arbetet i undervisningen med de svårigheter och framgångar som mänskligheten tidigare haft inom matematiken.
ť Mängder
En mängd är helt enkelt en samling element eller objekt som vanligtvis har en eller flera egenskaper gemensamma. Mängdbegreppet är mycket centralt i modern matematik och infördes av tysken Georg Cantor (1845-1918) i slutet av 1800-talet. En mängd kan
vara mycket konkret som exempelvis mängden av alla bilar som står parkerade på en viss gata under en viss natt eller någon mer
abstrakt matematisk konstruktion.
HH/ITE/BN
Grundbegrepp och Mathematica
3
En mängd kan preciseras genom att man skriver upp dess element inom krullparenteser
1, 4, 5
3
2, 4, 6,
Mängderna och är ändliga då de innehåller ett ändligt antal element medan , som består av alla jämna positiva heltal, är
oändlig. I detta senare fall har vi även utnyttjat
som vi skulle kunna ersätta med "och så vidare". Detta skrivsätt ska naturligtvis
bara användas då saknade element enkelt kan listas ut från de övriga. Exempelvis är
1, 2, 3, , 100 mängden av de hundra
första hela talen. Notera att det inte spelar någon roll i vilken ordning vi väljer att ange elementen, inte heller om vi "råkar" upprepa
ett eller flera element. Sålunda är exempelvis
1, 4, 5
4, 5, 1
1, 5, 4, 5, 1, 1
Ibland kan man precisera en mängd genom att ange en eller flera karakteristiska egenskaper för dess element. Vi skriver då
x P
x P, Q
är mängden av alla x sådana att P.
är mängden av alla x sådana att P och Q.
Den mängd som inte innehåller några element kallar vi för tomma mängden och reserverar beteckningen , det vill säga
.
För att kunna göra operationer med mängder, mängdalgebra, är det fundamentalt att elementen är entydigt beskrivna så att man kan
avgöra om de tillhör en given mängd eller ej. Vi skriver
x
x
om elementet x tillhör mängden eller x ingår i .
om elementet x inte tillhör mängden .
Om varje element i mängden också är element i mängden säger vi att
är en delmängd av och skriver
eller
. Det sista utläses
som innesluter eller omfattar . Självklart är varje mängd en delmängd
av sig själv,
för alla mängder . Det är lika klart, att om
och
så är och samma mängd, vi har likhet och skriver
. Då
likhet inte råder skriver vi istället
. Om
och
skriver vi
och säger att är en äkta delmängd av . Speciellt har vi att tomma
mängden är delmängd av varje annan mängd , eller kortare
.
Unionen eller föreningsmängden av två mängder och betecknas
och
består av den mängd vars element är element i minst en av och . Analogt kan
man bilda unionen av av n givna mängder 1 , 2 , , n
1
2
n
n
i 1
i
och definieras som den mängd vars element är medlemmar i minst en av
de givna mängderna.
Union
Snittet eller skärningen mellan två mängder och betecknas
och
definieras som den mängd vars element är element i både och , det vill
säga
x x
,x
. Naturligtvis kan snittet vara tomt. Man
säger då att och utesluter varandra eller att de är disjunkta. Om 1 ,
, n är mängder så definieras snittmängden
2,
1
2
n
n
i 1
i
som den mängd vars element är element i alla mängderna
formellt
n
x x
1, 2, , n .
i för k
i 1 i
Differensen \ består av de element som tillhör
\
x x
,x
.
i,
eller mera
Snitt
men inte . Formellt
\
Differens
\
4
Grundbegrepp och Mathematica
HH/ITE/BN
Ofta är alla de mängder, som man studerar i ett visst sammanhang,
delmängder i en viss naturlig grundmängd . Vi kallar då \ för
komplementet till med avseende på och skriver c .
c
c
Komplement
\
\
Produktmängden
definieras som mängden av alla ordnade par a, b där a
och b
. Exempelvis har vi 2
som
2
som är punkter i vårt "vanliga" xy-plan. På motsvarande sätt kan vi utvidga för flera
mängden av alla ordnade par x, y
mängder 1
n.
2
Exempel: I figuren ser vi exempelvis att
1, 4, 7, 5, 10
5, 10, 0, 3, 9
4
, 1, 10
1, 4, 7, 5, 10, 0, 3, 9
5, 10
\
1, 4, 7
\
0, 3, 9
\
\
1, 4, 7, 0, 3, 9
4, 7
1
0
5
4
7
10
3
9
Mathematica ligger nära med med krullparenteser och sina funktionsnamn. Notera speciellt att Mathematica tar chansen att sortera
elementen vid union, snitt
1, 4, 5, 7, 10 ;
5, 10, 0, 3, 9 ;
Union
,
3, 0, 1, 4, 5, 7, 9, 10
Intersection
,
5, 10
Complement
,
1, 4, 7
MemberQ
,9
False
ť Talsystem
Vi erinrar om de olika talsystemen
0, 1, 2, 3,
, 3, 2, 1, 0, 1, 2, 3,
p
 q p, q
,q
0
De naturliga talen.
De hela talen.
De rationella talen.
Med klarar man av att addera och multiplicera men även i begränsad omfattning subtraktion såvida man inte behöver hantera
begrepp som "ha skuld" eller "stå på minus", till detta krävs . Så här långt klarar man också i mycket begränsad omfattning
division, bara den går jämnt upp. Men att dela 7 i 5 lika stora delar kräver . Nu tycker man att det räcker för att få talaxeln "tät",
man kan ju succesivt fylla igen mellan två punkter i med medelvärdet av dem, och så vidare i all evighet. Men, det visar sig att det
kommer alltid att finnas oändligt med tal som inte går att skriva som ett rationellt tal, exempelvis längden av diagonalen i en kvadrat
med sidan ett. Vi behöver lägga till de irrationella talen, och då har vi en tät talaxel! De irrationella talen är alltså oumbärliga,
åtminstone inom matematisk analys. De anges oftast med en symbol. Vi känner igen Π, (naturliga basen) och 2 som vanliga
exempel på irrationella tal. Efter tillägg av dessa får vi ett komplett talsystem som omfattar alla de ovan angivna och kallas för de
reella talen och vi har
.
HH/ITE/BN
Grundbegrepp och Mathematica
5
Att verkligen tätar till talaxeln är inte självklart, detta visades av Richard Dedekind (1831-1916). De reella talen brukar representeras geometrisk på en linje, kallad reella talaxeln.
x
1
0
1
2
3Π
2
4
Eftersom de irrationella talen inte innehåller någon information om storleken av talet måste man ha möjlighet att erbjuda en approximation. I praktiken går detta utmärkt eftersom man kan stänga in ett irrationellt tal godtyckligt noggrannt med tal som ligger i ,
som "tur" är för en praktiskt arbetande ingenjör eftersom det med stor säkerhet framkallar en viss munterhet att komma till bygghandeln och fråga efter en planka som är
Π
2 m lång! Approximationer brukar anges med decimaltal, exempelvis
2
1.41421 och
p
3.14159. Ofta presenteras även rationella tal på decimalform genom att helt enkelt utföra divisionen q . Skillnaden dem emellan
visar sig då i det att de rationella talen har en ändlig eller periodisk decimalutveckling, exempelvis
7
22
0.31818181
, medan detta
saknas hos ett irrationellt tal.
Exempel: För att beräkna
a , det vill säga lösa ekvationen x
a , brukar datorer använda xi
med givet x0 generera en talföljd med allt bättre närmevärde till
till
a än både xi och
a
xi
1
x
2 i
a
,
xi
i
0, 1,
, för att
a . Försök att lista ut varför medelvärdet är ett bättre närmevärde
Under tiden låter vi Mathematica prova receptet på
1
1
2
1.4121
, med start i x0
1.0.
2
NestList
&, 1.0, 4
2
1., 1.5, 1.41667, 1.41422, 1.41421
Exempel: Vilket rationellt tal har decimalutvecklingen 0.31818181
Lösning: Låt a
1000a
0.31818181
10a
?
. Eftersom a har periodiciteten 2 efter första decimalen bildar vi
318.18181
3.1818181
315
Så småningom visar det sig att i vissa sammanhang duger inte
Vi återkommer till dessa.
990a
315
a
315
990
7
22
riktigt till heller utan man har fått introducera de komplexa talen.
ť Pilar
Uppbyggnaden av en matematisk teori och för all del problemlösning sker med hjälp av logiska resonemang. För att förtydliga och
korta ner textmassan används ofta implikationspilar , och ekvivalenspil . Dessa pilar används för att uttrycka samband
mellan utsagor eller påståenden.
A
B eller B
A
B
A Betyder att om utsagan A är sann så är även B sann.
Ibland säger man att A är ett tillräckligt villkor för B och att
B är ett nödvändigt villkor för A. Eller A gäller endast om B.
Innebär att både A B och A B gäller. A och B är ekvivalenta.
A är ett nödvändigt och tillräckligt villkor för B.
Exempel: Utsagan "Min bil är svart" kan delas upp i utsagorna A = "min bil" och B = "bilen är svart". Då gäller uppenbarligen
A B men knappast A B eftersom det skulle medföra att jag är ägare till alla svarta bilar!
6
Grundbegrepp och Mathematica
HH/ITE/BN
ť Kvantifikatorer
Det finns två så kallade kvantifikatorer som används för att uttrycka utsagor av logisk/matematisk karaktär.
Allkvantifikatorn
Existenskvantifikatorn
Exempel: sin nΠ
0
n
eller x
sin x
Utläses för varje.
Utläses det finns.
0.
ť Fält och ordningsaxiom
Matematik är till sin natur allmängiltig. Det första steget för att uppnå allmänna resultat är att lämna sifferräkning och övergå till
räkning med symboler, vanligtvis bokstäver, som får stå för icke preciserade tal eller någon annan storhet. Vi kallar detta algebraisk
räkning. Axiom, eller "odiskutabla sanningar", kallas själva grundvalarna i matematik. Aritmetiken vilar tungt på att det finns två
operationer addition och multiplikation så att det för alla par x, y
finns summan x y och produkten xy som är entydigt
bestämda av x och y, och som för x, y, z
uppfyller
x y y x, xy yx
x y z
x y z, x yz
x y z xy xz
xy z
kommutativa lagen
associativa lagen
distributiva lagen
Lek med likheter har också fått namn
x
x
reflexivitet ,
x
y
y
x
symmetri ,
x
y och y
z
x
z
transitivitet
Vidare förutsätter vi att det existerar en relation som kan avgöra ordningen mellan reella tal. Vi kallar dem olikheter
x
x
0 x är positivt
y
så att x yy. Annars 0 eller negativt.
y betyder att x är strängt mindre än y eller att y är större än x.
Så y x 0 eller y x är ett positivt tal.
Exakt en av
,
och
gäller i varje enskilt fall. För x, y, z
x
x
x
x
x
y och y z x z
y x z y z
y och z 0 xz yz
y och z 0 xz yz
y
x
y
x
x
y
y, x
betyder x y eller x y.
y definieras på motsvarande sätt.
gäller
transitivitet
OBS multiplikation med ett negativt tal vänder olikheten
Naturligtvis gäller motsvarande för ,
och . Med den tidigare presenterade reella talaxeln får dessa olikheter en intuitiv
geometrisk innebörd. Då 3 5 säger man ofta att "3 ligger till vänster om 5". De viktigaste konsekvenserna vid bråkräkning är
a
a
b
1
ab
c
ab,
b
a
b,
c
ac
a b
c
a
c
b
,
c
a
b
c
d
ad bc
,
bd
1
1
a
a,
b
c
ad
bc
d
Genom att använda innehållet i de gula rutorna ovan kan man systematiskt omforma algebraiska uttryck till önskad form. Detta är
mycket viktigt att behärska. Man talar om att multiplicera ihop, faktorisera eller "bryta ut". Vad som är den enklaste formen på ett
uttryck är inte entydigt, det beror på vad man ska ha det till. Mathematica har en mängd funktioner till hjälp, förutom det som görs
direkt av Mathematica själv innan den bestämmer sig för att presentera ett resultat. Det hela är en fråga om prestanda. Mathematica
gör lagom mycket automatiskt. Det kanske inte är så värdefullt att ha ett snyggt algebraiskt uttryck om man ändå bara har tänkt sig
att sätta in numeriska värden. Man ska veta att förenkla ett givet uttryck kan vara en mycket tidskrävande uppgift.
x
y
2xy
Mathematica tycker det verkar jobbigt och gör inget
x
y
2
x2
y2
2yx
x
y
2
x
x
y
2
x
y
x
x
y
y
2
x2
y2
y
HH/ITE/BN
Grundbegrepp och Mathematica
x
y
2xy
Simplify
utom då vi ber om det

x
y
2
7
x2
y2
a b2
a
x
y
2
x
y
1
x
y
Factora3
a
b a2
2 a2 b
ab
1
Simplifya3
a
b
3 a2 b
3 a b2
b3 
3
Expand a
a3
b
3 b a2
b
3

3 b2 a
b3
1
Apart

z
1
1
4 z
z
3
1
3
4 z
1
ť Intervall
Den del av reella talaxeln som svarar mot alla (oändligt många) tal mellan a och b med a b kallas för ett intervall. Talen a och b
kallas för intervallets ändpunkter och beroende på om dessa inkluderas i intervallet eller ej kallas intervallet för slutet eller kompakt, vilket anges med hakparentes, respektive öppet som anges med rund parentes. Kombinationen kallas halvöppet eller halvslutet. Situationen brukar åskådliggjöras på reella talaxeln med en för öppna sidan och för den slutna. Sålunda
Öppet a, b är alla reella x så att a
x
Slutet a, b är alla reella x så att a
x
Halvöppet a, b är alla reella x så att a
Halvöppet a, b är alla reella x så att a
b, det vill säga x
z a
b, det vill säga x
x
x
z
z a
b, det vill säga x
z
a
b
a
b
a
b
a
b
x
b
z a
b, det vill säga x
x
b
z
z a
z
x
b
x
b
Dessa intervall kallas ändliga. Det finns också motsvarande oändliga öppna och halvöppna som bara har en ändpunkt, exempelvis
a,
x x a och
,a
x x a . Oändlighetsymbolen som inte är något reellt tal representerar just att det inte finns
någon gräns åt detta håll. Denna sida måste alltid vara öppen. Man kan alltså inte "räkna" med . Ofta skriver man
, .
ť Summor
För att förenkla uppskrivandet av summor används summasymbolen . Dess funktion är mycket enkel
n
ai
ak
ak
an
1
i k
vilket utläses "summa ai då i går från k till n". Här kallas i summationsindex med k som undre gräns och n som övre gräns. Man
kan se ai som ett funktionsuttryck i vilket man succesivt sätter in i k, k 1, , n och slutligen adderar alla termer. Naturligtvis
kan man använda vilka beteckningar man vill och justera gränser efter behag. Exempelvis är
n
n 1
ai
i 1
n 1
ap
p 2
n 2
am
1
m 0
aj
1
j
2
a1
a2
an
1
Eftersom det bara handlar om addition gäller naturligtvis alla enkla lagar som
n
c ni k ai där c är en konstant som inte beror av i.
i k cai
n
i k
ai
bi
n
i k ai
n
i k bi
och
8
Grundbegrepp och Mathematica
HH/ITE/BN
Exempel: Vi tar några enkla exempel.
5
50
i
1
2
3
4
5
15,
i 1
i
2
i 1
1
1
1
12
22
502
1
4
1
4
1
,
2500
1 xk
k
3x2
4x3
5x4
k 2
Mathematica är mycket lättanvänd. Hela paketet med krumelurer och rutor att fylla i
hämtas från palette.
5
 ai
i 1
a1
a2
a3
a4
a5
50
i
2
i 1
3 121 579 929 551 692 678 469 635 660 835 626 209 661 709
1 920 815 367 859 463 099 600 511 526 151 929 560 192 000
4
 k
1 xk
k 2
5 x4
4 x3
3 x2
Aritmetisk summa kännetecknas av att skillnaden mellan två på varandra följande tal är konstant. Om denna skillnad är d har vi
n
ai
a0
a1
an
a0
a0
i 0
d
a0
2d
a1
a0
a2
nd
n
1 a0
d 1
2
3
n
an
n
Så prototypen av en aritmetisk summa är A
n. Eftersom alla aritmetiska summor kan härledas ned till
i 1i 1 2 3
denna är det lämpligt att vi söker ett slutet uttryck för den. Lägg samman A med sig själv fast i omvänd ordning!!
A
A
1
n
2A
Eftersom vi har n termer blir så 2A
n
nn
2
1
3
n
n
1
n
2
n
1
n
1
1
n
1
2
n
1
n
1
1
n
2
n
1 varav
Den aritmetiska (prototyp)summan
n
i 1i
1
2
3
n
1
På motsvarande sätt har vi den geometriska summan som kännetecknas av att kvoten mellan två på varandra följande tal är konstant. Om denna kvot är q har vi
n
gi
g0
g1
gn
g0
i 0
g0 q
g1
g0 q2
g0 qn
g2
g0 1
q
q2
qn
n
g0
qi
i 0
gn
n
i
Så prototypen av en geometrisk summa är G
1 q q2
qn . Eftersom alla geometriska summor kan härledas ned
i 0q
till denna är det lämpligt att vi söker ett slutet uttryck för den. Bilda skillnaden G qG!!
G
1
qG
G
Så till slut G 1
q
1 qn
1
qG
1
q
q2
qn
1
qn
q
q2
qn
1
qn
qn
1
0
0
0
0
qn
1
varav
Den geometriska (prototyp)summan
n
i
i 0q
1
q
q2
qn
1 qn
1 q
1
1 kvotenantalet termer
1 kvoten
HH/ITE/BN
Grundbegrepp och Mathematica
9
ť Kvadreringsregler och konjugatregeln
b 2 och a
Genom att utveckla a
För högre potenser n
b a
b har vi de viktiga
2
a2
2ab
b a
b
a2
har vi binomialsatsen a
b
kallas m-fakultet och beräknas för m
a
b
a
enligt m
n
b2 Kvadreringsreglerna
b2
n n k k
n
a b , där
k
k
n
k 0
m m
Konjugatregeln
1
2 1 då m
n
n k k
0 och 0
kallas binomialkoefficienter och m
1.
Kvadreringreglerna och konjugatregeln kommer till användning i tid och otid och ska kännas igen både fram- och baklänges! Ofta
behöver man göra kvadratkomplettering, vilket som namnet antyder innebär att komplettera ett uttryck så att delar av det kan
skrivas som en kvadrat. Man säger också att man faktoriserar dessa delar. Vi tar två exempel
Exempel: Att kvadratkomplettera innebär att man sneglar på högra ledet i kvadreringsreglerna och succesivt försöker omforma sitt
givna uttryck så att en del av det får den önskade formen. Det är den kvadratiska och linjära termen som tilldrar sig intresset,
konstanter hänger bara med. Häng mé
x2
3x
x2
2
x2
2
1
1
2
3
2
x
3x
1
3 2
x 2
x och meka om till en 2:a framför den linjära termen.
Tydligen är b
3 2
2
3
,
2
lägg till och dra ifrån b2 .
3 2
1 Känn igen kvadreringsregeln Hyfsa till  2 
5
4
1
3 2
2

3 2

2
x
Låt a
5
4
Färdig
å en gång till
4x2
7x
4x2
7
4
x
4x2
2
4x2
2
1
2
7
8
4x
7 2

8
3
3
7
4
x och fixa till en 1:a framför den kvadratiska termen.
Jobba vidare i parentesen och meka om till en 2:a framför den linjära termen.
x
3
Tydligen är b
7 2
7 2
x 8
7 2

8
4x
Låt a
8 
7
,
8
lägg till och dra ifrån b2 i parentesen.
3 Känn igen kvadreringsregeln
7 2
8  3
Hyfsa
1
16
Färdig
En typisk användning för kvadratkomplettering är då man "glömt" formeln för att lösa en andragradsekvation. Vi får resan
x2
ax
b
x2
0
2
1
2
a

2
a 2
2
b
a 2
2
b
0
x
a 2

2
a 2
2
b
0
x
a 2

2
a 2
2
b
a 2
x
x
a 2
ax  2 
2

x
a 2
a
2
2
b
vilket är rötterna eller nollställena till den givna andragradsekvationen. Man säger ibland att lösningsmängden är
x

a
2
a 2
2
b,
a
2
a 2
2
b .
Andragradsekvationen x2
Exempel: Lös andragradsekvationen x2
2x
3
ax
b
a 2
a
2
0 har rötterna x1,2
2
b.
0.
Lösningsförslag: Håll noga koll på alla tecken, använd (), så får vi x1,2
2
2

2 2

2
3
1
2. I första ledet sätter vi bara
in koefficienterna med tecken och i det andra räknar och förenklar vi. Gör inte båda samtidigt!! Rötterna är alltså x1 1 2 3 och
x2 1 2
1. Vilken man väljer som x1 eller x2 vilken spelar naturligtvis ingen roll. För att lösa en stor klass av ekvationer
används funktionen Solve i Mathematica. Lägg märke till två likhetstecken, , eftersom det är en ekvation!
10
Grundbegrepp och Mathematica
Solvex2
x
2x
1, x
Solve4 x2
3
0
3
2x
7
0
1
x
HH/ITE/BN
1
29 , x
 1
29 
 1
4
4
När det inte går att lista ut vad vid vill lösa ut måste vi tala om detta för Mathematica. Här den välkända pq-formeln.
Solvex2
1
x

px
q
0, x
p2
4q
p, x
1

2
p2
4q
p
2
Ta för vana att alltid lösa ut lika många obekanta som det är ekvationer. Det är bara att samla i listor när man vill ha något gjort för
flera saker.
Solve
x
3k
ky
5, 4 x
5
x
6 , x, y
Simplify
7
,y
2k
2y
1

2k
1
ť Lite om matematisk teori
Matematikens formella struktur består av endast tre komponenter: definitioner, satser och bevis. De är matematikens byggstenar.
Axiom är en sorts grunddefinition, "odiskutabel sanning". Termen brukar användas för de ursprungligaste definitionerna, de som
inte hänvisar till andra definitioner. Man talar också om lemmor (grekiska för hjälpsats) vilka är vanligen satser av lite mindre
betydelse, eller påståenden som är viktiga steg för att bevisa en sats. Både satser och lemmor är matematiska påståenden som är
särskilt viktiga jämfört med andra påståenden. Satserna är ofta de resultat som används utanför det specifika området. Det är alltså
egentligen ganska mycket en fråga om tycke och smak och tradition vad som är så viktigt att det bör utnämnas till en sats.
De tre byggstenarnas roller är:
Definitionerna talar om vad begreppen betyder på "matematiska", oftast i termer av tidigare begrepp. Att göra de rätta definitionerna kräver lång erfarenhet, god matematisk överblick och en rejäl känsla för vad man vill åstadkomma. Man kan säga att matematikern är en sorts "designer" av teori.
Satserna talar om hur begrepp hänger ihop: om vi antar något (förutsättning), så vet vi också något annat (slutsats). Medan definitioner uppfinns kan man säga att satser upptäcks.
Bevisen är argumentationer som lämnar utom allt tvivel att satserna är sanna. I bevisen använder man ofta definitionerna baklänges
- man går ofta tillbaka till tidigare definitioner och arbetar med dessa.
Att bevisa något som hittills är obevisat betyder att hitta en kedja av omskrivningar som når fram till målet, så att varje steg i kedjan
är oantastligt. Detta kan mycket väl beskrivas som en (mental) bergsbestigning. Kan vi finna någon väg upp till den högsta toppen?
Vilken väg ska vi försöka ta? I början brukar alla tänkbara vägar se oframkomliga ut. En väg är för brant, en annan för isig, en tredje
ligger under ständig hård vind. I matematiken, liksom vid bergsklättring, visar det sig ofta att någon sorts kombination av de olika
vägarna leder till målet. Framgångsvägarna är ofta kombinationer av olika delar av misslyckade försök. Studier och forskning i
matematik är orientering i en högst varierande mental terräng.
Ofta handlar det om ett svåröverblickbart landskap som innehåller många överraskningar. Problem som är snarlika kan vara av
mycket olika svårighetsgrad. Betrakta problemet "Har an bn cn någon lösning med positiva heltal a, b och c för heltal n 1?".
För n 2 är svaret oändligt många, vilket visas lätt. För n 3 är svaret nej. Detta senare fall har trotsat matematikernas
ansträngningar i över 350 år. Det är Fermats stora sats, som bevisades av Andrew Wiles 1995. Detta bevis är mycket långt och
kräver en hel driva med avancerad teori.
Vi ska ge några exempel på bevis av satser eller lite mindre anspråkslösa påståenden.
Sats: Om a och b är icke-negativa tal så gäller för det aritmetiska medelvärdet
ab
och det geometriska medelvärdet
a b
.
2
Bevis: Eftersom a och b är icke-negativa kan vi bilda
 a
a b
2
2
b
0
a
2 a
b
b
0
ab
a och
a b
.
2
b och utnyttja att kvadraten på ett reellt tal är icke-negativt
Färdig! Första olikheten visar att vi har likhet endast då a
b.
ab att
HH/ITE/BN
Grundbegrepp och Mathematica
11
Påstående: Kvadraten på ett jämnt tal är jämnt och kvadraten på ett udda tal är udda.
Bevis: Eftersom ett jämnt tal n kan skrivas n 2k för något k
får vi
2
2
2
2
n
2k
4k 2 2k 2m för något m
.
Alltså gäller första delen av påståendet. Nu över till ett udda tal n som kan skrivas n 2k
.
n2 2k 1 2 4k 2 2 2k 12 2 2k 2 2k 1 2m 1 för något m
1 för något k
. Vi får
Alltså gäller även andra delen av påståendet och vi är färdiga.
Påståendet i en sats handlar inte alltid om en likhet eller relation. Ibland uttalar satsen att ett visst matematiskt objekt har en bestämd
egenskap. Det kan då hända att beviset är av det slag som man kallar indirekt bevis eller ett motsägelsebevis. Man visar därvid att
om objektet inte har den angivna egenskapen så blir konsekvensen en motsägelse. Av detta drar man slutsatsen att egenskapen i
fråga faktiskt måste föreligga.
Vi skall använda detta på en klassisk problemställning, som bekymrade grekiska matematiker redan på 400-talet f.Kr. Frågan kan
med modern terminologi ställas så här: om x är mätetalet för diagonalen i en kvadrat med sidan 1, är då x ett rationellt tal? Enligt
12
Pytagoras' sats gäller att x
12
2 . Frågan är därför huruvida
2 är ett rationellt tal eller inte. Att visa att ett tal är
irrationellt eller ej bjuder ofta på rejält motstånd men i detta speciella fall är det tämligen enkelt och svaret ges av följande påstående.
Påstående: Talet
2 är irrationellt.
Bevis: Antag att
2 vore ett rationellt tal. Det skulle då ha formen
p
förutsätta att bråket
q
p
2
q
där p och q är hela tal och q
0. Vi kan dessutom
är förkortat så långt det går, det vill säga att p och q saknar gemensamma faktorer förutom
1. Genom
kvadrering erhålles
2
p
q
2
p2
2q2
q2
p2
Detta visar att p2 är ett jämnt tal. Eftersom kvadraten på ett udda tal alltid är udda måste därför även p vara ett jämnt tal. Det har
alltså formen p 2n för något heltal n. Sätter vi in detta får vi att
2q2
2n
2
2q2
4n2
q2
2n2
Men här avläser vi som ovan att q2 är jämnt och därmed även q jämnt. Då nu både p och q är jämna har de den gemensamma faktorn
2. Detta strider mot vårt antagande att
med andra ord är
p
q
är fullständigt förkortat. Vi har fått en motsägelse. Alltså kan
2 inte vara ett rationellt tal,
2 irrationellt och beviset är klart!
Påstående: Visa att 9n
8n
1 är delbart med 64 för varje heltal n
1, 2, 3,
.
Bevis: Innan vi går igång på allvar stärker vi oss med en numerisk prövning.
9n
8n
1
 .n
n,
Range 13
64

1 2 3
4
5
6
7
8
9
10
11
12
13

0 1 11 102 922 8303 74 733 672 604 6 053 444 54 481 005 490 329 055 4 412 961 506 39 716 653 566
Ser ju lovande ut men som bevis räcker det inte med att prova aldrig så många n. För denna typ av påstående när något ska visas
för n 1, 2,
är det vanligt att göra ett så kallat induktionsbevis. Jämför dominobrickor Faller den första, faller alla! eller "Det
borde vara förbjudet att arbeta dag efter ledig dag!!" Beviset genomförs i 3 steg.
1. Visa först att påståendet är sant för det första n:et i följden. Alltså
n 1 91 8 1 1 9 8 1 0 vilket är delbart med 64.
2. Visa sedan att om det är sant för n så är det sant även för n 1. Vi får
9n 1 8 n 1
9n 9 8n 9
1
64k 8n 1 9 8n
64k 9 64n 64 9k
9
n
Potenslagar
Om 9n 8n 1 delbart med 64,
så k
så att 9n 8n 1 64k.
Hyfsa
Vilket uppenbarligen är delbart med 64.
3. Så påståendet är sant för alla n. Färdig
1
2
3
∫
n
n+1