Kapitel 4.1: Logik och bevis | Matematik 2

Bakgrund

Logik och bevis är kärnan i matematiken. I geometri används de för att visa varför egenskaper och satser faktiskt gäller.

Teori

1. Grundläggande logiska koncept

Påstående: en mening som är sann eller falsk.
Sats: ett påstående som har bevisats sant.
Implikation: $\displaystyle A\Rightarrow B$ (”om A, så B”).
Ekvivalens: $\displaystyle A\Leftrightarrow B$ (”A om och endast om B”).
Negation: $\displaystyle \neg A$ (”inte A”).
Konjunktion: $\displaystyle A\land B$ (”A och B”).
Disjunktion: $\displaystyle A\lor B$ (”A eller B”).

2. Bevismetoder inom geometri

Direkt bevis
Indirekt bevis (motsägelsebevis)
Bevis med motexempel (för att visa att ett påstående är falskt)
Matematisk induktion (främst på naturliga tal)

3. Geometriska axiom och satser

Axiom 1: Genom två olika punkter går exakt en rät linje.
Axiom 2: En rät linje kan förlängas obegränsat åt båda håll.
Parallellaxiomet: Genom en punkt utanför en linje går exakt en parallell linje.
Pythagoras sats: $a^2+\nobreak b^2=\nobreak c^2$
Vinkelsumman i en triangel är 180°.

Interaktiv logikverkstad

Sanningsvärden

Växla A och B för att se logiska uttryck i realtid.

$\displaystyle \neg A$ = Falskt
$\displaystyle A\land B$ = Falskt
$\displaystyle A\lor B$ = Sant
$\displaystyle A\Rightarrow B$ = Falskt
$\displaystyle A\Leftrightarrow B$ = Falskt

Välj bevismetod

Snabbguide för när metoden passar.

Utgå från givna fakta och härled slutsatsen steg för steg.

Triangelns vinkelsumma

Testa att två vinklar bestämmer den tredje enligt 180°-regeln.

Vinkel A (°)Vinkel B (°)

Vinkel C = 180° - A - B

C = 67.0°

Exempel och tillämpningar

Exempel 1: Likbent triangel

Uppgift: Visa att basvinklarna är lika stora i triangeln ABC när AB = AC.

Exempel 2: Pythagoras sats

Uppgift: Bevisa Pythagoras sats med en kvadrat med sidan a + b, uppdelad i fyra kongruenta rätvinkliga trianglar och en mittkvadrat.

Exempel 3: Motsägelsebevis

Uppgift: Visa med ett motsägelsebevis att det inte finns något största primtal.

Exempel 4: Triangelns vinkelsumma

Uppgift: Bevisa att triangelns vinkelsumma är 180 grader med hjälp av en parallell genom ett hörn.

Logiska fallgropar och vanliga misstag

Cirkelresonemang
Falsk dikotomi
Att anta det som ska bevisas
Felaktig överföring av egenskaper mellan del och helhet

Vanliga frågor

Tips för att bemästra logik och bevis

Viktigt att tänka på

Formulera alltid givet och det som ska bevisas.
Redovisa varje logiskt steg tydligt.
Visualisera figuren innan du börjar skriva beviset.
Sök aktivt efter luckor i resonemanget.
Kontrollera att du inte har antagit slutsatsen i förväg.

Kvalitetskontroll

Sidan behandlar logikbegrepp, bevismetoder, axiom och satser.
Alla fyra exempel från underlaget ingår.
Interaktiva verktyg för logik och bevisstruktur är implementerade.

Testa att du förstått

Träna uppgifter i geometri för Matematik 2. Du får facit och förklaring direkt.

Träna på det här