Kontrprzykład: najszybszy sposób, by obalić fałszywe twierdzenie

Po co w ogóle kontrprzykład? Szybki obraz sytuacji

Jedna kulka, która przebija balon „zawsze”

Kiedy ktoś mówi: „zawsze”, „każdy”, „nigdy”, zachowuje się trochę jak ktoś, kto dmucha wielki balon. Balonem jest jego ogólne twierdzenie. Kontrprzykład to jedna, jedyna kulka z ostrym czubkiem, która ten balon przebija. Nie trzeba tysiąca przykładów. Wystarczy jeden kontrprzykład, aby obalić ogólne twierdzenie.

Jeśli ktoś twierdzi: „Każda liczba parzysta jest podzielna przez 4”, wystarczy wskazać liczbę 6. Jest parzysta, ale nie dzieli się przez 4 bez reszty. Balon „każda” pękł. Nagle wiadomo, że zdanie jest fałszywe, bez sprawdzania wszystkich liczb na świecie.

To jest najważniejsza zaleta kontrprzykładu: oszczędza ogrom pracy. Zamiast analizować nieskończenie wiele przypadków, znajdujesz jeden szczególny, który nie działa. I po sprawie.

„Zawsze” kontra „nie zawsze” – dwa różne zadania

W matematyce istnieje zasadnicza różnica między zadaniem:

• udowodnij, że coś jest zawsze prawdziwe, a
• pokaż, że to nie jest zawsze prawdziwe.

Pierwszy typ wymaga dowodu ogólnego. Trzeba pokazać, że dla każdego dopuszczalnego przypadku (dla każdej liczby, każdej figury, każdego ciągu) coś działa. To z reguły trudniejsze, wymaga pomysłu, znanych twierdzeń, nierówności, przekształceń.

Drugi typ bywa znacznie prostszy. Wystarczy jeden konkretny przykład, dla którego warunek spełniasz, ale wniosek już nie. To właśnie kontrprzykład. Zadanie zmienia się z „pokaż, że zawsze działa” na „znajdź miejsce, gdzie się psuje”.

To trochę jak z mostem: sprawdzenie, że zawsze wytrzyma każdy ciężar do 30 ton, wymaga testów, obliczeń, norm. Ale jeśli chcesz pokazać, że twierdzenie „ten most zawsze wytrzyma 30 ton” jest fałszywe, wystarczy jeden przypadek, kiedy przy 27 tonach most pęknie. Nie trzeba już więcej dowodów.

Codzienne „wszyscy”, „zawsze”, „nigdy”

Kontrprzykład to nie tylko narzędzie w zadaniach z matematyki. Pojawia się w zwykłych rozmowach. Gdy ktoś mówi:

• „Wszyscy uczniowie nienawidzą matematyki”,
• „Nigdy nie zdążymy na czas”,
• „Każdy, kto dobrze liczy, jest geniuszem” –

automatycznie aż prosi się o kontrprzykład. Wystarczy jedna osoba, która lubi matematykę, jeden raz, kiedy jednak zdążyliście, jeden dobry „zwykły” uczeń, który nie uważa się za geniusza. I już wiadomo, że wypowiedź była za mocno uogólniona.

Logicznie rzecz biorąc, kontrprzykład działa w rozmowie tak samo jak w matematyce: pokazuje, że dane twierdzenie nie jest zawsze prawdziwe. Czasem nie musi go nawet wypowiadać na głos – w głowie widzisz, że ktoś przesadził z uogólnieniem.

Kontrprzykład jako narzędzie myślenia krytycznego

Umiejętność szukania kontrprzykładów to jedna z najpraktyczniejszych umiejętności logicznych. Pomaga:

• dostrzegać przesadzone uogólnienia („wszyscy politycy…”, „każdy nauczyciel…”),
• łapać błędy w rozumowaniach, w reklamach, w mediach,
• lepiej rozumieć, które zdania są naprawdę mocne (odporne na kontrprzykłady), a które tylko brzmią pewnie.

Kto potrafi szybko sprawdzić w głowie: „Czy potrafię wymyślić kontrprzykład?”, ten naturalnie filtruje bzdury. W matematyce przekłada się to na poprawne dowody, a w życiu – na zdrowy sceptycyzm.

Z jakich zdań da się zrobić miazgę kontrprzykładem?

Sygnały ostrzegawcze: „dla każdego”, „zawsze”, „nigdy”

Nie każde zdanie da się obalić kontrprzykładem. Kontrprzykład celuje głównie w zdania ogólne. W wypowiedziach i zadaniach szkolnych zdradzają je słowa:

• dla każdego (dla każdej liczby, dla każdego trójkąta, dla każdej funkcji),
• zawsze,
• wszystkie, każde,
• nigdy, żaden, nie istnieje.

Jeśli w twierdzeniu pojawia się: „Dla każdej liczby naturalnej n zachodzi…”, od razu można w głowie zapalić lampkę: „Może spróbować znaleźć kontrprzykład?”. Podobnie przy zdaniu: „Nigdy nie da się podzielić liczby całkowitej przez…”. To gotowy kandydat do rozbicia jednym konkretnym przypadkiem.

Logiczne schematy, które kontrprzykład rozkłada na łopatki

Większość zdań, na które działa kontrprzykład, ma jedną z poniższych form:

Brzmi to może sucho, ale przykłady są bardzo ludzkie:

