Motexempel och gränsfall i KVA

Ett motexempel utanför definitionsområdet visar ingenting. Innan du väljer tal behöver du översätta varje villkor till en tydlig tillåten mängd och kontrollera nämnare, rötter, heltalskrav och geometriska begränsningar.

Villkoret $x>0$ utesluter både noll och alla negativa tal. Villkoret $x\ne0$ tillåter däremot positiva och negativa tal men inte noll. Ett positivt heltal tillåter 1, 2, 3 och så vidare, men inte en halv. Skillnaderna är avgörande när du väljer testvärden. Skriv villkoret bredvid varje test så att inget värde smyger utanför mängden.

En nämnare får inte vara noll även när uppgiften inte skriver villkoret separat. Om uttrycket innehåller $1/(x-2)$ är $x=2$ otillåtet. Ett rotuttryck som $\sqrt{x+1}$ kräver $x\ge-1$ i reella tal. Gränsvärdet $x=-1$ kan vara särskilt informativt eftersom roten blir noll, men ett lägre värde kan inte användas.

Geometriska figurer har villkor som inte alltid står i en egen rad. Sidlängder är positiva och måste kunna bilda den angivna figuren. Triangelns två kortare sidor måste tillsammans vara längre än den längsta. En rektangel har räta vinklar och motstående sidor lika. Ett test med omöjliga längder är inte ett giltigt motexempel.

I sannolikhet ligger värden mellan 0 och 1. Antal utfall är heltal och en totalsumma kan begränsa möjliga fördelningar. I procentproblem kan andelar ligga mellan 0 och 100 procent när de beskriver delar av en helhet. Läs alltså variabelns betydelse, inte bara symbolen. Sammanhanget kan ge snävare villkor än den algebraiska raden.

Testvärden ska väljas för sin matematiska funktion. Noll, ett, lika värden, teckenbyte och extrema värden påverkar uttryck på olika sätt och kan därför avslöja olika typer av osäkerhet.

Noll tar bort termer och visar var tecken kan bytas. Om noll är tillåtet kan $x=0$ göra en produkt eller potens enkel. Men noll får inte användas i en nämnare och är inte positivt. Kontrollera alltid om villkoret är $x\ge0$, $x>0$ eller $x\ne0$. De tre formuleringarna ger olika gränsfall.

Ett och minus ett neutraliserar eller tydliggör potenser. $x^2$ och $x$ är lika vid $x=0$ och $x=1$, men relationen ändras för tal mellan 0 och 1 och för tal större än 1. Minus ett avslöjar skillnaden mellan jämna och udda exponenter. Dessa värden är särskilt användbara när variabelvillkoren är breda.

Lika värden kan göra differenser noll och visa om en strikt olikhet verkligen måste gälla. Om villkoren tillåter $x=y$ och kvantiteterna innehåller $x-y$ kan detta fall ge jämförelsen med noll. Villkor som $x>y$ utesluter däremot likhet. Läs olikhetstecknet noggrant och ersätt inte större än med större än eller lika med.

Extrema värden visar vilken term som dominerar. För $x>0$ kan ett mycket stort $x$ göra $x^2$ dominerande över $x$, medan ett värde mellan 0 och 1 ger $x^2<x$. Värden nära noll är viktiga för reciproker, eftersom $1/x$ kan bli mycket stort. Du behöver sällan välja astronomiska tal. Tio, en tiondel och en hundradel räcker ofta.

Ett vanligt KVA problem ger relationer som delar en variabel men ändå inte bestämmer relationen mellan de två andra. Då är motexempel den snabbaste vägen till att visa osäkerheten.

Anta att $x>y$ och $y<z$. Båda villkoren säger att $y$ ligger under en annan variabel. De säger inte om $x$ är större eller mindre än $z$. Välj $y=0$. Med $x=2$ och $z=1$ får du $x>z$. Med $x=1$ och $z=2$ får du $x<z$. Båda fallen uppfyller villkoren, så relationen mellan $x$ och $z$ är inte bestämd.

Felet är att läsa $x>y$ och $y<z$ som en sammanhängande kedja $x>y>z$ eller $x<y<z$. För att kedja olikheter behöver pilarna peka konsekvent genom den gemensamma variabeln, exempelvis $x>y$ och $y>z$, vilket ger $x>z$. När båda andra variablerna bara jämförs med samma mittenvärde kan de byta plats sinsemellan.

Rita gärna en enkel tallinje. Placera $y$ och markera att både $x$ och $z$ ligger till höger om det. Deras inbördes position är fri. Bilden är inte ett bevis i sig, men visar vilka motexempel som behövs. Flytta $x$ och $z$ på var sin sida om varandra medan båda behåller sin relation till $y$.

