Dowód nie wprost pojawia się dokładnie w tym momencie, gdy standardowe, „wprost” rozumowanie zaczyna grzęznąć. Twierdzenie wygląda na oczywiste, intuicja mówi „przecież to jasne”, ale każdy próg formalnego dowodu blokuje się na którymś kroku. Metoda nie wprost pozwala wtedy odwrócić perspektywę: zamiast na siłę szukać bezpośredniego argumentu, przyjmuje się wersję przeciwną i sprawdza, czy jest w ogóle możliwa.
W tle jest różnica między luźnym przekonaniem a ścisłym uzasadnieniem. „Na pewno nie istnieje taka liczba”, „to jest niemożliwe” – takie zdania padają często, ale w matematyce nie wystarczą. Dowód nie wprost jest sposobem przejścia od tego typu przeczucia do pełnej argumentacji, którą można krok po kroku zweryfikować.
Rozumowanie „bo inaczej byłoby absurdalnie”
W życiu codziennym podobne rozumowanie pojawia się częściej, niż się wydaje. Kilka prostych przykładów:
Wracasz do domu i nie ma kluczy w kieszeni. W drzwiach nie tkwią, na stole ich nie ma. Zakładasz, że może jednak są w kieszeni, przeszukujesz ją dokładnie i widzisz, że to założenie prowadzi do absurdu (pusta kieszeń). Konkluzja: kluczy w kieszeni nie ma.
Ktoś mówi, że „wszyscy spóźnili się na spotkanie”. Przypominasz sobie, że ty przyszedłeś punktualnie. Założenie „wszyscy się spóźnili” jest sprzeczne z faktem „ja się nie spóźniłem”. Konkluzja: wypowiedź była fałszywa.
To są nieformalne, życiowe miniatury dowodu nie wprost. Zakłada się coś mocnego („wszyscy”, „na pewno to tu zostawiłem”) i sprawdza, czy da się to pogodzić z innymi informacjami. Jeśli nie – wersja zostaje odrzucona.
Gdzie w szkolnej matematyce pojawia się dowód nie wprost
W programie szkoły średniej dowód nie wprost występuje zwykle w kilku miejscach:
logika zdań – ćwiczenia z rozumowania przez sprzeczność,
teoria liczb – własności liczb parzystych, nieparzystych, podzielności, istnienie/nieważność pewnych liczb,
geometria – zadania typu „pokaż, że taka konfiguracja punktów jest niemożliwa”,
analiza – przykłady z liczbami rzeczywistymi (brak najmniejszej liczby dodatniej, brak największej liczby mniejszej od zera itp.).
Na egzaminach maturalnych i zaliczeniach akademickich metoda ta zwykle pojawia się w zadaniach z dopiskiem „wykaż, że”, „udowodnij, że nie istnieje…”, „pokaż, że jeżeli…, to…”. Często jest jednym z oczekiwanych sposobów rozwiązania, choć nie zawsze jako jedyny możliwy.
Różnica między „czuję, że to prawda” a dowodem
Odczucie prawdziwości twierdzenia bywa dobrym punktem wyjścia, ale samo w sobie nie ma mocy matematycznego dowodu. Dowód nie wprost pomaga tę intuicję sformalizować. Schemat wygląda następująco:
Intuicja: „wydaje się, że to twierdzenie jest prawdziwe”.
Próba dowodu wprost: próba dojścia od założeń do wniosku – czasem się nie udaje.
Zmiana kierunku: założenie, że wniosek jest fałszywy.
Analiza: czy to założenie da się pogodzić z resztą wiedzy, definicjami, aksjomatami?
Jeśli nie – wyjściowe twierdzenie musi być prawdziwe, bo jego zaprzeczenie prowadzi do sprzeczności.
Siła tej metody polega na tym, że nie wymaga znalezienia pozytywnej „ścieżki dojścia” od założeń do wniosku. Wystarczy wykazać, że żadna spójna rzeczywistość, zgodna z przyjętymi zasadami, nie może wyglądać tak, jak opisywałoby zaprzeczenie twierdzenia.
Dowód nie wprost bazuje na kilku prostych pojęciach logicznych. Bez dostatecznie jasnego rozróżnienia między nimi część stresu wynika po prostu z mętnego języka.
Zdanie logiczne to wypowiedź, która jest albo prawdziwa, albo fałszywa (nie ma trzeciej możliwości). Przykłady:
„2 jest liczbą parzystą” – zdanie prawdziwe,
„5 jest większe od 10” – zdanie fałszywe,
„x > 3” – samo w sobie nie jest zdaniem, dopóki nie wiadomo, co to x; po podstawieniu np. x=5 robi się zdaniem.
Twierdzenie to zdanie logiczne, które zostało (lub ma zostać) udowodnione na bazie przyjętych aksjomatów, definicji i wcześniej znanych faktów. Twierdzenie jest kandydatem do dowodu.
Założenie (w kontekście konkretnego zadania) to zdanie, które przyjmujemy jako prawdziwe w ramach rozumowania. Może to być:
warunek z treści zadania („dana jest liczba naturalna n podzielna przez 4”),
przyjęta hipoteza twierdzenia („jeżeli liczba n jest parzysta, to…” – część „jeżeli” staje się założeniem dowodu),
oraz – w dowodzie nie wprost – dodatkowe, tymczasowe założenie sprzeczne z tym, co chcemy udowodnić.
Wniosek to zdanie, które logicznie wynika z założeń. W schemacie „jeżeli p, to q” zdanie q jest wnioskiem przy założeniu p. W dowodzie nie wprost postępuje się tak samo – też wyciąga się wnioski – tylko startuje się z nieco innych założeń (w tym z założenia sprzecznego z tezą).
Spójniki logiczne, które naprawdę są potrzebne
W zdecydowanej większości dowodów nie wprost, na poziomie szkoły średniej, wystarczą cztery spójniki logiczne:
„i” (koniunkcja): zdanie „p i q” jest prawdziwe wtedy i tylko wtedy, gdy obie części p i q są prawdziwe;
„lub” (alternatywa): zdanie „p lub q” jest prawdziwe, jeśli prawdziwe jest przynajmniej jedno z p, q;
„jeżeli…, to…” (implikacja): „jeżeli p, to q” oznacza, że w każdym przypadku, gdy p jest prawdziwe, q też musi być prawdziwe;
„nieprawda, że…” (negacja): oznacza zaprzeczenie zdania.
Dla jasności przydaje się prosta tabela prawdy pokazująca, kiedy występuje typowa sprzeczność p i nie-p.
p
¬p (nieprawda, że p)
p i ¬p
Prawda
Fałsz
Fałsz
Fałsz
Prawda
Fałsz
Kolumna „p i ¬p” jest zawsze fałszywa – właśnie to wyraża zasadę niesprzeczności. Nie ma sytuacji, w której zdanie i jego zaprzeczenie byłyby równocześnie prawdziwe. W dowodzie nie wprost dąży się właśnie do pojawienia się czegoś w rodzaju „p i nie-p” (w różnej, często ukrytej postaci).
„Jeżeli p, to q” a „p wtedy i tylko wtedy, gdy q”
Dwie często mylone konstrukcje:
„jeżeli p, to q” – oznacza: z prawdy p wynika prawda q. Nie mówi nic wprost o sytuacji, gdy p jest fałszywe;
„p wtedy i tylko wtedy, gdy q” – oznacza dwa kierunki naraz: „jeżeli p, to q” i „jeżeli q, to p”.
W kontekście dowodu nie wprost kluczowe jest poprawne zanegowanie takich zdań. Dla schematyczności dobrze zestawić kilka typowych przypadków.
Rodzaj zdania
Postać zdania
Poprawna negacja
Implikacja
Jeżeli p, to q
p i nie-q
Koniunkcja
p i q
nie-p lub nie-q
Alternatywa
p lub q
nie-p i nie-q
Równoważność
p wtedy i tylko wtedy, gdy q
(p i nie-q) lub (nie-p i q)
To właśnie te reguły negowania będą potrzebne, gdy w dowodzie nie wprost przyjdzie skonstruować założenie „przeciwnie”, czyli zaprzeczenie tezy. Błędne zanegowanie jest jednym z najczęstszych źródeł chaosu.
Pojęcie sprzeczności w praktyce
W szkolnej matematyce sprzeczność przyjmuje kilka typowych postaci:
Sprzeczność rachunkowa – równość typu „2=3”, „5<4 i 7<5” itp. Widać od razu, że to nie może być prawdziwe;
Sprzeczność z definicją – np. „n jest liczbą parzystą i nieparzystą jednocześnie”, „trójkąt ma cztery boki”;
Sprzeczność z wcześniejszym, pewnym twierdzeniem – np. z aksjomatem, definicją, znaną własnością (jak „miara kąta wewnętrznego trójkąta jest większa niż 180°” w geometrii euklidesowej);
Sprzeczność geometryczna – rysunek/konfiguracja, której nie da się narysować zgodnie z przyjętymi założeniami.
Każda z tych form jest równoważna: oznacza, że z przyjętych założeń (w tym z założenia „przeciwnie”) wynikło coś niemożliwego. Taki moment kończy zasadniczą część dowodu nie wprost.
Intuicja dowodu nie wprost – o co chodzi z „załóż, że przeciwnie”
Mechanizm „gdyby to było fałszywe…”
Standardowy dowód wprost wygląda schematycznie tak: przyjmij założenia z treści zadania, korzystając z definicji i znanych twierdzeń, krok po kroku wyprowadź wniosek. W dowodzie nie wprost początek jest inny: oprócz zwykłych założeń przyjmuje się jeszcze jedno, dodatkowe – że twierdzenie, które ma zostać udowodnione, jest fałszywe.
Na przykład: trzeba wykazać, że nie istnieje najmniejsza dodatnia liczba rzeczywista. Zamiast od razu konstruować dowód, przyjmuje się przeciwną wersję: „istnieje najmniejsza dodatnia liczba rzeczywista” i sprawdza, czy taka wizja świata jest do utrzymania. Jeśli prowadzi do absurdu – wyjściowe twierdzenie zostaje obronione.
Psychologicznie budzi to czasem opór: „jak to, mam założyć, że to, co chcę udowodnić, jest fałszywe?”. Logicznie jest to jednak całkowicie bezpieczne, bo założenie „przeciwnie” obowiązuje tylko w ramach rozumowania przez sprzeczność. Po znalezieniu sprzeczności jest odrzucane.
Dlaczego szukamy sprzeczności, a nie potwierdzenia
W potocznym myśleniu często szuka się raczej potwierdzeń („skoro X, to jeszcze Y, Z, więc pewnie mam rację”). Problem w tym, że potwierdzenia bywają zwodnicze – można znaleźć je również dla fałszywych hipotez. Matematykę buduje się inaczej: zamiast ciągnąć w nieskończoność łańcuch „zgodnych” z twierdzeniem obserwacji, szuka się mocniejszego kryterium – czy zaprzeczenie twierdzenia jest w ogóle spójne z przyjętym aparatem pojęć.
Jeżeli okaże się, że zaprzeczenie:
koliduje z definicją,
łamie znane twierdzenie,
prowadzi do równości niemożliwej do spełnienia,
to nie trzeba już gromadzić „dowodów” za tezą. Wystarczy fakt, że jej zaprzeczenie jest nie do utrzymania. To jest sedno dowodu nie wprost.
Zasada niesprzeczności jako oparcie całej metody
Całe rozumowanie stoi na jednym fundamentalnym założeniu logiki klasycznej: nie może być tak, że dane zdanie jest prawdziwe i jednocześnie fałszywe. Formalnie: nie istnieje sytuacja, w której prawdziwe jest „p i nie-p”.
W dowodzie nie wprost przebieg jest co do zasady następujący:
Przyjmujemy zaprzeczenie tezy: „nie-p”.
Razem z innymi założeniami (definicjami, własnościami) wyprowadzamy z tego „p”.
Co dokładnie „psuje się” przy sprzeczności
Jeżeli z założeń, w tym z założenia „przeciwnie”, uda się wyprowadzić zarówno zdanie p, jak i jego zaprzeczenie nie-p, to cały pakiet założeń staje się nie do utrzymania. Gdyby bowiem był spójny, nie prowadziłby do niemożliwej konfiguracji „p i nie-p”.
Logicznie rzecz ujmując, w takim układzie musi zawierać się co najmniej jedno fałszywe zdanie. Cała metoda dowodu nie wprost polega na wskazaniu, które to jest zdanie: tym „podejrzanym” jest właśnie zaprzeczenie tezy. Pozostałe składniki (definicje, znane twierdzenia, reguły rachunkowe) przyjmuje się jako pewne, więc to zaprzeczenie twierdzenia zostaje odrzucone jako źródło sprzeczności.
Nie oznacza to, że z samego faktu pojawienia się sprzeczności da się od razu odtworzyć cały łańcuch rozumowania. Wystarcza jednak świadomość, że jeżeli zaprzeczenie twierdzenia prowadzi do absurdu, to samo twierdzenie nie może być fałszywe. Tym samym musi być prawdziwe – przy założeniu, że operujemy w klasycznej logice, opartej na zasadzie niesprzeczności.
Jak to wygląda „od środka” w prostej sytuacji
Dla porządku warto prześledzić minimalny szkielet takiego rozumowania:
Wykorzystanie „nie-p” razem z innymi pewnymi faktami.
Wyprowadzenie z tego „p” lub czegoś równoważnego „p”.
Konstatacja: mamy jednocześnie „p” i „nie-p”.
Wniosek: założenie „nie-p” nie może być prawdziwe, więc p jest prawdziwe.
Na papierze zwykle nie wypisuje się wszystkich tych kroków w tak rozbudowanej formie. W praktyce pojawia się po prostu dopisek typu: „otrzymaliśmy sprzeczność, zatem nasze założenie jest fałszywe, czyli teza jest prawdziwa”. Kluczowe jest jednak zrozumienie, co się za tym skrótem myślowym kryje.
Źródło: Pexels | Autor: Yan Krukau
Ogólny schemat dowodu nie wprost – przepis w czterech etapach
Etap 1: Dokładne zapisanie tezy i jej zaprzeczenia
Punkt wyjścia to precyzyjne ujęcie tego, co ma zostać udowodnione. Im staranniej przeprowadzi się ten krok, tym mniej problemów pojawi się później.
Najpierw formułuje się tezę w języku zdań logicznych: z użyciem „jeżeli…, to…”, „dla każdego…”, „istnieje…”, „nieprawda, że…” itd.
Następnie konstruuje się jej zaprzeczenie, stosując reguły negowania omawiane wcześniej (implikacji, alternatywy, kwantyfikatorów).
Przykładowo:
Teza: „dla każdej liczby naturalnej n parzystość n² jest taka sama jak parzystość n”.
Zaprzeczenie: „istnieje liczba naturalna n, dla której parzystość n² jest inna niż parzystość n”.
Na tym etapie nie prowadzi się jeszcze żadnych rachunków. Chodzi tylko o poprawne skonstruowanie zdania „przeciwnie”. Często właśnie tutaj popełnia się błąd: zanegowanie jest intuicyjne, ale niezgodne z formalnymi regułami.
Etap 2: Przyjęcie założenia „przeciwnie” i rozwinięcie go rachunkowo
Gdy zaprzeczenie tezy jest już jasno zapisane, przyjmuje się je jako założenie w dowodzie. W praktyce wygląda to zwykle tak: „przypuśćmy nie wprost, że… (tu pojawia się zaprzeczenie tezy)”. Od tego momentu traktuje się je dokładnie tak, jak każde inne założenie w dowodzie wprost.
Kolejny krok to jego rozwinięcie z wykorzystaniem definicji i znanych twierdzeń. W zadaniach liczbowych oznacza to przejście do zapisu algebraicznego. Na przykład:
„n jest parzysta” – zapisuje się jako „n = 2k dla pewnej liczby całkowitej k”;
„n jest podzielna przez 3 i 5” – jako „n = 15k dla pewnej liczby całkowitej k”;
„istnieje najmniejsza dodatnia liczba rzeczywista x o własności …” – jako „istnieje liczba rzeczywista x > 0 o tej własności i dla każdej liczby rzeczywistej y > 0 o tej własności mamy y ≥ x”.
Ten etap ma charakter „techniczny”: trzeba zinterpretować słowa „parzysta”, „podzielna”, „najmniejsza”, „większa od” w języku równań, nierówności i konstrukcji typu „dla każdego…, istnieje…”.
Etap 3: Wykorzystanie standardowych narzędzi aż do pojawienia się sprzeczności
Na tym etapie dowód nie wprost wraca, co do zasady, do zwykłych metod znanych z dowodu wprost. Używa się rachunku algebraicznego, własności nierówności, prostych faktów o liczbach pierwszych, twierdzeń geometrycznych – dokładnie tego, co jest dopuszczalne w danym kontekście.
Różnica tkwi w celu: zamiast dążyć bezpośrednio do tezy, dąży się do czegoś niemożliwego. Typowe scenariusze to:
otrzymanie równości sprzecznej z porządkiem liczb (np. „2 = 3”, „5 < 4”);
otrzymanie własności wykluczającej się z definicją (np. liczba „parzysta i nieparzysta”);
sprzeczność z wcześniej udowodnionym twierdzeniem (np. z twierdzeniem o ilości liczb pierwszych);
w geometrii: niemożliwa konfiguracja długości lub kątów wynikająca z rysunku.
Nie zawsze od razu widać, jaki rodzaj sprzeczności stanie się dostępny. Czasem dopiero rachunek sugeruje, do czego można „doprowadzić” założenie przeciwnie. Zwykle jednak można mieć w pamięci jeden lub dwa potencjalne cele: w zadaniach liczbowych często chodzi o sprzeczność parzystości, podzielności albo znanych nierówności.
Etap 4: Jasne „zamknięcie” dowodu
Gdy sprzeczność zostanie już wyprowadzona, pozostaje sformalizować wniosek. Warto to robić w sposób uporządkowany, wskazując, co dokładnie poszło nie tak:
„Otrzymaliśmy, że … (tu podaje się sprzeczne zdanie, np. 2=3 albo ‘n jest parzysta i nieparzysta’)”.
„Jest to sprzeczne z … (np. definicją parzystości, wcześniejszym twierdzeniem, oczywistą nierównością)”.
„Zatem nasze założenie, że … (zaprzeczenie tezy), jest fałszywe”.
„W związku z tym teza jest prawdziwa”.
Ten końcowy akapit pełni dwie funkcje. Po pierwsze, sygnalizuje osobie czytającej, że rozumowanie zostało domknięte i nie jest to tylko „ciekawa obserwacja”, lecz pełny dowód. Po drugie, porządkuje strukturę: wiadomo, które zdanie było jedynie roboczą hipotezą, a które jest ostatecznym wnioskiem.
Proste przykłady z logiki i liczb – pierwsze oswojenie metody
Przykład 1: Nie istnieje liczba naturalna między n a n+1
Na rozgrzewkę klasyczna własność liczb naturalnych, która wydaje się oczywista, ale dobrze nadaje się do ćwiczenia metody.
Teza. Dla każdej liczby naturalnej n nie istnieje liczba naturalna m taka, że n < m < n+1.
Krok 1: Teza i jej zaprzeczenie.
Teza (w formie logicznej): „dla każdego n ∈ ℕ nie istnieje m ∈ ℕ takie, że n < m < n+1”.
Zaprzeczenie: „istnieje n ∈ ℕ oraz istnieje m ∈ ℕ takie, że n < m < n+1”.
Krok 2: Założenie „przeciwnie”. Przypuśćmy nie wprost, że istnieją liczby naturalne n, m spełniające nierówność n < m < n+1.
Krok 3: Rozwinięcie rachunkowe. Nierówność n < m oznacza, że m ≥ n+1 (dla liczb naturalnych nie ma „półprzedziału” między n a n+1). Z drugiej strony m < n+1 oznacza, że m ≤ n. Mamy więc jednocześnie:
m ≥ n+1,
m ≤ n.
Z tych dwóch nierówności wynika m ≥ n+1 oraz m ≤ n, czyli m ≥ n+1 i m ≤ n. To prowadzi do wniosku, że n+1 ≤ n. A to jest sprzeczne z podstawową własnością liczb naturalnych: n+1 jest zawsze większe od n.
Krok 4: Zakończenie. Otrzymana nierówność n+1 ≤ n jest niemożliwa dla liczb naturalnych. Zatem nasze założenie, że istnieje m ∈ ℕ takie, że n < m < n+1, jest fałszywe. W konsekwencji teza jest prawdziwa: nie ma liczby naturalnej pomiędzy n a n+1.
Przykład 2: Liczba całkowita z kwadratem parzystym jest parzysta
Teraz przykład, w którym pojawia się praca z definicją parzystości i prosty rachunek algebraiczny.
Teza. Jeżeli liczba całkowita n ma kwadrat parzysty, to sama liczba n jest parzysta.
Krok 1: Teza i jej zaprzeczenie.
Teza (implikacja): „jeżeli n² jest parzyste, to n jest parzyste”.
Zaprzeczenie (zgodnie z tabelą negacji): „n² jest parzyste i n nie jest parzyste”. Czyli: „n² jest parzyste i n jest nieparzyste”.
Krok 2: Założenie „przeciwnie” w zapisie algebraicznym.
Przypuśćmy nie wprost, że istnieje liczba całkowita n taka, że:
n² jest parzyste,
n jest nieparzyste.
Nieparzystość n zapisujemy standardowo jako n = 2k+1 dla pewnej liczby całkowitej k.
Krok 3: Rachunek prowadzący do sprzeczności.
Skoro n = 2k+1, to:
n² = (2k+1)² = 4k² + 4k + 1 = 2(2k² + 2k) + 1.
Prawa strona ma postać „2·(liczba całkowita) + 1”, więc n² jest nieparzyste. Tymczasem z założenia „przeciwnie” n² jest parzyste. Mamy zatem jednocześnie:
„n² jest parzyste”,
„n² jest nieparzyste”.
To jest sprzeczność z definicją parzystości i nieparzystości – żadna liczba całkowita nie może mieć obu tych własności naraz.
Krok 4: Zakończenie. Ponieważ założenie „n² jest parzyste i n jest nieparzyste” prowadzi do sprzeczności, musi być fałszywe. Wobec tego prawdziwa jest implikacja: „jeżeli n² jest parzyste, to n jest parzyste”.
Przykład 3: Nie istnieje najmniejsza dodatnia liczba wymierna
Klasyczny przykład, który dobrze pokazuje pracę z wyrażeniem „najmniejszy” oraz z liczbami wymiernymi.
Teza. Nie istnieje najmniejsza dodatnia liczba wymierna.
Krok 1: Teza i jej zaprzeczenie.
Teza: „dla każdej dodatniej liczby wymiernej istnieje inna dodatnia liczba wymierna mniejsza od niej” – to jedna z równoważnych form.
Zaprzeczenie: „istnieje najmniejsza dodatnia liczba wymierna q”. Formalizując: istnieje q > 0, q wymierne, takie że dla każdej dodatniej liczby wymiernej r mamy r ≥ q.
Krok 2: Założenie „przeciwnie”. Przypuśćmy nie wprost, że istnieje najmniejsza dodatnia liczba wymierna q.
Krok 3: Konstruowanie liczby „jeszcze mniejszej”.
Skoro q jest dodatnia i wymierna, to liczba q/2 również jest dodatnią liczbą wymierną. Ponadto q/2 < q (dzielenie przez 2 liczby dodatniej zmniejsza ją o połowę). Mamy więc konkretny przykład dodatniej liczby wymiernej mniejszej od q.
To pozostaje w sprzeczności z tym, że q miała być najmniejsza spośród dodatnich liczb wymiernych: według założenia nie powinno istnieć nic dodatniego i wymiernego poniżej q, a jednak q/2 taką liczbą jest.
Krok 4: Zakończenie. Otrzymaliśmy sprzeczność: z jednej strony q jest najmniejsza, z drugiej – znaleziono dodatnią liczbę wymierną q/2 mniejszą od q. Zatem założenie o istnieniu najmniejszej dodatniej liczby wymiernej jest fałszywe. Stąd wynika, że żadna taka liczba nie istnieje.
Przykład 4: Liczba √2 jest niewymierna
To jedno z najbardziej znanych zastosowań dowodu nie wprost. Dobrze ilustruje pracę z definicją liczby wymiernej.
Teza. Liczba √2 nie jest liczbą wymierną.
Przykład 5: Liczba √2 jest niewymierna – dowód nie wprost krok po kroku
Teraz przejście do pełnego, klasycznego dowodu niewymierności √2. Technicznie nie jest on trudny, ale wymaga spokojnego przejścia przez definicję liczby wymiernej oraz przez rachunek z parzystością.
Teza. Liczba √2 nie jest liczbą wymierną.
Krok 1: Teza i jej zaprzeczenie.
Teza: „√2 jest niewymierna”, czyli nie można jej przedstawić w postaci ułamka p/q, gdzie p, q są liczbami całkowitymi, q ≠ 0.
Zaprzeczenie: „√2 jest wymierna”, czyli istnieją liczby całkowite p, q, q ≠ 0, takie że √2 = p/q.
Dodatkowo standardowo zakłada się, że ułamek p/q jest skrócony, to znaczy p i q nie mają wspólnych dzielników większych niż 1. Taki zapis zawsze można osiągnąć przez skrócenie ułamka.
Krok 2: Założenie „przeciwnie” w postaci równania.
Przypuśćmy nie wprost, że √2 jest wymierna. Zatem istnieją liczby całkowite p, q, q ≠ 0, takie że:
√2 = p/q, przy czym ułamek p/q jest skrócony.
Podnosząc obie strony do kwadratu, otrzymujemy:
2 = p²/q²,
czyli po przemnożeniu przez q²:
2q² = p².
Krok 3: Analiza parzystości.
Równanie 2q² = p² oznacza, że p² jest liczbą parzystą (jest dwa razy jakiejś liczby całkowitej). Z wcześniejszego przykładu wiadomo: jeżeli kwadrat liczby całkowitej jest parzysty, to sama liczba jest parzysta. Zatem p jest parzyste. Zapiszmy więc:
p = 2k dla pewnej liczby całkowitej k.
Podstawiając tę postać do równania 2q² = p², mamy:
2q² = (2k)² = 4k².
Dzieląc obie strony przez 2, dostajemy:
q² = 2k².
Z tego wynika, że q² również jest parzyste, a więc q jest parzyste (znowu korzystamy z wcześniej udowodnionego faktu o kwadracie liczby).
Mamy więc wniosek:
p jest parzyste,
q jest parzyste.
Krok 4: Sprzeczność z „ułamkiem skróconym”.
Jeżeli p i q są parzyste, to obie liczby są podzielne przez 2, a więc mają wspólny dzielnik większy niż 1. W takim razie ułamek p/q nie jest skrócony. Tymczasem na początku założyliśmy, że p/q jest ułamkiem w najprostszej postaci. Powstaje zatem sprzeczność:
„p/q jest ułamkiem skróconym”,
„p/q nie jest ułamkiem skróconym” (bo licznik i mianownik dzielą się przez 2).
Krok 5: Zakończenie. Założenie, że √2 jest wymierna i można ją zapisać w postaci skróconego ułamka p/q, doprowadziło do sprzeczności. Zatem to założenie jest fałszywe, a liczba √2 jest niewymierna.
Przykład 6: Nieskończenie wiele liczb pierwszych – szkic dowodu nie wprost
Dowód nieskończonej liczby liczb pierwszych ma wersję całkowicie elementarną, również zbudowaną jako rozumowanie nie wprost. Tu pojawia się jeszcze inny rodzaj sprzeczności: z założoną „listą wszystkich” obiektów.
Teza. Istnieje nieskończenie wiele liczb pierwszych.
Krok 1: Teza i jej zaprzeczenie.
Teza: „jest nieskończenie wiele liczb pierwszych”.
Zaprzeczenie: „jest tylko skończenie wiele liczb pierwszych”.
Jeśli liczb pierwszych byłoby skończenie wiele, można by je wszystkie wypisać:
p₁, p₂, …, pₙ.
To ma być cała lista liczb pierwszych, żadnej innej pierwszej liczby nie ma.
Krok 2: Założenie „przeciwnie” i konstrukcja liczby.
Przypuśćmy nie wprost, że istnieje dokładnie n liczb pierwszych i są to p₁, p₂, …, pₙ. Rozważmy liczbę
N = p₁·p₂·…·pₙ + 1.
Jest to liczba większa od wszystkich p₁, …, pₙ (iloczyn jest duży, a jeszcze dodajemy 1).
Krok 3: Analiza podzielności.
Każda liczba naturalna większa od 1 jest albo pierwsza, albo złożona. W przypadku N rozważmy podzielność przez dowolną z liczb p₁, …, pₙ.
Jeżeli podzielimy N przez p₁, to:
N = p₁·(p₂·…·pₙ) + 1,
zatem reszta z dzielenia N przez p₁ wynosi 1 – liczba N nie dzieli się więc bez reszty przez p₁. Dokładnie tę samą obserwację można powtórzyć dla każdego pᵢ:
N daje resztę 1 przy dzieleniu przez p₁,
N daje resztę 1 przy dzieleniu przez p₂,
…
N daje resztę 1 przy dzieleniu przez pₙ.
Wnioski są dwa i oba są problematyczne dla założenia „skończona liczba liczb pierwszych”:
Jeśli N jest liczbą pierwszą, to jest to liczba pierwsza inna niż wszystkie p₁, …, pₙ (bo jest od nich większa). Mamy więc liczbę pierwszą nieobecną na „pełnej liście”.
Jeśli N jest liczbą złożoną, to ma dzielnik pierwszy. Nie może nim być żadna z liczb p₁, …, pₙ (N nie dzieli się przez żadną z nich), więc istnieje inna liczba pierwsza, która również nie jest na liście.
W każdej z tych dwóch sytuacji uzyskujemy nową liczbę pierwszą spoza założonego zbioru p₁, …, pₙ.
Krok 4: Zakończenie. Założenie o istnieniu skończonej listy wszystkich liczb pierwszych prowadzi do skonstruowania liczby N, która wymusza istnienie kolejnej liczby pierwszej spoza tej listy. To jest sprzeczne z założeniem „więcej liczb pierwszych nie ma”. Zatem liczby pierwsze nie mogą się „skończyć”, a więc jest ich nieskończenie wiele.
Przykład 7: Przynajmniej dwie liczby w zbiorze – prosty przykład logiczny
Dowód nie wprost dobrze sprawdza się także w zadaniach typowo logicznych, gdzie trzeba wykazać istnienie pewnego obiektu w zbiorze.
Teza. Niech S będzie zbiorem zawierającym co najmniej dwie różne liczby naturalne. Wtedy w S istnieją dwie liczby a, b takie, że a < b.
Stwierdzenie wydaje się oczywiste, ale przeprowadzenie go jako dowodu nie wprost to dobre ćwiczenie z negowania zdań egzystencjalno-uniwersalnych.
Krok 1: Teza i jej zaprzeczenie.
Teza: „istnieją a, b ∈ S takie, że a < b”.
Zaprzeczenie: „dla każdych a, b ∈ S nie zachodzi a < b”.
„Nie zachodzi a < b” oznacza, że a ≥ b. Zaprzeczenie tezy można więc zapisać:
„dla każdych a, b ∈ S mamy a ≥ b”.
Krok 2: Założenie „przeciwnie”.
Przyjmijmy nie wprost, że dla każdych dwóch elementów a, b zbioru S zachodzi a ≥ b. Jednocześnie S zawiera co najmniej dwie różne liczby naturalne, czyli istnieją a₀, b₀ ∈ S takie, że a₀ ≠ b₀.
Krok 3: Wykorzystanie założenia dla konkretnej pary.
Skoro założenie ma dotyczyć „każdych” a, b, to szczególnie dotyczy pary (a₀, b₀). Dostajemy więc:
a₀ ≥ b₀.
Z drugiej strony założenie musi dotyczyć także pary (b₀, a₀), więc mamy:
b₀ ≥ a₀.
Razem z tych dwóch nierówności wynika, że a₀ = b₀. Tymczasem z warunku „co najmniej dwie różne liczby naturalne” wynika, że a₀ ≠ b₀. Pojawia się więc sprzeczność:
„a₀ = b₀”,
„a₀ ≠ b₀”.
Krok 4: Zakończenie. Założenie, że w S dla każdych a, b zachodzi a ≥ b, nie może być prawdziwe, ponieważ prowadzi do wniosku sprzecznego z istnieniem dwóch różnych elementów w zbiorze. W konsekwencji prawdziwa jest teza: istnieją a, b ∈ S takie, że a < b.
Przykład 8: Warunek konieczny w funkcjach – brak pierwiastków poza przedziałem
W analizie często trzeba sprawdzić, że funkcja nie ma rozwiązań równania f(x) = 0 poza pewnym przedziałem. Dowód nie wprost nadaje się do tego szczególnie dobrze, jeśli funkcja ma wyraźne ograniczenia wartości.
Zastosujmy prostą sytuację, która bywa punktem wyjścia do bardziej zaawansowanych zadań.
Teza. Funkcja f(x) = x² + 1 nie ma pierwiastków rzeczywistych.
Krok 1: Teza i jej zaprzeczenie.
Teza: „dla każdego x ∈ ℝ zachodzi f(x) ≠ 0”.
Zaprzeczenie: „istnieje x ∈ ℝ takie, że f(x) = 0”.
Krok 2: Założenie „przeciwnie”.
Przyjmijmy nie wprost, że istnieje liczba rzeczywista x₀ taka, że f(x₀) = 0. Oznacza to:
x₀² + 1 = 0.
Krok 3: Analiza równania.
Przekształćmy równanie:
x₀² = −1.
Dla liczb rzeczywistych zachodzi jednak podstawowa własność: x² ≥ 0 dla każdego x ∈ ℝ. Kwadrat liczby rzeczywistej nigdy nie jest ujemny. Po lewej stronie równania x₀² jest więc liczbą nieujemną, a po prawej widnieje −1, liczba ujemna. Otrzymujemy stwierdzenie:
„x₀² jest jednocześnie ≥ 0 i = −1”.
A to jest niemożliwe: liczba równa −1 nie może być ≥ 0.
Krok 4: Zakończenie. Założenie, że istnieje x₀ ∈ ℝ spełniające x₀² + 1 = 0, prowadzi do sprzeczności z faktem, że kwadrat liczby rzeczywistej jest nieujemny. Zatem nie istnieje rzeczywista liczba x, dla której x² + 1 = 0, czyli funkcja f(x) = x² + 1 nie ma pierwiastków rzeczywistych.
Przykład 9: Nierówność trójkąta – zarys dowodu nie wprost
W geometrii euklidesowej nierówność trójkąta jest jednym z podstawowych narzędzi. Da się ją także przedstawić jako rozumowanie nie wprost. Posłużmy się prostszą wersją, skoncentrowaną na jednym boku.
Teza. W dowolnym trójkącie o bokach a, b, c zachodzi nierówność c < a + b.
Krok 1: Teza i jej zaprzeczenie.
Teza: „dla każdego trójkąta o bokach a, b, c zachodzi c < a + b”.
Zaprzeczenie: „istnieje trójkąt o bokach a, b, c taki, że c ≥ a + b”.
W standardowej geometrii euklidesowej przyjmuje się, że boki trójkąta są dodatnie i spełniają klasyczne zależności długości. Rozumowanie nie wprost zakłada więc istnienie „trójkąta”, który te zależności łamie.
Krok 2: Założenie „przeciwnie”.
Przypuśćmy nie wprost, że istnieje trójkąt o bokach a, b, c taki, że c ≥ a + b.
Krok 3: Interpretacja geometryczna.
Wyobraźmy sobie, że na odcinku o długości c chcemy „położyć” kolejno odcinek a i odcinek b tak, aby ich końce się połączyły. Jeśli c ≥ a + b, to łączna długość a + b nie jest większa od c. W skrajnym przypadku a + b = c odcinki a i b tworzą jedną prostą, bez „zagięcia”.
W efekcie punkty będące końcami boków trójkąta leżą na jednej prostej. Konfiguracja, w której wszystkie trzy wierzchołki leżą na jednej prostej, nie jest trójkątem w sensie klasycznej definicji (figura nie ma dodatniego pola, „zapada się” do odcinka).
Powstaje sprzeczność: z jednej strony zakładamy istnienie trójkąta, z drugiej – z relacji długości wynika, że taka figura nie spełnia definicji trójkąta (trzy punkty współliniowe).
Najczęściej zadawane pytania (FAQ)
Co to jest dowód nie wprost w matematyce?
Dowód nie wprost (dowód przez sprzeczność) to metoda, w której przyjmuje się na chwilę, że teza, którą chcemy udowodnić, jest fałszywa. Następnie, krok po kroku, wyprowadza się z tego założenia wnioski, aż pojawi się sprzeczność z definicją, znanym faktem albo z samym założeniem.
Jeśli z założenia „teza jest fałszywa” wynika absurd, to znaczy, że to założenie nie może być prawdziwe. W konsekwencji teza musi być prawdziwa. Cała sztuka polega na poprawnym sformułowaniu zaprzeczenia tezy i logicznym dochodzeniu do sprzeczności.
Kiedy stosuje się dowód nie wprost w zadaniach szkolnych?
Dowód nie wprost stosuje się zwykle wtedy, gdy próba „normalnego” dowodu wprost się zacina. W praktyce szkolnej pojawia się szczególnie w zadaniach z teorii liczb (parzystość, podzielność, istnienie liczb o pewnych własnościach), w geometrii (pokazanie, że pewna konfiguracja jest niemożliwa) oraz przy zadaniach z liczbami rzeczywistymi (np. brak najmniejszej liczby dodatniej).
Na egzaminach metoda ta często stoi za poleceniami typu „udowodnij, że nie istnieje…”, „pokaż, że jeżeli…, to…”. Co do zasady nie jest jedyną możliwą metodą, ale bywa najbardziej naturalna, gdy z treści wynika, że pewna sytuacja powinna być niemożliwa.
Jaki jest schemat dowodu nie wprost krok po kroku?
Przydatny jest prosty szablon, który można stosować niemal mechanicznie:
formułujesz dokładnie tezę, którą chcesz udowodnić (najczęściej ma postać „jeżeli p, to q” albo „nie istnieje taka liczba, że…”),
przyjmujesz założenie przeciwne do tezy (zaprzeczenie „q” albo założenie, że taka liczba jednak istnieje),
korzystając z definicji, własności i danych z zadania, wyprowadzasz kolejne wnioski z tego założenia,
dochodzi do sprzeczności: np. równości „2 = 3”, zdania „liczba jest jednocześnie parzysta i nieparzysta” albo faktu sprzecznego z danymi w zadaniu,
wnioskujesz: skoro założenie przeciwne prowadzi do sprzeczności, teza pierwotna musi być prawdziwa.
Kluczowe jest, aby sprzeczność była jednoznaczna – nie „dziwnie wygląda”, ale faktycznie łamie definicję lub prosty fakt logiczny.
Jak poprawnie zanegować zdanie „jeżeli p, to q”?
Negacja zdania „jeżeli p, to q” ma postać „p i nie-q”. Oznacza to, że aby zaprzeczyć implikacji, trzeba założyć, że warunek p jest spełniony, a wniosek q – nie. To najczęstsze miejsce pomyłek: uczniowie często próbują zaprzeczać przez „nie-p i nie-q”, co jest po prostu innym zdaniem, a nie negacją.
Przykład: „Jeżeli liczba n jest parzysta, to n² jest parzysta”. Zaprzeczeniem jest: „n jest parzysta i n² jest nieparzysta”. W dowodzie nie wprost przyjmujemy właśnie taką parę założeń po to, by dojść do sprzeczności z definicją liczb parzystych i nieparzystych.
Jak rozpoznać, że już mam „sprzeczność” w dowodzie nie wprost?
Sprzeczność ma kilka typowych form. W szkole najczęściej pojawiają się:
sprzeczność rachunkowa, np. równość „2 = 3”, „5 < 4”,
sprzeczność z definicją, np. „n jest jednocześnie parzysta i nieparzysta”,
sprzeczność z danymi z zadania, np. z jednej strony „wszyscy spóźnili się na spotkanie”, z drugiej „ja przyszedłem punktualnie”.
W praktyce, jeśli z kolejnych wniosków otrzymujesz zdanie i jego zaprzeczenie („p” oraz „nie-p”) albo równość oczywiście fałszywą, to znaczy, że cel dowodu nie wprost został osiągnięty.
Czym różni się „czuję, że to prawda” od dowodu nie wprost?
Intuicja podpowiada, że coś jest prawdziwe, gdy dane twierdzenie „pasuje” do dotychczasowych doświadczeń i przykładów. Taka intuicja bywa dobrym punktem startu, ale w matematyce nie zastępuje dowodu, bo opiera się na ograniczonej liczbie obserwacji.
Dowód nie wprost pozwala tę intuicję usztywnić. Zamiast „to oczywiste”, przyjmuje się na próbę, że twierdzenie jest fałszywe, i sprawdza, czy da się to pogodzić ze znanymi faktami, definicjami i aksjomatami. Jeśli nie – intuicja zyskuje pełne, formalne uzasadnienie.
Jakie błędy najczęściej popełnia się przy dowodzie nie wprost?
Najczęstsze potknięcia dotyczą logiki, a nie samych obliczeń. Po pierwsze: błędne zanegowanie tezy, zwłaszcza zdań typu „jeżeli p, to q” lub „p lub q”. Po drugie: brak wyraźnego wskazania, gdzie dokładnie pojawia się sprzeczność – uczeń „czuje”, że coś nie gra, ale nie pokazuje konkretnego zdania sprzecznego z definicją lub danymi.
Pojawia się też problem z mieszaniem założeń: do jednego rozumowania dokładane są fakty z innego przypadku. Bez jasnego rozdzielenia, co jest założeniem, a co wnioskiem z tego założenia, łatwo zgubić tok dowodu. Dobrym nawykiem jest zapisywanie osobno: „Załóżmy przeciwnie, że…”, a później wyraźne zaznaczenie: „Sprzeczność: otrzymaliśmy jednocześnie … i …”.
Najważniejsze punkty
Dowód nie wprost stosuje się wtedy, gdy klasyczne rozumowanie „wprost” grzęźnie – zamiast na siłę szukać bezpośredniego argumentu, zakłada się zaprzeczenie tezy i bada, czy da się je pogodzić z resztą faktów.
Metoda nie wprost pozwala przejść od luźnego przekonania („to na pewno prawda”, „taka liczba nie istnieje”) do ścisłego, sprawdzalnego uzasadnienia, opartego na krok po kroku ujawnionej sprzeczności.
W życiu codziennym podobne rozumowanie pojawia się spontanicznie: przyjmujemy mocną hipotezę („klucze są w kieszeni”, „wszyscy się spóźnili”) i odrzucamy ją, gdy zderza się z faktami – to nieformalne miniatury dowodu nie wprost.
W szkole średniej dowód nie wprost przewija się przez kilka działów: logikę, teorię liczb, geometrię i analizę, a w zadaniach egzaminacyjnych często stoi za poleceniami typu „udowodnij, że nie istnieje…”, „pokaż, że jeżeli…, to…”.
Kluczowe jest odróżnianie podstawowych elementów rozumowania: zdania logicznego (ma określoną wartość prawdy), twierdzenia (zdanie przeznaczone do udowodnienia), założenia (przyjmowanego w danym dowodzie, także „na chwilę” na potrzeby sprzeczności) oraz wniosku, który logicznie z tych założeń wynika.
Typowy schemat dowodu nie wprost to: przyjęcie założeń z treści, dodanie założenia przeciwnego do tezy, wyprowadzenie z nich konsekwencji i wykazanie, że prowadzą do sprzeczności z definicjami, aksjomatami albo znanymi faktami.