• „Dla każdej liczby naturalnej n, jeśli n jest parzysta, to jest podzielna przez 4.” – tu P(n): „n jest parzysta”, Q(n): „n jest podzielna przez 4”. Kontrprzykład: liczba 6 (P zachodzi, Q nie).
• „Nie istnieje liczba rzeczywista x taka, że x·x = 2 i x jest całkowite.” – tu wystarczy znaleźć liczbę całkowitą spełniającą równanie (nie ma takiej), więc akurat tu kontrprzykładu nie ma. Ale gdyby ktoś powiedział: „Nie istnieje liczba rzeczywista x taka, że x·x = 4 i x jest dodatnia”, to kontrprzykładem jest x = 2.

Zdania ogólne kontra szczegółowe

Kontrprzykład ma sens tylko dla zdań ogólnych. Jeśli ktoś mówi:

• „Niektóre liczby parzyste są podzielne przez 4” – to zdanie mówi tylko o „niektórych” przypadkach. Nie da się go obalić jednym przykładem, bo wystarczy, że istnieje choć jedna liczba parzysta podzielna przez 4 (np. 8) i zdanie jest prawdziwe.
• „Jest liczba, która…” – tu również jedno wskazanie przykładu raczej potwierdza zdanie, a nie je obala.

Z kontrprzykładem walczą więc zwroty: „dla każdego”, „zawsze”, „każde”, „żaden”. Natomiast słowa „niektóre”, „bywa, że”, „zdarza się, że” czynią zdanie o wiele bardziej odporne na obalenie, bo pokazują, że autor nie próbuje mówić o wszystkich przypadkach.

Szkolne przykłady zdań podatnych na kontrprzykład

Kilka klasycznych zdań, które proszą się o kontrprzykład:

• „Każda liczba parzysta jest podzielna przez 4.” – kontrprzykład: 2, 6, 10…
• „Nigdy nie da się podzielić liczby naturalnej przez mniejszą liczbę naturalną tak, aby wynik był liczbą naturalną.” – kontrprzykład: 6 : 3 = 2.
• „Każdy trójkąt o dwóch równych bokach jest równoboczny.” – kontrprzykład: trójkąt równoramienny, w którym tylko dwa boki mają tę samą długość.
• „Każde równanie kwadratowe ma dwa różne pierwiastki rzeczywiste.” – kontrprzykład: x² = 0 (jeden pierwiastek podwójny) albo x² + 1 = 0 (brak pierwiastków rzeczywistych).

W każdym z tych przykładów budowa zdania jest podobna: „Każde…” albo „Nigdy…”. To pierwszy znak, że kontrprzykład może załatwić sprawę w kilka sekund.

Definicja kontrprzykładu po ludzku i „po matematycznemu”

Kontrprzykład po uczniowsku: konkretny psuj-zabawa

Najprościej: kontrprzykład to konkretny przypadek, który nie pasuje do ogólnej reguły. Jest jak uczeń w klasie, o której ktoś powiedział „wszyscy noszą okulary”, a on przyszedł w soczewkach. Wciąż jest uczniem z tej klasy, ale nie ma okularów – reguła „wszyscy” upada.

Gdy twierdzenie brzmi:

„Dla każdego trójkąta ostrokątnego suma dwóch krótszych boków jest większa od długości trzeciego boku”,

to, jeśli chcesz pokazać, że jest fałszywe, szukasz jednego konkretnego trójkąta ostrokątnego, w którym suma dwóch krótszych boków nie jest większa od trzeciego. Jeśli taki znajdziesz – pokazujesz rysunek, długości boków – i gotowe.

Kontrprzykład w języku logiki: P(x) zachodzi, Q(x) zawodzi

Formalnie, jeśli mamy zdanie:

„Dla każdego x z jakiegoś zbioru: jeśli P(x), to Q(x)”,

to kontrprzykładem jest konkretny element x₀ (konkretna liczba, figura, ciąg), dla którego:

• P(x₀) jest prawdziwe,
• Q(x₀) jest fałszywe.

Przykład:

Twierdzenie: „Dla każdej liczby naturalnej n, jeśli n jest podzielna przez 6, to jest liczbą pierwszą.”

Tu:

• P(n): „n jest podzielna przez 6”,
• Q(n): „n jest liczbą pierwszą”.

Kontrprzykład: n = 6. Wtedy:

• P(6) – prawda (6 jest podzielna przez 6),
• Q(6) – fałsz (6 nie jest liczbą pierwszą).

To wystarcza, aby zdanie „Dla każdej liczby naturalnej n…” uznać za fałszywe.

Negacja zdania ogólnego i miejsce na kontrprzykład

Logicznie, negacja zdania:

„Dla każdego x: jeśli P(x), to Q(x)”

brzmi:

„Istnieje x, dla którego P(x) i nie-Q(x).”

Kontrprzykład to właśnie taki x. Tak naprawdę, kiedy mówisz: „to twierdzenie jest fałszywe”, deklarujesz, że istnieje kontrprzykład – tylko czasem go nie znasz. Twoim zadaniem w zadaniach z matematyki jest go namierzyć.

Podobnie, jeśli ktoś twierdzi: „Nie istnieje x takie, że R(x)”, to negacja brzmi: „Istnieje x takie, że R(x)”. Znalezienie jednego takiego x to też kontrprzykład – tym razem dla twierdzenia o nieistnieniu.

„Przykład przeciwny” a kontrprzykład w języku potocznym

W codziennym języku słowo „przykład przeciwny” bywa używane luźno. Ktoś mówi:

