L’induzione matematica è un metodo di dimostrazione usato per mostrare che un’affermazione è vera per ogni intero a partire da un certo valore iniziale. Per dimostrare una proprietà per tutti gli , si mostra che il primo caso è vero e poi che la verità per un intero implica la verità per l’intero successivo.
Se entrambe le parti sono corrette, l’affermazione vale per ogni intero nell’intervallo indicato. Questa è l’idea fondamentale.
Come funziona l’induzione matematica
Scrivi l’affermazione come . Allora l’induzione ha questa struttura:
- Dimostra il caso base: mostra che è vera.
- Dimostra il passo induttivo: mostra che, se è vera per un intero arbitrario , allora anche è vera.
Una volta fatti questi due passaggi, puoi concludere che è vera per ogni intero .
La logica è sequenziale. Il caso base avvia la catena, e il passo induttivo fa avanzare la catena di un intero alla volta.
Perché il caso base e il passo induttivo sono entrambi importanti
Il caso base ti fornisce la prima affermazione vera. Il passo induttivo dice che la verità passa da un intero al successivo.
Quindi, se è vera, allora è vera anche . Poi è vera , e così via. L’induzione non salta il punto di partenza e non salta il collegamento tra un caso e il successivo.
Esempio svolto: dimostrare una formula di somma per induzione
Un esempio classico è la formula
per tutti gli interi .
Sia
Caso base
Prendi . Il lato sinistro è , e il lato destro è
Quindi è vera.
Passo induttivo
Supponi che sia vera per un intero arbitrario . Questo significa che
Ora dimostra . Parti dal lato sinistro per :
Usando l’ipotesi induttiva,
Raccogliendo :
Poi semplifica:
Questa è esattamente la formula con . Quindi è vera.
Poiché sia il caso base sia il passo induttivo sono stati dimostrati, la formula vale per tutti gli interi .
Quando usare l’induzione matematica
L’induzione è utile quando un’affermazione dipende da un parametro intero e ogni caso si collega naturalmente a uno precedente. Questo accade spesso con somme, affermazioni di divisibilità, disuguaglianze, relazioni di ricorrenza e dimostrazioni di algoritmi.
Per prima cosa, individua il valore iniziale corretto. Alcune proprietà iniziano da , altre da , e altre ancora hanno senso solo per interi più grandi.
Poi controlla qual è il caso valido successivo. Il passaggio usuale è da a , ma se l’affermazione riguarda solo interi pari, un passaggio da a può essere la versione giusta.
Errori comuni nelle dimostrazioni per induzione
Dimostrare solo il caso base
Il caso base verifica solo il primo valore. Da solo, non dimostra l’affermazione per gli interi successivi.
Usare il valore iniziale sbagliato
Se l’affermazione deve valere per tutti gli , dimostrare solo non aiuta. Il caso base deve corrispondere all’intervallo reale dell’affermazione.
Trattare con poca attenzione l’ipotesi induttiva
Nel passo induttivo, assumi per un solo intero arbitrario nell’intervallo valido. Non stai assumendo che l’intero teorema sia già dimostrato.
Dimostrare il caso successivo sbagliato
Se il tuo teorema richiede un passaggio , dimostrare un passaggio diverso non conclude l’argomento, a meno che tu non spieghi perché quel passaggio diverso è sufficiente.
Un’estensione utile: l’induzione forte
A volte per dimostrare serve più di . In questa situazione, l’induzione forte ti permette di assumere tutti i casi precedenti fino a e poi dimostrare quello successivo.
L’idea è strettamente collegata, ma l’ipotesi è più forte. È utile, per esempio, quando una dimostrazione dipende dal fatto di scomporre un numero in parti più piccole.
Prova la tua versione
Prendi l’affermazione
e dimostrala per tutti gli interi usando la stessa struttura: prima il caso base, poi il passaggio da a . Se riesci a scrivere bene questa dimostrazione, di solito il metodo diventa chiaro.
Hai bisogno di aiuto con un problema?
Carica la tua domanda e ottieni una soluzione verificata, passo dopo passo, in pochi secondi.
Apri GPAI Solver →