Samma struktur förekommer i pris, ålder och längd. Om både A och C är äldre än B vet du inte vem av A och C som är äldst. Språkliga relationer ska översättas lika noggrant som algebraiska. Två berättelser med ombytta värden för A och C är då fullständiga motexempel.

Att misslyckas med att hitta ett motexempel betyder inte att relationen är säker. Om strategiska fall ger samma utfall bör du förenkla skillnaden mellan kvantiteterna eller formulera ett generellt argument.

Beräkna gärna Kvantitet I minus Kvantitet II. Om skillnaden kan skrivas som ett uttryck med känt tecken är relationen avgjord. Exempelvis är $(x+y)^2-(x-y)^2=4xy$. Om villkoren säger $x>0$ och $y>0$ är skillnaden positiv, alltså är $(x+y)^2$ större. Här ger algebran ett bevis för alla tillåtna värden.

Faktorisering kan visa vilka gränser som spelar roll. Skillnaden $x^2-x=x(x-1)$ byter tecken vid 0 och 1. Om villkoret bara säger $x>0$ finns både intervallet $0<x<1$, där produkten är negativ, och $x>1$, där den är positiv. Gränspunkterna leder direkt till två testvärden och därmed till ett varierande utfall.

Monotoni kan också ge ett generellt argument. Om båda kvantiteterna innehåller samma positiva nämnare kan täljarna jämföras. Om samma positiva term adderas till båda kan den tas bort. Om du multiplicerar en olikhet med ett negativt tal måste riktningen vändas. Ett tecken som inte är känt hindrar därför en generell jämförelse.

I geometri används satser och givna markeringar som bevis. Om två trianglar har bestämda lika vinklar eller sidor kan en relation följa för alla tillåtna figurer. Om figuren kan deformeras utan att villkoren bryts behöver du däremot pröva två former. Ett utseende på den tryckta figuren bevisar inte att relationen är konstant.

Motexempelmetoden misslyckas främst på fyra sätt: värdet bryter mot villkoren, båda testen är för lika, ett enskilt lyckat test behandlas som bevis eller relationen översätts fel till svarsbokstav.

Ett ogiltigt test kan ge precis den variation du söker men har inget bevisvärde. Om $x$ ska vara positivt heltal får $x=-1$, $x=0$ och $x=1/2$ inte användas. Skriv villkorskontrollen bredvid varje fall. Om en figur ska vara en triangel måste också sidlängderna klara triangelolikheten.

Två närliggande positiva heltal är ofta svaga när uttrycket kan byta beteende vid noll eller ett. Testerna $x=2$ och $x=3$ kan båda ge $x^2>x$, medan $x=1/2$ ger motsatt relation om bråk är tillåtna. Välj värden från olika intervall som skapas av uttryckets nollställen eller förbjudna punkter.

Flera tester med samma utfall är fortfarande observationer. För att välja A, B eller C säkert behöver relationen gälla för alla tillåtna fall. När du ser en enkel faktor, kvadrat eller positiv nämnare ska du avsluta med ett generellt teckenargument. Testvärden kan vägleda beviset men ersätter det inte.

När två fall ger olika relationer är matematikbeslutet varierande utfall. Översätt detta till D först i sista steget. Om du tänker på bokstaven för tidigt är det lätt att blanda ihop D med en specifik riktning. Skriv gärna A som I större, B som II större, C som lika och D som varierar innan du markerar.

En bra träningsrutin skiljer villkor, valt fall, relation och svar. Då blir det synligt om felet låg i värdesvalet, beräkningen eller översättningen till KVA bokstav.

Dela ett papper i fyra kolumner: villkor, fall ett, fall två och slutsats. Skriv bara värden som klarar villkoren och notera relationen I större, II större eller lika för varje fall. Om relationerna skiljer sig skriver du varierar. Om de är samma lämnar du slutsatsen öppen tills ett generellt argument är gjort.

Sortera efter vilka gränser du missar. En kategori kan vara noll, en annan tal mellan noll och ett, en tredje negativa tal och en fjärde geometriska deformationer. Om du ofta väljer två stora positiva heltal behöver du tvinga fram ett gränsfall i nästa serie. Färdigheten är att välja informativa fall, inte att räkna många.

Under provet kan dokumentationen kortas till två små rader, exempelvis $x=1/2$ ger A och $x=2$ ger B, båda tillåtna, alltså D. Om uttrycket i stället förenklas till en alltid positiv kvadrat behöver inga fler värden testas. Växla mellan motbevis och generellt bevis beroende på vilken väg som blir säker först.

Använd de två publicerade KVA frågorna på sidan för att pröva separata olikheter och rationella uttryck. Efter eget svar får du full textförklaring och kan öppna en kvantitativ videolösning när en verifierad video finns. Jämför särskilt varför de valda testvärdena ligger på olika sidor om en matematisk gräns.