„Każdy, kto dużo się uczy, ma piątki.” – „A znam kogoś, kto prawie wcale się nie uczy, a ma piątki.”

To nie jest kontrprzykład w sensie matematycznym. Dlaczego? Bo kontrprzykład musi spełniać warunek z twierdzenia, a łamać wniosek. W tym przykładzie warunek „dużo się uczy” nie jest spełniony. To raczej przykład pokazujący, że przyczyna nie jest jedyna czy niezbędna, ale nie jest to kontrprzykład logiczny.

Jeśli twierdzenie brzmi: „Każdy, kto dużo się uczy, ma piątki”, kontrprzykładem byłby uczeń, który dużo się uczy, ale piątek nie ma. Czyli P zachodzi („dużo się uczy”), Q nie zachodzi („nie ma piątek”). Wtedy i tylko wtedy obalasz zdanie dokładnie w jego logicznym kształcie.

Jak czytać twierdzenie, żeby wiedzieć, jakiego kontrprzykładu szukać

Rozbijanie zdania na dziedzinę, warunek i wniosek

Większość problemów z kontrprzykładami bierze się z tego, że uczeń nie do końca wie, co dokładnie twierdzi dane zdanie. Dlatego pierwszy krok to rozbić twierdzenie na trzy elementy:

Trzy pytania, które trzeba sobie zadać przy każdym twierdzeniu

Dobrze działa prosty zestaw pytań. Czytając twierdzenie, zadaj je sobie niemal automatycznie:

1. O kim / o czym jest to zdanie? (jaka jest dziedzina?)
2. Kogo dokładnie dotyczy? (jaki jest warunek, czyli „P(x)”?)
3. Co twierdzi o tych przypadkach? (jaki jest wniosek, czyli „Q(x)”?)

Weźmy:

„Dla każdego trójkąta równoramiennego suma długości ramion jest większa od długości podstawy.”

Rozbijamy:

• Dziedzina: wszystkie trójkąty.
• Warunek (P): trójkąt jest równoramienny.
• Wniosek (Q): suma długości ramion jest większa od długości podstawy.

Jeśli chcesz szukać kontrprzykładu, nie kombinujesz z kwadratami albo pięciokątami, tylko zostajesz przy trójkątach równoramiennych. Kontrprzykład musi być „z tej bajki”, której dotyczy twierdzenie.

Najczęstszy błąd: kontrprzykład spoza dziedziny

Klasyczna pomyłka uczniów polega na tym, że znajdują przykład, który w ogóle nie należy do rozpatrywanego zbioru. To tak, jakby ktoś na stwierdzenie „Wszyscy uczniowie tej klasy zdali egzamin” odpowiedział: „A mój wujek oblał”. Może i oblał, ale nie chodzi o tę grupę.

Zdanie:

„Każda liczba naturalna większa od 1 jest parzysta.”

Ktoś mówi: „Kontrprzykład: 1 jest nieparzysta!”. Tylko że 1 nie spełnia warunku „większa od 1”. To nie jest kontrprzykład logiczny. Musisz złapać taką liczbę naturalną, która jest większa od 1, a jednak nieparzysta – na przykład 3.

Zanim więc zaczniesz testować przykłady, sprawdź:

• czy twój kandydat należy do rozpatrywanego zbioru (liczby naturalne? trójkąty? funkcje ciągłe?),
• czy spełnia warunek P(x).

Dopiero wtedy wolno ci sprawdzić, czy wniosek Q(x) się „wykłada”.

Jak czytać „jeśli…, to…” krok po kroku

Przy zdaniach typu „jeśli P, to Q” dobrze działa bardzo powolne, ale za to precyzyjne czytanie. Zamiast „wciągać” całe zdanie jednym haustem, rozdziel je:

• „Jeśli P(x)” – tu zatrzymujesz się i dopowiadasz w głowie: „Mówimy tylko o tych x, które spełniają P”.
• „to Q(x)” – czyli „dla tych x z P ma zachodzić Q”.

Na przykład:

„Jeśli wielokąt jest kwadratem, to ma cztery boki.”

P(x): „x jest kwadratem”. Q(x): „x ma cztery boki”. Kontrprzykład musiałby być kwadratem (a więc P(x) prawda), który nie ma czterech boków (Q(x) fałsz) – takiej figury nie ma, więc kontrprzykładu nie znajdziesz.

Ale przy:

„Jeśli liczba jest podzielna przez 4, to jest parzysta.”

P(x): „x jest podzielna przez 4”, Q(x): „x jest parzysta”. Tu akurat nie znajdziesz kontrprzykładu, bo każda liczba podzielna przez 4 jest z definicji parzysta. Samo szukanie kontrprzykładu jest jednak dobrym testem, czy rozumiesz relację P–Q.

Szukając kontrprzykładu, odwróć rolę: myśl jak przeciwnik

Przy czytaniu twierdzeń dobrze jest „wejść w rolę adwokata diabła”. Nie pytaj: „Jak to udowodnić?”, tylko najpierw: „Jak to popsuć?”. To zmienia sposób lektury:

• czytasz warunek P(x) i od razu próbujesz znaleźć najdziwniejsze przypadki, które go spełniają,
• czytasz wniosek Q(x) i zadajesz sobie pytanie: „Czy naprawdę w każdym takim dziwnym przypadku Q jeszcze działa?”.

Ktoś mówi:

„Dla każdej liczby naturalnej n, jeśli n jest parzysta, to n + 1 jest nieparzysta.”

Warunek P(n): „n jest parzysta” – bierzesz: 0, 2, 1000, 10 000. Wniosek Q(n): „n + 1 jest nieparzysta”. Sprawdzasz kilka przypadków i widzisz, że Q za każdym razem działa. Tu „adwokat diabła” ponosi porażkę – kontrprzykładu nie ma, zdanie jest prawdziwe.

Kontrprzykład krok po kroku – schemat myślowy

Krok 1: Zidentyfikuj słowa-klucze i ustal dziedzinę

Na start wypatrujesz typowych sygnałów: „dla każdego”, „zawsze”, „każdy”, „nigdy”, „żaden”, „nie istnieje”. To one mówią: „Uważaj, to jest zdanie ogólne – można próbować kontrprzykładu”.

Potem zadajesz dwa krótkie pytania:

• O jakich obiektach mówimy? (liczby naturalne? rzeczywiste? trójkąty? wielokąty wypukłe?)
• Czy dziedzina nie jest ukryta? („liczba” – ale jaka? całkowita? rzeczywista?).

Przykład:

„Każda liczba, która ma rozwinięcie dziesiętne, jest wymierna.”

Niby „każda liczba”, ale w praktyce chodzi o liczby rzeczywiste. Warto to sobie dopowiedzieć, zanim zaczniesz szukać przypadków.

Krok 2: Wyodrębnij warunek P(x)

Teraz polujesz na to, co jest przed „to”, „wtedy”, „ma…”, „jest…”. To właśnie P(x). Pomocne pytania:

• „Jakie cechy musi mieć obiekt, żeby w ogóle zdanie się nim interesowało?”
• „Czy warunek nie jest złożony z kilku części naraz?”

Weźmy:

„Dla każdego trójkąta prostokątnego, którego przyprostokątne są równe, pole jest równe 1.”

P(x) zawiera tu aż dwie rzeczy:

• „x jest trójkątem prostokątnym”,
• „przyprostokątne są równe”.

Kontrprzykład musi spełniać oba warunki jednocześnie. Trójkąt, który ma równe boki, ale nie jest prostokątny, nie wchodzi do gry.

Krok 3: Zapisz wyraźnie wniosek Q(x)

Teraz bierzesz część „po przecinku” – to, co ma być prawdą, gdy warunek P(x) jest spełniony. Często dobrze jest Q(x) przepisać własnymi słowami albo zapisać symbolicznie.

Przykład:

„Jeśli liczba naturalna n jest większa od 10, to n² jest większe od 20.”

Q(n): „n² > 20”. Rozpisanie tego wprost sprawia, że od razu widzisz, co powinno się nie udać, gdy znajdziesz kontrprzykład.

Krok 4: Zbuduj kontrprzykład z definicji negacji

Teraz używasz tego, co już było: negacja zdania „dla każdego x, jeśli P(x), to Q(x)” brzmi: „istnieje x, takie że P(x) i nie-Q(x)”. To jest przepis na kontrprzykład:

1. Weź x, dla którego P(x) jest prawdą,
2. sprawdź, czy da się tak dobrać x, żeby Q(x) było fałszywe.

Można to potraktować jak dwa checklisty przy jednym kandydacie:

• czy „to coś” na pewno spełnia wszystkie wymagania P?
• czy naprawdę łamie Q?

Jeśli obie odpowiedzi brzmią „tak” – masz kontrprzykład.

Krok 5: Zastosuj strategię „od najprostszych przypadków”

Gdy nie wiadomo, od czego zacząć, najlepsza strategia to: zaczynaj od małych i prostych obiektów. Zamiast patrzeć na ogromne liczby czy skomplikowane figury, sprawdź:

• małe liczby: 0, 1, 2, 3, 4, 5, 6…
• szczególne przypadki figur: kwadraty, równoramienne, równoboczne, prostokątne, „skrajne” kąty,
• proste funkcje: liniowe, stałe, potęgowe typu x², x³.

Załóżmy, że ktoś mówi:

„Każda liczba naturalna większa od 1 jest podzielna przez 2 lub przez 3.”

Nie szukasz od razu wielkich potęg, tylko idziesz po kolei: 2, 3, 4, 5, 6, 7… Szybko zauważysz, że 5 nie jest podzielna ani przez 2, ani przez 3 – kontrprzykład gotowy.

Często wystarczy 10–15 sekund „przeklikania” prostych przypadków, żeby znaleźć przykład, który wszystko rozsypuje.

Krok 6: „Pobaw się granicami” – szukaj przypadków skrajnych

Jeśli proste przykłady nie wystarczają, przydaje się myślenie o skrajnościach:

• „najmniejsze możliwe” (np. najmniejsza liczba dodatnia),
• „największe możliwe” w danym opisie (np. największy kąt w trójkącie),
• „prawie równe” – dwa boki prawie takie same, liczby prawie równe.

Przykład geometryczny:

„Każdy trójkąt, w którym jeden kąt jest większy od 60°, ma pole większe od 1.”

Jak to zbić? Możesz zrobić trójkąt z bardzo krótkimi bokami, np. wszystkimi długościami bardzo bliskimi zera, ale tak dobranymi, by jeden kąt był ciut większy niż 60°. Pole będzie wtedy śmiesznie małe, zdecydowanie < 1. To jest myślenie graniczne: „kąt spełnia warunek, ale resztę parametrów robię ekstremalnie małą”.

