Därför är det värt att kunna
Varför det behövs
På svårare KVA-uppgifter kan lång uträkning vara ett sämre verktyg än ett kort logiskt argument. Du behöver känna igen om uppgiften lämpar sig för bevis genom förenkling eller för motexempel.
Två olika mål kräver två olika metoder
Om uttrycken kan förenklas till en relation som är sann för alla tillåtna värden ska du försöka bevisa relationen. Om variabelns värde kan påverka utfallet ska du i stället försöka fälla ett entydigt svar genom två tillåtna testvärden som ger olika relationer. Ett enda motexempel räcker för att visa att relationen inte är bestämd.
Exempel 1: fäll med motexempel
x är ett reellt tal. I: x² Kvantitet II: x
- Testa ett värde över 1: x=2 ger x²=4 > 2, alltså I > II.
- Testa ett värde mellan 0 och 1: x=1/2 ger x²=1/4 < 1/2, alltså II > I.
- Två tillåtna värden ger olika utfall.
- Relationen går därför inte att avgöra entydigt: svar D.
Exempel 2: bevisa genom förenkling
Kvantitet I: 3x + 6 Kvantitet II: 3(x + 2)
- Utveckla Kvantitet II: 3(x+2)=3x+6.
- Båda kvantiteterna är exakt samma uttryck för varje tillåtet x.
- Ingen testning behövs när algebraisk likhet redan är bevisad.
- Svar C: kvantiteterna är lika.
Vanligt fel: flera lyckade testvärden är inte ett bevis
Om x=2, 3 och 10 alla ger samma relation vet du fortfarande inte säkert vad som händer vid 0, negativa tal eller tal mellan 0 och 1 – om dessa är tillåtna. Testvärden används främst för att hitta ett motexempel. För att bevisa att relationen alltid gäller behövs ett generellt argument.
Snabbare på provet
Välj testvärden som kan ändra reglerna
När testning är rätt metod ska värdena vara strategiska: 0, 1, −1 och ett tal mellan 0 och 1 är ofta mer informativa än 2, 3 och 4. Respektera alltid villkoren i uppgiften; ett otillåtet testvärde säger ingenting.
Testa dig själv
Du testar två tillåtna värden och får I > II i det ena fallet och I = II i det andra. Vad kan du dra för slutsats?
Visa svaret
Rätt svar: C — Informationen räcker inte för en entydig relation. Olika tillåtna utfall visar direkt att relationen inte är entydigt bestämd. I KVA innebär det D.