Dimostrazione per assurdo — metodo ed esempio classico

La dimostrazione per assurdo prova un’affermazione assumendo il contrario e mostrando che questa ipotesi porta a un’impossibilità. Se il ragionamento è valido e la contraddizione è reale, allora l’affermazione iniziale deve essere vera.

Questo metodo è utile quando la negazione ti dà qualcosa di concreto su cui lavorare. Un caso classico è dimostrare che $\sqrt{2}$ è irrazionale: una volta assunto che sia razionale, puoi scriverlo come frazione e seguirne le conseguenze.

Come funziona la dimostrazione per assurdo

Supponi che l’enunciato che vuoi dimostrare sia $P$.

In una dimostrazione per assurdo, inizi assumendo che $P$ sia falso. Poi ragioni a partire da questa ipotesi finché non arrivi a una contraddizione, come ad esempio:

$$1 = 0$$

oppure a un conflitto con una definizione nota, o a un’affermazione che non può valere contemporaneamente a un passaggio precedente.

A quel punto, la negazione di $P$ non può essere corretta, quindi $P$ deve essere vero.

La condizione chiave è che la contraddizione derivi da un ragionamento valido e da fatti accettati. Un risultato che sembra solo strano non basta. Deve essere impossibile in base alle definizioni o ai teoremi che stai usando.

Quando usare la dimostrazione per assurdo

La dimostrazione per assurdo funziona meglio quando il contrario di un’affermazione ha una struttura rigida. Succede spesso nella teoria dei numeri, nelle dimostrazioni di impossibilità e in alcune questioni di esistenza.

Per esempio, se vuoi dimostrare che un numero è irrazionale, assumere che sia razionale ti dà una forma frazionaria con cui lavorare. Questa struttura aggiuntiva spesso rende più facile trovare la contraddizione rispetto a una dimostrazione diretta.

È meno utile quando esiste già una breve dimostrazione diretta. L’assurdo è un metodo valido, ma dovrebbe chiarire l’argomento invece di farlo sembrare più lungo del necessario.

Esempio svolto: perché $\sqrt{2}$ è irrazionale

Una classica dimostrazione per assurdo mostra che $\sqrt{2}$ è irrazionale.

Inizia assumendo il contrario:

$$\sqrt{2} \text{ è razionale.}$$

Se fosse vero, allora $\sqrt{2}$ potrebbe essere scritto come

$$\sqrt{2} = \frac{a}{b}$$

dove $a$ e $b$ sono interi, $b \neq 0$, e la frazione è ridotta ai minimi termini.

Ora eleva al quadrato entrambi i membri:

$$2 = \frac{a^2}{b^2}$$

quindi

$$a^2 = 2b^2.$$

Questo ci dice che $a^2$ è pari. Di conseguenza anche $a$ deve essere pari, perché il quadrato di un intero dispari è dispari. Quindi scriviamo

$$a = 2k$$

per qualche intero $k$.

Sostituisci questo in $a^2 = 2b^2$:

$$(2k)^2 = 2b^2$$ $$4k^2 = 2b^2$$ $$2k^2 = b^2.$$

Ora $b^2$ è pari, quindi anche $b$ è pari.

Ma allora sia $a$ sia $b$ sono pari. Questo significa che entrambi sono divisibili per $2$, il che contraddice l’ipotesi che $\frac{a}{b}$ fosse già ridotta ai minimi termini.

Quindi l’ipotesi iniziale era falsa. Pertanto $\sqrt{2}$ è irrazionale.

Perché la contraddizione è decisiva

La contraddizione non è semplicemente “qualcosa non torna”. È precisa:

1. L’ipotesi dice che $\sqrt{2} = \frac{a}{b}$ in minimi termini.
2. I passaggi algebrici mostrano che sia $a$ sia $b$ devono essere pari.
3. Una frazione non può essere allo stesso tempo ridotta ai minimi termini e avere numeratore e denominatore divisibili per $2$.

Questo scontro diretto è la contraddizione.

Errori comuni nella dimostrazione per assurdo

Un errore comune è assumere il contrario in modo troppo vago. Ti serve la vera negazione dell’enunciato, non solo un’affermazione vicina che suona simile.

Un altro errore è arrivare a una contraddizione a causa di un passaggio algebrico non valido. In quel caso, la contraddizione dimostra solo che l’algebra era sbagliata, non che l’affermazione iniziale fosse vera.

Un terzo errore è non indicare esplicitamente il fatto che viene contraddetto. Le buone dimostrazioni rendono il conflitto esplicito: una regola di parità, una definizione, una condizione di minimalità o un teorema già dimostrato.

È anche facile nascondere un ragionamento debole dietro la frase “questa è una contraddizione”. Se non riesci a indicare il fatto preciso che fallisce, la dimostrazione probabilmente è incompleta.

Un semplice schema di dimostrazione per assurdo

Per molte dimostrazioni introduttive, la struttura è questa:

1. Assumi che l’enunciato sia falso.
2. Traduci questa ipotesi in una forma concreta.
3. Sviluppa le conseguenze passo dopo passo.
4. Arriva a una contraddizione con un fatto noto.
5. Concludi che l’enunciato originale è vero.

Se il passaggio 2 è debole, la dimostrazione di solito resta vaga. Le dimostrazioni per assurdo più efficaci spesso nascono dal trasformare la negazione in qualcosa di molto concreto.

Prova una dimostrazione simile per assurdo

Prova con l’affermazione “non esiste il più piccolo numero razionale positivo”. Assumi che esista, chiamalo $r$, e chiediti che cosa succede a $\frac{r}{2}$. Se vuoi controllare il tuo ragionamento passo dopo passo su una dimostrazione simile, prova la tua versione in GPAI Solver e confronta ogni affermazione con la contraddizione a cui vuoi arrivare.