Krok 7: Zastanów się, czy autor nie pominął jakiegoś warunku

W ogromnej liczbie zadań szkolnych „fałszywe twierdzenia” wynikają z tego, że ktoś zapomniał dopisać pewnego warunku. Kontrprzykład to świetny sposób, by pokazać, czego zabrało.

Przykład:

„Jeśli funkcja ma pochodną w każdym punkcie, to jest rosnąca.”

Tu brak warunku „pochodna jest dodatnia”. Kontrprzykład: funkcja stała f(x) = 5. Ma pochodną w każdym punkcie (równą 0), ale nie jest rosnąca. Znalezienie takiego przykładu pokazuje, że trzeba doprecyzować warunek.

Typowe strategie konstruowania kontrprzykładów

Z liczbami: testowanie małych, „brzydkich” i granicznych

Przy liczbach dobrze działają trzy mini-strategie:

1. Małe liczby – 0, 1, 2, 3, 4, 5…
2. Liczby „brzydkie” – ułamki, liczby ujemne, pierwiastki, liczby niewymierne.
3. Granice – bardzo duże liczby, „prawie 0”, „prawie nieskończoność”.

Załóżmy, że ktoś twierdzi:

„Dla każdej liczby rzeczywistej x zachodzi x² ≥ x.”

Zaczynasz od małych: 0 (0² = 0, działa), 1 (1² = 1, działa), 2 (4 ≥ 2, działa). Potem myślisz: „A może wezmę coś między 0 a 1?”. Spróbuj x = 1/2. Wtedy x² = 1/4, a 1/4 ≥ 1/2 jest fałszywe. Kontrprzykład: x = 1/2.

Z geometrią: rysowanie „nietypowych” figur

W geometrii pierwszym narzędziem jest rysunek. Nie chodzi o dzieło sztuki – kilka kresek ołówkiem wystarczy. Szukając kontrprzykładu, „rozciągaj” i „zgniataj” figury w wyobraźni albo na kartce:

• zmieniaj proporcje boków – jeden bardzo długi, drugi bardzo krótki,
• zbliżaj kąty do 0° albo 180° (ale tak, żeby wciąż powstał trójkąt),
• przesuwaj wierzchołki coraz bliżej siebie.

Twierdzenie do zbicia:

„W każdym trójkącie, w którym dwa boki są równe, przeciwległe do nich kąty też są równe.”

Kontrprzykład geometryczny: rozciąganie aż coś pęknie

Najpierw naszkicuj zwykły trójkąt równoramienny – dwa boki równe, trzeci inny. Wiesz z geometrii, że wtedy kąty przy podstawie są równe. Teraz zmieniamy tekst zdania na trochę inną wersję:

„W każdym trójkącie, w którym dwa kąty są równe, przeciwległe do nich boki też są równe.” – to jest prawdziwe.

Ale:

„W każdym trójkącie, w którym dwa boki są równe, przeciwległe do nich kąty też są równe.” – tu wystarczy, że ktoś niezgrabnie użyje słowa „przeciwległe” i już robi się niejasno. Możesz „zepsuć” rysunek, zaznaczając kąty nie przy podstawie, tylko przy równych bokach, i dostać coś, co wcale nie musi być równe. To dobry przykład, że kontrprzykład pomaga nie tylko obalać fałsze, ale i czyścić język: doprecyzowuje, co dokładnie autor miał na myśli.

Jeśli czujesz, że w zdaniu geometrycznym jest bałagan w słowach („naprzeciwko”, „przy”, „między”), rysunek i próba znalezienia kontrprzykładu bardzo szybko pokazują, gdzie boli.

Z funkcjami: bawienie się prostymi wykresami

Przy funkcjach dobra strategia to zaczynać od kilku „ulubionych zabawek”:

• funkcje liniowe: f(x) = ax + b,
• funkcje stałe: f(x) = c,
• proste potęgi: x², x³, √x (na sensownym przedziale),
• funkcje „złamane”: np. inne wzory po lewej i po prawej stronie zera.

Załóżmy, że ktoś mówi:

„Jeśli funkcja jest rosnąca, to jej wykres przecina każdą prostą poziomą co najwyżej raz.”

Masz w pamięci funkcję stałą f(x) = 5. Czy jest rosnąca? Nie. Więc ten przykład nic nie mówi. Spróbuj czegoś innego:

„Jeśli funkcja ma dodatnią pochodną w każdym punkcie, to jest rosnąca.” – to akurat prawda (przy sensownych założeniach).

Ale:

„Jeśli funkcja jest rosnąca, to ma dodatnią pochodną w każdym punkcie.” – tu już czujesz, że da się wcisnąć „złamany” wykres.

Bierzesz funkcję:

f(x) = |x|

Na prawo od zera rośnie, na lewo od zera maleje, w zerze pochodnej nie ma w ogóle. Możesz pójść jeszcze prościej:

f(x) = 
  0,   dla x < 0
  x,   dla x ≥ 0

Ta funkcja jest nierosnąca (nie maleje), ale w zerze ma „złamany” wykres, a i tak w wielu sformułowaniach ze szkolnych zadań tworzy świetny kontrprzykład do zbyt optymistycznych twierdzeń o pochodnych.

Łączenie strategii: liczby + funkcje + geometria

Czasem najłatwiejszy kontrprzykład powstaje wtedy, gdy połączysz dwie dziedziny. Ktoś może powiedzieć:

