Il principio di induzione è un metodo di dimostrazione per affermazioni che riguardano tutti i numeri naturali (o tutti ).
I due passi
- Caso base: dimostra che la proprietà vale per (o per , il primo caso).
- Passo induttivo: assumi che valga per (ipotesi induttiva), e dimostra che da questo segue la validità per .
Se entrambi i passi reggono, la proprietà vale per tutti i naturali (a partire da ).
Analogia delle tessere del domino
Pensa a una fila infinita di tessere del domino:
- Caso base: dimostri di poter far cadere la prima tessera.
- Passo induttivo: dimostri che se una tessera cade, allora cade anche la successiva.
Insieme, queste due cose garantiscono che cadono tutte.
Esempio: somma dei primi naturali
Dimostriamo che per ogni .
Base (): ✓
Passo: assumiamo . Aggiungiamo :
che è esattamente la formula per . Dimostrato.