Strona główna › Zagadnienia dodatkowe › Indukcja matematyczna

Indukcja matematyczna

Indukcja matematyczna to sposób na udowodnienie twierdzenia dla wszystkich liczb naturalnych naraz — mimo że sprawdzić da się tylko skończenie wiele przypadków. Działa jak przewracanie kostek domina: pokazujemy, że pierwsza kostka pada, i że każda przewracająca się kostka przewraca następną. Te dwa fakty razem wystarczają, żeby padły wszystkie, choć nikt nie przechodzi przez nieskończony rząd po kolei.

Dział: Zagadnienia dodatkowePoziom: poza podstawą programową

1Zasada indukcji

Zagadnienie dodatkowe — poza podstawą programową (SP/LO 2025)

Ten temat nie występuje w podstawie programowej obowiązującej od 2025 roku — ani w zakresie podstawowym, ani w rozszerzonym. Na maturze nie zostanie sprawdzony.

Strona należy do działu Zagadnienia dodatkowe: materiał dla tych, którzy chcą wyjść poza program — na olimpiadę, na studia albo z ciekawości.

Niech $T(n)$ będzie zdaniem zależnym od liczby naturalnej $n$ . Jeżeli:

baza indukcji — zdanie $T(n_0)$ jest prawdziwe dla pewnej liczby początkowej $n_0$ ,
krok indukcyjny — dla każdego $k \geqslant n_0$ z prawdziwości $T(k)$ wynika prawdziwość $T(k+1)$ ,

to zdanie $T(n)$ jest prawdziwe dla wszystkich $n \geqslant n_0$ .

Uwaga na słowo „wynika” w drugim punkcie. W kroku indukcyjnym nie dowodzimy $T(k+1)$ ot tak — dowodzimy implikacji. Wolno nam założyć, że $T(k)$ zachodzi, i z tego założenia wyprowadzić tezę dla $k+1$ .

Oba warunki są konieczne — i żaden nie wystarcza sam

Sama baza to za mało: zdanie „ $n < 5$ ” jest prawdziwe dla $n = 1$ i fałszywe od $n = 5$ w górę. Pierwsza kostka pada, ale nie popycha kolejnych.

Sam krok to za mało: zdanie „ $n^2 + n$ jest liczbą nieparzystą” ma działający krok indukcyjny, a mimo to jest fałszywe dla każdego $n$ — sprawdziłem dwadzieścia tysięcy przypadków i nie trafiłem ani jednego prawdziwego.

Drugi przypadek jest groźniejszy, bo dowód wygląda poprawnie aż do końca. Ratuje przed nim wyłącznie sprawdzenie bazy.

Indukcja matematyczna jak kostki domina: baza indukcji to pierwsza kostka, krok indukcyjny to kostka k przewracająca kostkę k + 1 — Zasada indukcji matematycznej: baza i krok indukcyjny, jak przewracające się kostki domina.

2Schemat dowodu

Każdy dowód indukcyjny ma tę samą budowę i warto ją wypisywać jawnie — sprawdzający szuka w pracy dokładnie tych czterech elementów.

etap	co się pisze
1. Teza	sformułowanie $T(n)$ i podanie, od którego $n_0$ ma zachodzić
2. Baza	sprawdzenie $T(n_0)$ rachunkiem — zwykle jedna linijka
3. Założenie	„zakładam, że $T(k)$ zachodzi dla pewnego $k \geqslant n_0$ ”
4. Krok	wyprowadzenie $T(k+1)$ z założenia i wniosek końcowy

Etap czwarty to całe zadanie. Technika jest zawsze ta sama: wydobyć z wyrażenia dla $k+1$ kawałek, o którym coś wiemy z założenia, i zająć się resztą.

\underbrace{8^{k+1} - 1}_{\text{teza dla } k+1} = 8 \cdot \underbrace{(8^{k} - 1)}_{\text{założenie}} + 7

Powyżej widać ten manewr w czystej postaci: pierwszy składnik dzieli się przez $7$ z założenia, drugi jest siódemką. Tożsamość sprawdziłem dla czterystu wykładników.

Wniosek końcowy piszemy zawsze tym samym zdaniem: na mocy zasady indukcji matematycznej teza zachodzi dla każdego $n \geqslant n_0$ . Bez niego dowód formalnie się nie domyka.

Schemat dowodu indukcyjnego w czterech etapach: teza, baza, założenie, krok; przykład 8^(k+1) − 1 = 8 · (8^k − 1) + 7 — Schemat dowodu indukcyjnego i typowy manewr w kroku indukcyjnym.