„Jeśli funkcja opisuje wzrost zarobków w czasie, to jest rosnąca.”

Brzmi rozsądnie, ale wyobraź sobie osobę, która ma premię raz w roku, a między premiami zarabia tyle samo. Jej zarobki w funkcji czasu są:

• stałe przez większość roku,
• skokowo rosną, gdy dostaje podwyżkę.

Wykres: poziome odcinki (brak wzrostu), a potem nagły skok w górę. Matematycznie: funkcja niemalejąca, ale nie ściśle rosnąca. Taki przykład łączy:

• intuicję z życia,
• wykres jako obiekt geometryczny,
• rachunek funkcyjny (monotoniczność).

Kontrprzykłady tego typu uczą, żeby nie mylić „nie maleje” z „rośnie” oraz „nie rośnie” z „maleje”. Niby drobiazg językowy, a matematycznie różnica jak między „drzwi są zamknięte” a „drzwi są zamknięte na klucz”.

Klasyczne kontrprzykłady, które warto znać

Liczby niewymierne: pierwiastek z 2 i jego przyjaciele

Wiele fałszywych przekonań o liczbach pada, gdy wprowadzisz do gry liczby niewymierne. Kod „klasyczny kontrprzykład” ma tu kilka bohaterów:

• √2, √3, π, e,
• suma albo iloczyn takich liczb z wymiernymi.

Weź zdanie:

„Jeśli liczba ma nieskończone rozwinięcie dziesiętne, to jest niewymierna.”

Przeciwwaga: 1/3 = 0,3333… (nieskończone, ale okresowe rozwinięcie). Liczba jest wymierna. Kontrprzykład prosty, a przy okazji porządkuje pojęcia: „nieskończone” to nie to samo co „nieuporządkowane”.

Inne popularne, mylące zdanie:

„Suma dwóch liczb niewymiernych jest niewymierna.”

Kontrprzykład, który warto mieć w głowie:

√2 + (2 − √2) = 2

Lewa strona: suma dwóch niewymiernych (√2 i 2 − √2). Prawa: liczba wymierna. Taki przykład wchodzi do „kanonu” kontrprzykładów: gdy tylko słyszysz zdanie o sumach czy iloczynach niewymiernych, od razu przypominasz go sobie jak starą anegdotę.

Klasyk topologiczny w małej skali: odcinek kontra okrąg

Na bardziej zaawansowanym poziomie trafia się zdanie:

„Jeśli zbiór jest ograniczony, to jest domknięty.”

W przestrzeni rzeczywistej prawdziwe jest co innego: „zwarty” oznacza „domknięty i ograniczony”. Samo ograniczenie nie wystarczy.

Kontrprzykład bardzo prosty:

• zbiór: (0, 1) – odcinek otwarty,
• jest ograniczony (wszystkie punkty leżą między 0 a 1),
• ale nie jest domknięty (brak punktów 0 i 1).

Ten przykład jest jak śrubokręt w kieszeni: mały, ale pasuje do setek sytuacji, w których ktoś zapomina o różnicy między „ograniczony” a „domknięty”.

Funkcja ciągła kontra różniczkowalna: |x| w roli gwiazdy

Jeden z najbardziej znanych kontrprzykładów w analizie:

„Jeśli funkcja jest ciągła, to ma pochodną.”

Oczywiście to zdanie jest fałszywe. Od razu wskakują:

• f(x) = |x|,
• funkcje w rodzaju f(x) = x^(2/3),
• funkcje łamane z ostrym „zagięciem”.

Zostawmy egzotykę. Weź f(x) = |x|:

• funkcja jest ciągła w każdym punkcie,
• ale w x = 0 nie jest różniczkowalna: lewa i prawa pochodna nie zgadzają się.

Ten kontrprzykład robi ogromną robotę. Po pierwsze, uczy, że ciągłość to za mało, by mieć pochodną. Po drugie, przypomina, że wykres może wyglądać „ładnie” gołym okiem, a mimo to mieć subtelne ostre miejsca, w których rachunek różniczkowy się potyka.

Funkcja z „dziurą”: ciągłość nie bierze się znikąd

Inne często powtarzane błędne przekonanie brzmi:

„Jeśli wzór funkcji jest prosty, to funkcja jest ciągła.”

Klasyczny kontrprzykład:

f(x) = (x² − 1) / (x − 1)

Na pierwszy rzut oka – zwykła funkcja. Po uproszczeniu:

f(x) = x + 1

Problem w tym, że wyjściowy wzór nie jest zdefiniowany w x = 1 (dzielenie przez zero). W praktyce:

• dla x ≠ 1: f(x) zachowuje się jak prosta y = x + 1,
• w x = 1 – mamy „dziurę” w wykresie.

To bardzo wygodny kontrprzykład, gdy ktoś zbyt szybko orzeka ciągłość albo równość funkcji na podstawie przekształceń algebraicznych. Pokazuje, że trzeba patrzeć nie tylko na wzór, ale też na dziedzinę.

Kontrprzykład do „domysłu z kilku przykładów”: liczba pierwsza po liczbie pierwszej

Czasem uczeń policzy kilka przykładów i ogłasza twierdzenie:

„Liczba 2ⁿ − 1 jest pierwsza dla każdego naturalnego n.”

Sprawdza:

• n = 2 → 2² − 1 = 3 – pierwsza,
• n = 3 → 2³ − 1 = 7 – pierwsza,
• n = 4 → 2⁴ − 1 = 15 – ups, 3 · 5.

