Dowody algebraiczne

Wyobraź sobie, że budujesz most z jednej strony rzeki na drugą. Lewy brzeg to założenia, prawy brzeg to teza, a każde przekształcenie algebraiczne jest kolejnym mocnym przęsłem. Jeśli choć jedno przęsło nie ma uzasadnienia, cały dowód traci pewność.

Konkret: czym jest dowód algebraiczny?

• To ciąg logicznie uzasadnionych przekształceń wyrażeń, równań lub nierówności.
• Każdy krok musi wynikać z wcześniejszego kroku albo ze znanej własności.
• Dowód nie polega na sprawdzeniu kilku przykładów.
• Teza musi być wykazana dla wszystkich obiektów spełniających założenia.

Reprezentacja: trzy części dowodu

• Założenia mówią, co wolno przyjąć.
• Rozumowanie zawiera kolejne przekształcenia i uzasadnienia.
• Teza jest zdaniem, które ostatecznie otrzymujemy.

Abstrakcja: najczęstsze narzędzia

• Wyłączanie wspólnego czynnika przed nawias.
• Stosowanie wzorów skróconego mnożenia.
• Sprowadzanie wyrażeń do wspólnego mianownika.
• Dodawanie lub odejmowanie tej samej wartości po obu stronach.
• Mnożenie lub dzielenie obu stron przez liczbę różną od zera.
• Wykorzystywanie definicji parzystości, nieparzystości i podzielności.
• Zapisywanie liczby parzystej jako 2k, a nieparzystej jako 2k+1.

FAJNY TRIK EDUKACYJNY

Zapamiętaj akronim D-O-W-Ó-D: Dane zapisz, Określ tezę, Wybierz narzędzie, Ów krok uzasadnij, Domknij wniosek. W pałacu pamięci wchodzisz do laboratorium. Przy drzwiach leżą DANE, na stole świeci TEZA, na ścianie wiszą narzędzia algebraiczne, a każdy nieuzasadniony krok uruchamia ogromną syrenę. Na końcu robot stawia pieczęć „co należało dowieść” dopiero wtedy, gdy wszystkie ogniwa łańcucha są połączone.

Przykład krok po kroku: suma dwóch kolejnych liczb nieparzystych

Udowodnij, że suma dwóch kolejnych liczb nieparzystych jest podzielna przez 4.

• Niech pierwsza liczba nieparzysta ma postać 2k+1.
• Kolejna liczba nieparzysta ma postać 2k+3.
• Ich suma wynosi (2k+1)+(2k+3)=4k+4.
• Wyłączamy 4 przed nawias: 4k+4=4(k+1).
• Otrzymaliśmy wielokrotność 4, więc suma jest podzielna przez 4.

Przykład krok po kroku: kwadrat liczby nieparzystej

Udowodnij, że kwadrat liczby nieparzystej jest nieparzysty.

• Niech liczba nieparzysta ma postać 2k+1.
• Podnosimy ją do kwadratu: (2k+1)².
• Korzystamy ze wzoru: (2k+1)²=4k²+4k+1.
• Grupujemy: 4k²+4k+1=2(2k²+2k)+1.
• Wyrażenie ma postać 2m+1, więc jest nieparzyste.

Przykład krok po kroku: tożsamość algebraiczna

Udowodnij, że (a+b)²−(a−b)²=4ab.

• Rozwijamy pierwszy kwadrat: a²+2ab+b².
• Rozwijamy drugi kwadrat: a²−2ab+b².
• Odejmujemy całe drugie wyrażenie.
• Otrzymujemy a²+2ab+b²−a²+2ab−b².
• Redukujemy wyrazy podobne: 4ab.

Przykład krok po kroku: nierówność

Udowodnij, że dla każdej liczby rzeczywistej x zachodzi x²+1≥2x.

• Przenosimy wszystko na jedną stronę: x²−2x+1≥0.
• Rozpoznajemy wzór skróconego mnożenia: (x−1)²≥0.
• Kwadrat każdej liczby rzeczywistej jest nieujemny.
• Zatem nierówność jest prawdziwa dla każdego x.

Jak planować dowód?

• Przeczytaj dokładnie założenia i tezę.
• Zastanów się, jaka postać algebraiczna pasuje do pojęcia z zadania.
• Przy podzielności szukaj wspólnego czynnika.
• Przy parzystości używaj postaci 2k lub 2k+1.
• Przy nierównościach próbuj uzyskać kwadrat albo sumę wyrażeń nieujemnych.
• Przy tożsamościach przekształcaj jedną stronę do drugiej.

Najczęstsze błędy

• Sprawdzenie tylko kilku przykładów zamiast dowodu ogólnego.
• Rozpoczynanie od tezy i wykonywanie nieodwracalnych kroków bez komentarza.
• Dzielenie przez wyrażenie, które może być równe zero.
• Pomijanie nawiasu przy odejmowaniu całego wyrażenia.
• Brak informacji, skąd pochodzi zapis 2k lub 2k+1.
• Kończenie obliczeń bez wyjaśnienia, dlaczego wynik dowodzi tezy.

Kontrola poprawności

• Czy użyto wszystkich potrzebnych założeń?
• Czy każdy krok jest równoważny albo wyraźnie uzasadniony?
• Czy nie wykonano dzielenia przez zero?
• Czy argument dotyczy wszystkich dopuszczalnych wartości?
• Czy ostatni krok rzeczywiście jest tezą?

Najczęstsze pytania