Metoda inducției matematice
Un tipar
Fiecare număr impar e un „L” care mărește pătratul cu un rând și o coloană. Ghicim:
Dar am verificat doar 4 cazuri. Ajunge o presupunere?
Atenție la generalizări pripite
| e prim? | ||
|---|---|---|
| da | ||
| da | ||
| da | ||
| da | ||
| da |
Verifică-te
Domino
Ai un șir de piese de domino, fără sfârșit. Ca să fii sigur că toate cad, îți ajung două lucruri:
I. Prima piesă cade (o împingi tu).
II. Oricare piesă, dacă cade, o dărâmă pe următoarea.
Din I cade prima. Din II cade a doua, apoi a treia, și tot așa. Nu trebuie să vezi fiecare piesă căzând.
Etapele, pe exemplul nostru
: „”, unde și .
Etapa I (prima piesă). : . Adevărat.
Etapa II (o piesă o dărâmă pe următoarea). Fie . Nu știm încă dacă e adevărată. Arătăm doar că, dacă este, atunci și este.
Presupunem deci . Suma are în plus următorul număr impar, :
De ce funcționează?
Etapa II, desenată. Pătratul are 9 pătrățele. Îi lipim un „L” de pătrățele și obținem pătratul .
La fel pentru orice : un rând de , o coloană de și colțul fac pătrățele, iar pătratul devine . Manualul numește asta „demonstrație fără cuvinte”.
Verifică-te
Nu începem mereu de la 1
| ? | |||
|---|---|---|---|
| A | |||
| A | |||
| F | |||
| F | |||
| F | |||
| A | |||
| A | |||
| A |
Verifică-te
Pasul II la inegalitate
: „”, pentru . Etapa I: .
Etapa II. Fie . Dacă (ipoteza de inducție), dublăm:
Mai trebuie , adică . Pentru : . Rezultă , adică e adevărată.
Deci e adevărată pentru orice .
Fără prima piesă nu merge
Cineva susține că .
Etapa II merge: dacă formula ar fi adevărată pentru , adăugăm :
Verifică-te
Cum scrie manualul
Fie fixat și un predicat , , . Ca să arătăm că este adevărată, verificăm două etape:
I. Etapa de verificare (inițială): este adevărată ( este valoarea de inițiere).
II. Etapa de demonstrație (pasul de inducție propriu-zis): implicația este adevărată pentru orice , . Aici se numește ipoteza de inducție.
Dacă ambele etape au loc, e adevărată pentru orice . Metoda se mai numește principiul inducției matematice.