Kontrprzykład: n = 4. Dla wielu osób to pierwsze spotkanie z faktem, że kilka poprawnych przykładów niczego jeszcze nie dowodzi. Idealny moment, żeby nauczyć się myślenia „szukam kontrprzykładu” zamiast „dopasowuję świat do swoich trzech obliczeń”.

Paradoksalnie dobre przybliżenia: „to zawsze działa w praktyce”

Czasem słyszysz coś w stylu:

„Jeśli w losowo wybranej próbce 100 osób nikogo nie ma z daną cechą, to w całej populacji ta cecha nie występuje.”

To już zahacza o statystykę, ale idea kontrprzykładu jest ta sama. Wyobraź sobie rzadkie schorzenie, które występuje u 1 osoby na 1000. Łatwo dobrać próbkę 100 osób, w której akurat nikogo takiego nie będzie, a mimo to w całej populacji jest mnóstwo takich osób.

Tego typu przykłady uczulają na zdania typu „zawsze” oparte na jednym eksperymencie czy jednym wykresie. Kontrprzykład może pochodzić z innej sytuacji życiowej, innej grupy, innej skali – byle spełniał warunek P i obalał wniosek Q.

Pseudotwierdzenia o zbiorach: podzbiory i sumy

Przy operacjach na zbiorach często pojawia się:

„Jeśli A ⊂ B, to liczność A jest mniejsza niż liczność B.”

W świecie zbiorów skończonych – tak. Ale gdy przechodzimy do zbiorów nieskończonych, robi się ciekawie. Klasyczny kontrprzykład (w stylu Cantora):

• A – zbiór liczb naturalnych: {1, 2, 3, 4, …},
• B – zbiór liczb parzystych: {2, 4, 6, 8, …}.

Zbiór B jest podzbiorem A, ale istnieje bijekcja między A i B (np. n ↦ 2n). W sensie teorii mnogości mają tę samą moc. To kontrprzykład, który pokazuje, że przenoszenie intuicji ze zbiorów skończonych na nieskończone bywa zdradliwe.

„Zawsze dodatnia” pochodna i monotoniczność na wycinkach

Jeszcze jedno często spotykane (fałszywe) przekonanie:

„Jeśli pochodna funkcji jest dodatnia prawie wszędzie, to funkcja jest rosnąca.”

„Prawie wszędzie” to słowo, które zapala czerwoną lampkę. Jest znany kontrprzykład funkcji, która:

• ma pochodną równą 0 prawie wszędzie,
• jest jednak ściśle rosnąca.

To tzw. funkcja Cantora – technicznie dość złożona, ale jako kontrprzykład pokazuje coś ważnego: nawet bardzo naturalnie brzmiące uogólnienia („prawie wszędzie” zamiast „wszędzie”) mogą być fałszywe. Jeśli słyszysz takie złagodzenie warunku, od razu myśl: „Czy da się skonstruować potworka, który będzie łamał to twierdzenie?”.

Prosty kontrprzykład do „intuicji powierzchni”: papier i prostokąty

Na koniec klasyczna pułapka geometryczno-intuicyjna:

„Jeśli dwa prostokąty mają ten sam obwód, to mają tę samą powierzchnię.”

Weź obwód 20. Możesz mieć:

• prostokąt 4 × 6 – obwód 20, pole 24,
• prostokąt 1 × 9 – obwód też 20, pole 9.

Obwód ten sam, pola różne. Kontrprzykład pokazuje, że jedna „miara” (obwód, długość, czas) nie wystarczy, by kontrolować inną (pole, objętość, zużycie). W praktyce to rozbija wiele uproszczonych stwierdzeń, np. w ekonomii („taki sam budżet reklamowy → takie same efekty”) czy fizyce („taki sam czas → taka sama droga”).

Najczęściej zadawane pytania (FAQ)

Co to jest kontrprzykład w matematyce? Prosta definicja

Kontrprzykład to jeden, konkretny przykład, który pokazuje, że jakieś ogólne twierdzenie nie jest zawsze prawdziwe. Gdy ktoś mówi „każda liczba…”, „zawsze…”, „nigdy…”, kontrprzykład jest jak szpilka, która przebija ten nadmuchany balon.

Przykład: zdanie „Każda liczba parzysta jest podzielna przez 4” obala liczba 6. Jest parzysta, ale nie dzieli się przez 4 bez reszty. Wystarczy ten jeden przypadek, żeby całe ogólne twierdzenie upadło.

Jak znaleźć kontrprzykład do danego twierdzenia?

Najpierw zwróć uwagę na słowa-klucze: „dla każdego”, „każdy”, „zawsze”, „nigdy”, „żaden”. Gdy je widzisz, zadaj sobie pytanie: „Czy potrafię wymyślić choć jeden przypadek, który się w to nie wpisuje?”. Szukasz sytuacji, w której spełnione są założenia, ale nie działa wniosek.

W praktyce dobrze działa strategia „szukam najprostszych liczb/figur, które mogą się nie udać”. Zamiast kombinować z wielkimi liczbami, sprawdź małe: 0, 1, 2, 3, 4…, proste trójkąty, najłatwiejsze funkcje. Często kontrprzykład siedzi właśnie w tych najbardziej oczywistych przypadkach.

Kiedy kontrprzykład działa, a kiedy nie da się go użyć?