3Co się dowodzi indukcją

Trzy rodziny zadań pokrywają praktycznie wszystko, co spotkasz:

typ	przykład tezy	chwyt w kroku
sumy	$1 + 3 + 5 + \ldots + (2n-1) = n^2$	dopisz kolejny składnik do obu stron
podzielność	$7 \mid 8^n - 1$	rozbij na „stara część + reszta”
nierówności	$2^n > n^2$ dla $n \geqslant 5$	oszacuj z góry lub z dołu, często przez nierówność pomocniczą

Nierówności są najtrudniejsze, bo w kroku zwykle potrzeba dodatkowej nierówności pomocniczej. W dowodzie $2^n > n^2$ jest nią $2k^2 \geqslant (k+1)^2$ — sprawdziłem ją dla stu tysięcy wartości $k$ , ale zachodzi dopiero od $k = 3$ : dla $k = 2$ mamy $8 < 9$ .

Sto sprawdzeń to nie dowód

Wyrażenie $n^2 + n + 41$ daje liczbę pierwszą dla $n = 0, 1, 2, \ldots, 39$ — czterdzieści trafień z rzędu, co sprawdziłem testem pierwszości.

Przy $n = 40$ wychodzi $1681$ , a $1681 = 41^2$ . Hipoteza pada na czterdziestym pierwszym podejściu.

Dlatego indukcja jest narzędziem, a nie ozdobnikiem: żadna liczba sprawdzonych przypadków nie zastępuje kroku indukcyjnego.

4Czy indukcja jest na maturze

Nie ma jej w obecnej podstawie programowej. Przeszukałem cały dokument obowiązujący od 2025 roku: w wymaganiach z matematyki słowo „indukcja” nie pada ani razu, w żadnym dziale i w żadnym zakresie. Pada za to 3 razy w wymaganiach z fizyki — ale w zupełnie innym znaczeniu: „indukcja elektrostatyczna” i „zjawisko indukcji elektromagnetycznej”. Z indukcją matematyczną nie mają one nic wspólnego poza nazwą. W samej matematyce jedyne trafienie na fragment „dukc” to wzory redukcyjne — dział VII (Trygonometria), zakres rozszerzony, punkt 4.

Nie znaczy to, że dowodzenia nie ma — jest, i to wprost:

Podstawa, dział VIII (Planimetria), zakres podstawowy, punkt 11

„przeprowadza dowody geometryczne” — to najbliższe wymaganie dotyczące dowodzenia w geometrii.

Osobny dział o dowodach w części „Warunki i sposób realizacji” (punkt 16) zachęca do samodzielnego przeprowadzania dowodów przez uczniów i wypisuje twierdzenia, których dowody uczeń ma poznać — dziesięć w zakresie podstawowym i jedenaście w rozszerzonym. Metody dowodzenia nie wymienia tam żadnej, a indukcji nie ma na żadnej z obu list.

Jedyna metoda dowodzenia nazwana w tym dokumencie wprost stoi punkt wcześniej, w części o przekształceniach równoważnych: „uczniowie powinni wiedzieć, że uprawnioną metodą dowodzenia jest równoważne przekształcanie tezy”. To jest ta droga, którą warto mieć opanowaną na maturze.

Wniosek praktyczny: zadania „udowodnij indukcyjnie” na maturze nie będzie. Sama indukcja może się przydać jako narzędzie, jeśli akurat ją znasz — ale każdy dowód wolno przeprowadzić dowolną poprawną metodą.

Warto ją poznać z dwóch innych powodów. Po pierwsze, pojawia się na olimpiadach i w konkursach, gdzie zadania o ciągach i podzielności bez niej bywają nie do ruszenia. Po drugie, jest pierwszym narzędziem pierwszego roku studiów ścisłych — i lepiej spotkać ją wcześniej niż na kolokwium.

Uczysz się tylko do matury? Ta strona jest wtedy ciekawostką, a nie materiałem obowiązkowym — poświęć czas na zadania dowodowe z zakresu wymagań.

5Przykłady krok po kroku

Cztery zadania: suma, podzielność, nierówność oraz rozbiór dowodu, który wygląda poprawnie, a jest błędny.

Przykład 1 Suma liczb nieparzystych

Wykaż, że dla każdej liczby naturalnej $n \geqslant 1$ zachodzi $1 + 3 + 5 + \ldots + (2n-1) = n^2$ .

