Dowód nie wprost — metoda i klasyczny przykład

Dowód nie wprost udowadnia tezę przez założenie przeciwieństwa i pokazanie, że to założenie prowadzi do niemożliwości. Jeśli rozumowanie jest poprawne, a sprzeczność rzeczywista, to pierwotna teza musi być prawdziwa.

Ta metoda jest przydatna wtedy, gdy zaprzeczenie daje coś konkretnego do analizy. Klasyczny przykład to dowód, że $\sqrt{2}$ jest liczbą niewymierną: gdy założysz, że jest wymierna, możesz zapisać ją jako ułamek i prześledzić konsekwencje.

Jak działa dowód nie wprost

Załóżmy, że zdanie, które chcesz udowodnić, to $P$.

W dowodzie nie wprost zaczynasz od założenia, że $P$ jest fałszywe. Następnie rozumujesz na podstawie tego założenia, aż dojdziesz do sprzeczności, takiej jak:

$$1 = 0$$

albo do konfliktu ze znaną definicją lub do zdania, które nie może być jednocześnie prawdziwe z wcześniejszym krokiem.

W tym momencie zaprzeczenie $P$ nie może być poprawne, więc $P$ musi być prawdziwe.

Kluczowy warunek jest taki, że sprzeczność musi wynikać z poprawnego rozumowania i uznanych faktów. Wynik, który tylko wygląda dziwnie, nie wystarczy. Musi być niemożliwy w świetle definicji lub twierdzeń, których używasz.

Kiedy używać dowodu nie wprost

Dowód nie wprost działa najlepiej wtedy, gdy przeciwieństwo tezy ma sztywną strukturę. Często zdarza się to w teorii liczb, dowodach niemożliwości i niektórych pytaniach o istnienie.

Na przykład, jeśli chcesz udowodnić, że liczba jest niewymierna, założenie, że jest wymierna, daje ci postać ułamka do analizy. Ta dodatkowa struktura często sprawia, że sprzeczność łatwiej znaleźć niż w dowodzie bezpośrednim.

Jest mniej przydatny wtedy, gdy istnieje już krótki dowód bezpośredni. Dowód nie wprost jest poprawną metodą, ale powinien rozjaśniać argument, a nie sprawiać, że staje się niepotrzebnie dłuższy.

Przykład: dlaczego $\sqrt{2}$ jest niewymierne

Klasyczny dowód nie wprost pokazuje, że $\sqrt{2}$ jest liczbą niewymierną.

Zacznij od założenia przeciwnego:

$$\sqrt{2} \text{ jest liczbą wymierną.}$$

Gdyby to była prawda, to $\sqrt{2}$ można by zapisać jako

$$\sqrt{2} = \frac{a}{b}$$

gdzie $a$ i $b$ są liczbami całkowitymi, $b \neq 0$, a ułamek jest nieskracalny.

Teraz podnieś obie strony do kwadratu:

$$2 = \frac{a^2}{b^2}$$

więc

$$a^2 = 2b^2.$$

To mówi nam, że $a^2$ jest parzyste. To z kolei wymusza, że $a$ też jest parzyste, ponieważ kwadrat liczby nieparzystej jest nieparzysty. Zatem możemy zapisać

$$a = 2k$$

dla pewnej liczby całkowitej $k$.

Podstaw to do równania $a^2 = 2b^2$:

$$(2k)^2 = 2b^2$$ $$4k^2 = 2b^2$$ $$2k^2 = b^2.$$

Teraz $b^2$ jest parzyste, więc $b$ także jest parzyste.

Ale wtedy zarówno $a$, jak i $b$ są parzyste. To znaczy, że oba są podzielne przez $2$, co przeczy założeniu, że $\frac{a}{b}$ było już zapisane w postaci nieskracalnej.

Zatem pierwotne założenie było fałszywe. Wobec tego $\sqrt{2}$ jest liczbą niewymierną.

Dlaczego ta sprzeczność jest rozstrzygająca

Ta sprzeczność nie polega tylko na tym, że „coś wydaje się nie tak”. Jest konkretna:

1. Założenie mówi, że $\sqrt{2} = \frac{a}{b}$ w postaci nieskracalnej.
2. Przekształcenia algebraiczne pokazują, że zarówno $a$, jak i $b$ muszą być parzyste.
3. Ułamek nie może być jednocześnie nieskracalny i mieć licznik oraz mianownik podzielne przez $2$.

To bezpośrednie zderzenie jest właśnie sprzecznością.

Typowe błędy w dowodzie nie wprost

Jednym z częstych błędów jest zbyt nieprecyzyjne założenie przeciwieństwa. Potrzebujesz rzeczywistego zaprzeczenia zdania, a nie tylko podobnego zdania, które brzmi podobnie.

Innym błędem jest dojście do sprzeczności z powodu niepoprawnego kroku algebraicznego. W takim przypadku sprzeczność dowodzi jedynie, że algebra była błędna, a nie że pierwotna teza była prawdziwa.

Trzeci błąd polega na tym, że nie wskazuje się faktu, z którym zachodzi sprzeczność. Dobre dowody jasno pokazują konflikt: regułę parzystości, definicję, warunek minimalności albo wcześniej udowodnione twierdzenie.

Łatwo też ukryć słabe rozumowanie za zdaniem „to jest sprzeczność”. Jeśli nie potrafisz wskazać dokładnego faktu, który został naruszony, dowód prawdopodobnie jest niepełny.

Prosty schemat dowodu nie wprost

W wielu prostych dowodach struktura wygląda tak:

1. Załóż, że zdanie jest fałszywe.
2. Przekształć to założenie do konkretnej postaci.
3. Krok po kroku wyprowadź konsekwencje.
4. Dojdź do sprzeczności ze znanym faktem.
5. Wywnioskuj, że pierwotne zdanie jest prawdziwe.

Jeśli krok 2 jest słaby, cały dowód zwykle pozostaje niejasny. Najmocniejsze dowody nie wprost często wynikają z przekształcenia zaprzeczenia w coś bardzo konkretnego.

Spróbuj podobnego dowodu nie wprost

Rozważ tezę „nie istnieje najmniejsza dodatnia liczba wymierna”. Załóż, że taka liczba istnieje, nazwij ją $r$, i sprawdź, co dzieje się z $\frac{r}{2}$. Jeśli chcesz prześledzić swoje rozumowanie krok po kroku na podobnym dowodzie, spróbuj własnej wersji w GPAI Solver i porównaj każde twierdzenie ze sprzecznością, do której zmierzasz.