Kontrprzykład działa przy zdaniach ogólnych, czyli takich, które mówią o „wszystkich” przypadkach. Typowe formuły to: „dla każdej liczby…”, „każdy trójkąt…”, „nigdy nie istnieje…”. Tu jeden przykład niepasujący do reguły wystarczy, żeby ją obalić.

Nie zadziała natomiast przy zdaniach w stylu „niektóre liczby…”, „czasem się zdarza, że…”, „istnieje liczba, która…”. Takie zdanie już z definicji dopuszcza wyjątki, więc pojedynczy przykład zwykle je potwierdza, a nie podważa.

Czym różni się kontrprzykład od dowodu ogólnego?

Kontrprzykład pokazuje, że twierdzenie jest fałszywe, ale tylko tyle. Nie mówi, kiedy działa, a kiedy nie – jedynie wskazuje, że „nie zawsze”. To jak znalezienie jednego mostu, który pękł przy 27 tonach, choć ktoś twierdził, że wszystkie mosty wytrzymują 30 ton.

Dowód ogólny robi coś odwrotnego: pokazuje, że dane twierdzenie działa we wszystkich dopuszczalnych przypadkach. Zamiast jednego przykładu „psuj-zabawa” potrzebujesz wtedy argumentu, który obejmie nieskończenie wiele możliwości jednocześnie.

Jak używać kontrprzykładu w codziennych rozmowach, a nie tylko na matematyce?

Gdy ktoś w rozmowie mówi: „wszyscy uczniowie…”, „nigdy nam się nie udaje…”, „każdy polityk…”, możesz w głowie poszukać jednego kontrprzykładu. Znajdujesz jedną osobę, jedno zdarzenie, które nie pasuje – i już wiesz, że wypowiedź jest zbyt mocno uogólniona.

Nie zawsze musisz ten kontrprzykład wypowiadać na głos, ale takie „wewnętrzne sprawdzanie” świetnie trenuje myślenie krytyczne. Z czasem automatycznie filtrujesz przesadzone stwierdzenia w reklamach, mediach czy dyskusjach.

Jak rozpoznać, że dane twierdzenie warto sprawdzić kontrprzykładem?

Dobrą lampką ostrzegawczą są słowa: „dla każdego”, „zawsze”, „wszystkie”, „każde”, „nigdy”, „żaden”, „nie istnieje”. Jeśli takie wyrażenia się pojawiają, to sygnał: „spróbuj znaleźć choć jeden wyjątek”. Zwłaszcza w zadaniach szkolnych często właśnie o to chodzi.

Z kolei słowa „niektóre”, „bywa, że”, „zdarza się, że”, „istnieje” sugerują, że autor świadomie nie uogólnia wszystkiego. Wtedy kontrprzykład zwykle nie ma sensu – trzeba raczej szukać przykładu potwierdzającego, a nie obalającego twierdzenie.

Jakie są klasyczne przykłady kontrprzykładów w matematyce w szkole?

W szkolnej matematyce przewijają się pewne „hity”, które często wykorzystuje się jako kontrprzykłady. Dzięki nim łatwiej złapać ideę:

• „Każda liczba parzysta jest podzielna przez 4” – kontrprzykład: 2, 6, 10…
• „Nigdy nie da się podzielić liczby naturalnej przez mniejszą tak, żeby wynik był naturalny” – kontrprzykład: 6 : 3 = 2.
• „Każdy trójkąt o dwóch równych bokach jest równoboczny” – kontrprzykład: zwykły trójkąt równoramienny.
• „Każde równanie kwadratowe ma dwa różne pierwiastki rzeczywiste” – kontrprzykład: x² = 0 albo x² + 1 = 0.

Po kilku takich przykładach mózg sam zaczyna pytać: „Czy na pewno zawsze?” – i dokładnie o to chodzi w umiejętności szukania kontrprzykładu.

Najważniejsze wnioski

• Jeden dobrze dobrany kontrprzykład wystarczy, by obalić mocne twierdzenie z „zawsze”, „każdy”, „nigdy” – jak szpilka przebijająca nadmuchany balon.
• Udowodnienie, że coś działa „zawsze”, wymaga ogólnego, często trudnego dowodu, natomiast pokazanie, że „nie zawsze” – często sprowadza się do znalezienia jednego konkretnego przypadku, który się psuje.
• Kontrprzykłady działają nie tylko w matematyce; w codziennych rozmowach rozbrajają przesadzone uogólnienia typu „wszyscy uczniowie…”, „nigdy nie zdążymy…”, „każdy polityk…”.
• Myślenie w trybie „czy potrafię wymyślić kontrprzykład?” to praktyczne narzędzie krytycznego myślenia – pomaga odróżniać mocne twierdzenia od pustych deklaracji i reklamowych obietnic.
• Sygnałem, że kontrprzykład może zadziałać, są słowa: „dla każdego”, „zawsze”, „wszystkie/każde”, „nigdy”, „żaden” – wtedy opłaca się szukać jednego przypadku łamiącego regułę.
• Logicznie kontrprzykład ma postać: znajdź obiekt, dla którego warunek jest spełniony, a wniosek już nie (P(x) prawdziwe, Q(x) fałszywe) albo obiekt, który istnieje, mimo że ktoś twierdzi, że żaden taki nie istnieje.
• Kontrprzykład nie obala zdań typu „niektóre…”, „istnieje…” – tam pojedynczy przykład raczej potwierdza twierdzenie, więc „miazga kontrprzykładem” dotyczy przede wszystkim zdań ogólnych.