Il principio di induzione è un metodo di dimostrazione per affermazioni che riguardano tutti i numeri naturali (o tutti ).

I due passi

  1. Caso base: dimostra che la proprietà vale per (o per , il primo caso).
  2. 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.