In una dimostrazione per induzione dobbiamo usare come ipotesi il caso base della proprietà che vogliamo dimostrare. Se questa è verificata allora deve verificarsi anche per , questo passaggio prende il nome di passo induttivo.
Quindi:
- Caso Base : dimostrare che la proprietà vale per il più piccolo valore possibile
- Passo Induttivo : se allora se per dimostrare il passo induttivo utilizzo il caso base aggiungendo qualcosa, ho completate la dimostrazione.
Esempio 1 Dimostrare che per punti passano segmenti
- caso base: supponiamo che la proprietà valga.
- passo induttivo: per ipotesi induttiva la proprietà vale per il caso base, quindi per passeranno tutti i segmenti che passano per + tutti i nuovi segmenti che collegano il nuovo punto ai precedenti ovvero stesso. La nostra formula diventa quindi , abbiamo ottenuto il caso baso sommato a qualcosa.