Skillnad mellan versioner av "5.2 Definition, sats och bevis"
Taifun (Diskussion | bidrag) m |
Taifun (Diskussion | bidrag) m |
||
| Rad 67: | Rad 67: | ||
Ex.: Se beviset för Pythagoras sats. | Ex.: Se beviset för Pythagoras sats. | ||
| − | + | I ett bevis används ofta satser som redan bevisats tidigare. | |
Bevis måste vara <b><span style="color:red">generella</span></b>, dvs satsen måste gälla i alla tänkbara situationer (exempel). | Bevis måste vara <b><span style="color:red">generella</span></b>, dvs satsen måste gälla i alla tänkbara situationer (exempel). | ||
Versionen från 2 april 2024 kl. 08.50
| << Förra avsnitt | Innehållsförteckning | Genomgång | Övningar | Nästa avsnitt >> |
Begreppsförklaringar
Definition är en förklaring av ett begrepp, återger begreppets betydelse: "Vad är ... ?".
Ex.:
- 1. Ekvation är en likhet mellan två algebraiska uttryck med en obekant, t.ex. \(3 + x = 2\,x\).
- Man kan lösa en ekvation som kan ha en eller flera lösningar, ibland ingen alls.
- 2. Funktion är ett samband mellan två variabler, t.ex. \(y = 4\,x - 5\).
- En funktion kan visas med en formel, en graf eller en tabell.
- En funktion kan användas som matematisk modell av verkligheten.
En definition är ett verktyg i kommunikationen, ofta förutsättningen för en meningsfull kommunikation.
En definition är en överenskommelse mellan begreppets användare. Därför:
Definitioner är i princip godtyckliga och kan inte bevisas.
"Ett begrepp kan definieras meningsfullt, först när det används i en konkret situation" (Wittgenstein).
Sats är en utsaga eller ett påstående som är sant eller falskt.
Ex.:
- 1. Vinkelsumman i en triangel är 180 grader.
- 2. Om en triangel med sidorna a, b, c är rätvinklig, så gäller \( a^2 + b^2 = c^2 \).
- 3. Om det gäller \( a^2 + b^2 = c^2 \) för en triangel med sidorna a, b, c, så är triangeln rätvinklig.
Satser kan bevisas (verifieras) eller motbevisas (falsifieras).
Det finns matematiska satser som inte har bevisats hittills. Man antar att de är sanna, så länge de inte motbevisats.
Det finns självklara matematiska satser som inte behöver bevisas. De kallas för axiom. Ex.:
Parallella räta linjer skär aldrig varandra. Eller: Genom två punkter går exakt en rät linje.
Bevis är en följd av matematiska resonemang som genom logiska slutsatser leder till verifieringen av en sats.
Ex.: Se beviset för Pythagoras sats.
I ett bevis används ofta satser som redan bevisats tidigare.
Bevis måste vara generella, dvs satsen måste gälla i alla tänkbara situationer (exempel).
Däremot räcker ett exempel för att motbevisa en sats.
Copyright © 2024 Lieta AB. All Rights Reserved.