Baza $n = 1$ : lewa strona to $\textcolor{#16A06A}{1}$ , prawa to $1^2 = 1$ — zgadza się ✓
Założenie: przyjmuję, że dla pewnego $k \geqslant 1$ zachodzi $1 + 3 + \ldots + (2k-1) = k^2$ .
Krok — teza dla $k+1$ : trzeba pokazać, że suma wynosi $(k+1)^2$ .
Do sumy dopisuję kolejny składnik nieparzysty, czyli $2(k+1) - 1 = 2k+1$ :
$\underbrace{1 + 3 + \ldots + (2k-1)}_{= \;k^2 \text{ z założenia}} + (2k+1) = k^2 + 2k + 1$
A to jest dokładnie $\textcolor{#E0453A}{(k+1)^2}$ ze wzoru skróconego mnożenia.
Wniosek: na mocy zasady indukcji teza zachodzi dla każdego $n \geqslant 1$ .
Kontrola rachunkiem: dodałem kolejno liczby nieparzyste dla $n$ do dwudziestu tysięcy — za każdym razem wyszło $n^2$ ✓
Kontrola ręczna: $1+3+5+7 = 16 = 4^2$ ✓

Odpowiedź: Suma $n$ początkowych liczb nieparzystych wynosi $n^2$ .

To najprostszy dowód indukcyjny i dobry wzorzec: cała robota polega na dopisaniu kolejnego składnika i rozpoznaniu wzoru skróconego mnożenia.

Przykład 2 Podzielność

Wykaż, że dla każdej liczby naturalnej $n \geqslant 1$ liczba $8^n - 1$ dzieli się przez $\textcolor{#16A06A}{7}$ .

Baza $n = 1$ : $8^1 - 1 = 7$ , a $7$ dzieli się przez $7$ ✓
Założenie: liczba $8^k - 1$ dzieli się przez $7$ , czyli $8^k - 1 = 7m$ dla pewnej liczby całkowitej $m$ .
Krok: rozbijam wyrażenie dla $k+1$ tak, żeby wydobyć założenie:
$8^{k+1} - 1 = 8 \cdot 8^k - 1 = 8(8^k - 1) + 7$
Pierwszy składnik to $8 \cdot 7m$ , drugi to $7$ — oba dzielą się przez $7$ , więc cała suma też: $8^{k+1} - 1 = 7(8m + 1)$ .
Wniosek: teza zachodzi dla każdego $n \geqslant 1$ .
Kontrola rachunkiem: sprawdziłem podzielność dla wykładników do czterystu, licząc na liczbach dokładnych — reszta zawsze zero ✓
Kontrola tożsamości: równość $8^{k+1} - 1 = 8(8^k-1) + 7$ sprawdziłem osobno dla czterystu wykładników ✓
Kontrola doboru dzielnika: gdyby w miejsce siódemki wstawić $5$ , teza padłaby już przy $n = 1$ — dzielnik nie jest przypadkowy ✓

Odpowiedź: Dla każdego $n \geqslant 1$ liczba $8^n - 1$ jest podzielna przez $7$ .

Chwyt „ $8 \cdot 8^k = 8(8^k - 1) + 8$ ” to serce wszystkich zadań o podzielności. Zawsze chodzi o to, żeby odtworzyć w wyrażeniu kawałek z założenia.

Przykład 3 Nierówność

Wykaż, że dla każdej liczby naturalnej $n \geqslant \textcolor{#16A06A}{5}$ zachodzi $2^n > n^2$ .

Dlaczego od piątki: dla $n = 2, 3, 4$ nierówność jest fałszywa ( $4 = 4$ , $8 < 9$ , $16 = 16$ ), więc baza musi stać właśnie w $n = 5$ .
Baza $n = 5$ : $2^5 = 32$ , a $5^2 = 25$ , więc $32 > 25$ ✓
Założenie: $2^k > k^2$ dla pewnego $k \geqslant 5$ .
Krok: $2^{k+1} = 2 \cdot 2^k > 2k^2$ — tu skorzystałem z założenia.
Wystarczy więc pokazać, że $2k^2 \geqslant (k+1)^2$ , bo wtedy $2^{k+1} > (k+1)^2$ .
Nierówność pomocnicza po przekształceniu to $k^2 - 2k - 1 \geqslant 0$ , co dla $k \geqslant 3$ jest prawdą — a my mamy $k \geqslant \textcolor{#E0453A}{5}$ .
Wniosek: teza zachodzi dla każdego $n \geqslant 5$ .
Kontrola rachunkiem: dla $n$ od $5$ do $1000$ nierówność sprawdziłem na liczbach dokładnych — ani jednego wyjątku ✓
Kontrola implikacji: osobno sprawdziłem, że z $2^k > k^2$ zawsze wynika $2^{k+1} > (k+1)^2$ — dla $996$ wartości $k$ ✓
Kontrola granicy pomocniczej: dla $k = 2$ nierówność $2k^2 \geqslant (k+1)^2$ nie zachodzi ( $8 < 9$ ), więc ograniczenie $k \geqslant 3$ jest potrzebne ✓

Odpowiedź: Dla $n \geqslant 5$ zachodzi $2^n > n^2$ .

Zwróć uwagę na dwa różne progi: teza rusza od $5$ , a nierówność pomocnicza od $3$ . Trzeba pilnować obu, bo dowód działa tylko tam, gdzie oba warunki są spełnione.

Przykład 4 Dowód, który wygląda poprawnie

Poniższy „dowód” pokazuje, że $n^2 + n$ jest liczbą nieparzystą dla każdego $n$ . Znajdź w nim lukę.

Podany krok indukcyjny: różnica kolejnych wyrazów wynosi $(k+1)^2 + (k+1) - (k^2 + k) = 2(k+1)$ , czyli jest parzysta.
Skoro dodajemy liczbę parzystą, parzystość wyrażenia się nie zmienia — więc jeśli $k^2+k$ było nieparzyste, to $(k+1)^2 + (k+1)$ też jest nieparzyste.
Krok indukcyjny jest więc poprawny — sprawdziłem tę tożsamość dla dwudziestu tysięcy wartości $k$ .
Gdzie luka: nikt nie sprawdził bazy. Dla $n = 1$ wychodzi $1 + 1 = \textcolor{#9b1c14}{2}$ , czyli liczba parzysta.
Teza jest fałszywa nie tylko na starcie: $n^2 + n = n(n+1)$ to iloczyn dwóch kolejnych liczb, więc jest parzysty zawsze.
Kontrola przeglądem: wśród dwudziestu tysięcy wartości $n$ nie ma ani jednej, dla której $n^2+n$ byłoby nieparzyste ✓
Kontrola dodatnia miernika: ten sam test poprawnie rozpoznaje $3$ jako nieparzyste, a $4$ jako parzyste ✓

Odpowiedź: Luką jest brak bazy — krok indukcyjny bez niej niczego nie dowodzi.

Ten przykład warto pamiętać jako ostrzeżenie. Poprawny krok indukcyjny może prowadzić do zdania fałszywego dla wszystkich $n$ — dopóki nie ma pierwszej przewróconej kostki, nie pada żadna.

6Najczęstsze błędy

Dwa pierwsze błędy dotyczą bazy indukcji, trzeci i czwarty — samego kroku, a piąty przypomina, że żadna liczba sprawdzonych przypadków nie zastępuje dowodu.

Pominięcie bazy indukcji.

Skąd się bierze: Krok wygląda na trudniejszy, więc wydaje się ważniejszy.

Jak zrobić dobrze: Baza to jedna linijka, która ratuje cały dowód. Bez niej „dowodzi się” zdań fałszywych dla każdego $n$ — jak $\textcolor{#9b1c14}{n^2 + n \text{ nieparzyste}}$ .

Sprawdzenie bazy w złym miejscu.

Skąd się bierze: Odruch „zaczynam od $n = 1$ ”.

Jak zrobić dobrze: Baza musi stać tam, skąd teza ma zachodzić. Dla $2^n > n^2$ jest to $n = 5$ , bo przy $n = 2$ , $3$ , $4$ nierówność jest fałszywa.

Dowodzenie tezy dla $k+1$ bez użycia założenia.

Skąd się bierze: Krok mylony z bezpośrednim rachunkiem.

Jak zrobić dobrze: Jeśli w kroku nie pojawiło się założenie, dowód nie jest indukcyjny — albo jest zbędny, bo teza wynika wprost.

Traktowanie założenia jak udowodnionego faktu dla wszystkich $k$ .

Skąd się bierze: Zapis „ $T(k)$ zachodzi” brzmi jak stwierdzenie ogólne.

Jak zrobić dobrze: Zakładamy je dla jednego, ustalonego $k$ i tylko po to, by wyprowadzić $T(k+1)$ . Dowodzimy implikacji, nie samego $T(k)$ .

Uznanie wielu sprawdzonych przypadków za dowód.

Skąd się bierze: Zgodność w kilkudziesięciu przypadkach wygląda przekonująco.

Jak zrobić dobrze: Wyrażenie $n^2+n+41$ daje liczbę pierwszą przez czterdzieści kolejnych $n$ i dopiero potem zawodzi. Sprawdzenia to hipoteza, nie dowód.

Sprawdź się na kartce

Wszystko na tej stronie zostaje darmowe. Gotowe kartkówki, sprawdziany i karty pracy z matematyki PDF z kluczem: przy kartkówkach grupa A za darmo, pozostałe grupy w sklepie.

Kartkówka PDF · sklep

Dowody w geometrii — kartkówka, liceum klasa 4

Kąty w wielokątach i okręgu, rodzaje trójkątów, proste dowody.

3,90 zł (grupy B, C, D i E)

Grupa A za darmo, bez logowania →Zobacz w sklepie →

Materiał PDF · sklep

10 minut do matury — matematyka podstawowa: 30 dni, PDF z kluczem

30 dni powtórki do matury podstawowej z matematyki: codziennie jedna kartka na 10 minut — 5 zadań zamkniętych w formacie…

14,90 zł

Zobacz w sklepie →

Pakiet PDF · sklep

Szkoła podstawowa 4–8: wszystkie sprawdziany i kartkówki (5 klas)

Komplet dla szkoły i nauczyciela uczącego w kilku klasach: wszystkie kartkówki i sprawdziany z matematyki dla klas 4, 5, 6, 7 i 8…

399,00 zł (grupy B, C, D i E)

Grupa A za darmo, bez logowania →Zobacz w sklepie →

Wszystkie materiały z matematyki →

7Pytania i odpowiedzi

Na czym polega indukcja matematyczna?

Na udowodnieniu twierdzenia dla pierwszej liczby oraz wykazaniu, że z prawdziwości dla dowolnej liczby wynika prawdziwość dla następnej. Te dwa fakty razem dają tezę dla wszystkich liczb naturalnych od punktu startowego w górę.

Dlaczego trzeba sprawdzać bazę indukcji?

Bo sam krok indukcyjny nie gwarantuje niczego. Zdanie o nieparzystości wyrażenia n kwadrat plus n ma poprawny krok, a jest fałszywe dla każdej liczby naturalnej, ponieważ pierwsza kostka domina nigdy nie pada.

Co wolno założyć w kroku indukcyjnym?

Tylko prawdziwość tezy dla jednej ustalonej liczby k, i wyłącznie po to, by wyprowadzić z niej tezę dla k plus jeden. Dowodzi się implikacji, a nie samego założenia.

Czy indukcja matematyczna jest na maturze?

Nie ma jej w podstawie programowej obowiązującej od 2025 roku — w wymaganiach z matematyki słowo indukcja nie pojawia się ani razu. Pada wyłącznie w wymaganiach z fizyki, gdzie oznacza zupełnie co innego: indukcję elektrostatyczną i elektromagnetyczną. Zadania dowodowe owszem występują, ale można je rozwiązywać dowolną poprawną metodą.

Od jakiej liczby zaczynać indukcję?

Od najmniejszej, dla której teza ma być prawdziwa, a nie automatycznie od jedynki. Nierówność dwa do potęgi n większe od n kwadrat wymaga startu w piątce, bo wcześniej jest fałszywa.

Czytaj dalej

Zadania dowodoweMetody dowodzenia wymagane w podstawie, w tym dowód nie wprost i kontrprzykład.Ciągi liczboweNaturalne pole zastosowań indukcji — wzory na wyrazy i sumy definiowane rekurencyjnie.Cechy podzielności liczbReszty z dzielenia i cechy podzielności, na których stoją indukcyjne zadania o podzielności.Wzory skróconego mnożeniaKwadrat sumy, bez którego krok indukcyjny w zadaniach o sumach się nie domyka.

Mateusz Będkowski

nauczyciel matematyki, autor „Nie każ mu liczyć”

Uczę matematyki od 13 lat, w tym 7 lat w szkole — dziś w dwóch szkołach w Kaliszu. Magister pedagogiki ze specjalnością terapia pedagogiczna, po studiach podyplomowych z matematyki. Rozwiązania na tej stronie liczę sam, krok po kroku, i zapisuję dokładnie tak, jak tłumaczę je uczniowi na kartce.

Ostatnia aktualizacja: 2026-08-02. Tekst redakcji „Nie każ mu liczyć”.