Indukcja matematyczna to metoda dowodzenia, która pozwala wykazać, że pewne zdanie jest prawdziwe dla każdej liczby całkowitej od pewnego miejsca. Aby udowodnić tezę dla wszystkich , pokazujesz, że pierwszy przypadek jest prawdziwy, a następnie że prawdziwość dla jednej liczby całkowitej wymusza prawdziwość dla kolejnej.
Jeśli oba te elementy są poprawne, zdanie zachodzi dla każdej liczby całkowitej z podanego zakresu. Na tym polega cała idea.
Jak działa indukcja matematyczna
Zapisz tezę jako . Wtedy indukcja ma następującą strukturę:
- Udowodnij bazę indukcji: pokaż, że jest prawdziwe.
- Udowodnij krok indukcyjny: pokaż, że jeśli jest prawdziwe dla dowolnej liczby całkowitej , to także jest prawdziwe.
Gdy wykonasz oba kroki, możesz stwierdzić, że jest prawdziwe dla każdej liczby całkowitej .
Ta logika jest sekwencyjna. Baza indukcji rozpoczyna cały łańcuch, a krok indukcyjny przesuwa go dalej, o jedną liczbę całkowitą naraz.
Dlaczego baza indukcji i krok indukcyjny są jednakowo ważne
Baza indukcji daje ci pierwsze prawdziwe zdanie. Krok indukcyjny mówi, że prawdziwość przechodzi z jednej liczby całkowitej na następną.
Jeśli więc jest prawdziwe, to prawdziwe jest także . Następnie prawdziwe jest i tak dalej. Indukcja nie pomija punktu startowego i nie pomija przejścia od jednego przypadku do następnego.
Przykład: dowód wzoru na sumę za pomocą indukcji
Standardowym przykładem jest wzór
dla wszystkich liczb całkowitych .
Niech
Baza indukcji
Weźmy . Lewa strona wynosi , a prawa strona to
Zatem jest prawdziwe.
Krok indukcyjny
Załóżmy, że jest prawdziwe dla pewnej dowolnej liczby całkowitej . To znaczy, że
Teraz udowodnijmy . Zacznijmy od lewej strony dla :
Korzystając z założenia indukcyjnego, otrzymujemy
Wyłączmy przed nawias:
Następnie upraszczamy:
To jest dokładnie ten sam wzór dla . Zatem jest prawdziwe.
Ponieważ udowodniliśmy zarówno bazę indukcji, jak i krok indukcyjny, wzór zachodzi dla wszystkich liczb całkowitych .
Kiedy stosować indukcję matematyczną
Indukcja jest przydatna wtedy, gdy zdanie zależy od parametru całkowitego, a każdy przypadek w naturalny sposób łączy się z wcześniejszym. Często dzieje się tak przy sumach, twierdzeniach o podzielności, nierównościach, relacjach rekurencyjnych i dowodach dotyczących algorytmów.
Najpierw ustal poprawną wartość początkową. Niektóre tezy zaczynają się od , inne od , a jeszcze inne mają sens dopiero dla większych liczb całkowitych.
Następnie sprawdź, jaki jest kolejny dopuszczalny przypadek. Zwykle przechodzi się od do , ale jeśli zdanie dotyczy tylko liczb parzystych, właściwą wersją może być przejście od do .
Typowe błędy w dowodach indukcyjnych
Udowodnienie tylko bazy indukcji
Baza indukcji sprawdza tylko pierwszą wartość. Sama w sobie nie dowodzi prawdziwości zdania dla kolejnych liczb całkowitych.
Użycie niewłaściwej wartości początkowej
Jeśli teza ma zachodzić dla wszystkich , to udowodnienie jedynie nic nie daje. Baza indukcji musi odpowiadać rzeczywistemu zakresowi tezy.
Nieostrożne traktowanie założenia indukcyjnego
W kroku indukcyjnym zakładasz prawdziwość dla jednej dowolnej liczby całkowitej z dopuszczalnego zakresu. Nie zakładasz, że całe twierdzenie zostało już udowodnione.
Udowodnienie niewłaściwego następnego przypadku
Jeśli twoje twierdzenie wymaga kroku , to udowodnienie innego przejścia nie kończy rozumowania, chyba że wyjaśnisz, dlaczego to inne przejście wystarcza.
Przydatne rozszerzenie: indukcja zupełna
Czasami do udowodnienia potrzeba czegoś więcej niż tylko . W takiej sytuacji indukcja zupełna pozwala założyć prawdziwość wszystkich wcześniejszych przypadków aż do , a następnie udowodnić kolejny.
Idea jest bardzo podobna, ale założenie jest silniejsze. To przydaje się na przykład wtedy, gdy dowód opiera się na rozkładzie liczby na mniejsze części.
Spróbuj samodzielnie
Weź tezę
i udowodnij ją dla wszystkich liczb całkowitych , używając tej samej struktury: najpierw baza indukcji, a potem przejście od do . Jeśli potrafisz zapisać ten dowód jasno i poprawnie, metoda zwykle staje się intuicyjna.
Potrzebujesz pomocy z zadaniem?
Prześlij pytanie i otrzymaj zweryfikowane rozwiązanie krok po kroku w kilka sekund.
Otwórz GPAI Solver →