Dimostrare che la somma di due numeri pari è pari

Dimostra: Se $a$ e $b$ sono interi pari, allora $a + b$ è pari.

Enunciare l'ipotesi: Supponiamo che $a$ e $b$ siano interi pari = Dato: $a$ e $b$ sono pari

Applicare la definizione di pari: Un intero pari può essere scritto come $2k$ per qualche intero $k$ = $a = 2m$ e $b = 2n$ per interi $m, n$

Sommare i due numeri: $a + b = 2m + 2n$ = $a + b = 2m + 2n$

Mettere in evidenza il fattore comune: $a + b = 2(m + n)$ = $a + b = 2(m + n)$

Applicare nuovamente la definizione di pari: Poiché $m + n$ è un intero, $2(m + n)$ è pari per definizione = $a + b$ è pari

Answer: Pertanto, la somma di due interi pari è sempre pari. CVD

Dimostrare che il quadrato di un numero dispari è dispari

Dimostra: Se $n$ è un intero dispari, allora $n^2$ è dispari.

Enunciare l'ipotesi: Supponiamo che $n$ sia un intero dispari = Dato: $n$ è dispari

Applicare la definizione di dispari: Un intero dispari può essere scritto come $2k + 1$ per qualche intero $k$ = $n = 2k + 1$ per qualche intero $k$

Elevare l'espressione al quadrato: $n^2 = (2k + 1)^2$ = $n^2 = (2k + 1)^2$

Espandere usando l'algebra: $n^2 = 4k^2 + 4k + 1$ = $n^2 = 4k^2 + 4k + 1$

Fattorizzare per mostrare la forma dispari: $n^2 = 2(2k^2 + 2k) + 1$ = $n^2 = 2(2k^2 + 2k) + 1$

Concludere usando la definizione: Questo è $2m + 1$ dove $m = 2k^2 + 2k$ è un intero = $n^2$ è dispari

Answer: Pertanto, il quadrato di un intero dispari è sempre dispari. CVD

Dimostrare una proprietà di divisibilità

Dimostra: Se $n$ è un intero, allora $n^3 - n$ è divisibile per 3.

Fattorizzare l'espressione: $n^3 - n = n(n^2 - 1)$ = $n^3 - n = n(n^2 - 1)$

Fattorizzare ulteriormente usando la differenza di quadrati: $n(n^2 - 1) = n(n-1)(n+1)$ = $n^3 - n = (n-1) \cdot n \cdot (n+1)$

Riconoscere il pattern: $(n-1)$, $n$, $(n+1)$ sono tre interi consecutivi = Prodotto di 3 interi consecutivi

Applicare un fatto di teoria dei numeri: Tra qualsiasi 3 interi consecutivi, esattamente uno è divisibile per 3 = Un fattore è divisibile per 3

Concludere: Poiché un fattore è divisibile per 3, l'intero prodotto è divisibile per 3 = $n^3 - n$ è divisibile per 3

Answer: Pertanto, per qualsiasi intero $n$, l'espressione $n^3 - n$ è divisibile per 3. CVD

Mistake: Usare esempi specifici invece di una dimostrazione generale

Why: Mostrare che $2 + 4 = 6$ (pari) non dimostra nulla su TUTTI i numeri pari. Una dimostrazione deve funzionare per ogni caso possibile.

Correct: Usa variabili e definizioni. Scrivi 'Sia $a = 2m$ per qualche intero $m$' per rappresentare QUALSIASI numero pari.

Mistake: Assumere ciò che si vuole dimostrare

Why: Non puoi usare la conclusione nel tuo ragionamento. Questa è logica circolare.

Correct: Parti solo dall'ipotesi e procedi in avanti. Non scrivere mai 'Poiché $a + b$ è pari...' finché non l'hai dimostrato.

Mistake: Saltare passaggi logici

Why: Ogni passaggio deve seguire logicamente dai passaggi precedenti. Le lacune nel ragionamento possono nascondere errori.

Correct: Giustifica ogni passaggio con una definizione, un assioma o un teorema già dimostrato.

Verifica del software

I programmatori usano la logica della dimostrazione diretta per verificare che il loro codice funzioni correttamente per tutti gli input.

Per dimostrare che un algoritmo di ordinamento produce sempre un output ordinato, mostriamo: se l'input è una lista, l'output ha gli stessi elementi in ordine non decrescente.

Ragionamento legale

Gli avvocati costruiscono argomenti che portano logicamente dalle prove alle conclusioni.

Se il contratto stabilisce che il pagamento è dovuto alla consegna, e la consegna è avvenuta il 1° marzo, allora il pagamento era dovuto il 1° marzo.

Q: Come faccio a sapere quando usare la dimostrazione diretta rispetto ad altri metodi?

A: Prova prima la dimostrazione diretta per enunciati positivi come 'Se A, allora B.' Se rimani bloccato, considera la dimostrazione per assurdo o la contropositiva. La dimostrazione diretta funziona bene quando puoi manipolare l'ipotesi algebricamente.

Q: Cosa significa CVD?

A: CVD sta per 'come volevasi dimostrare'. Segnala che la dimostrazione è completa. Alcuni matematici usano un simbolo quadrato (pietra tombale) al suo posto.

Q: Quanto dettagliati devono essere i miei passaggi?

A: Ogni passaggio dovrebbe essere giustificato da una definizione, proprietà o teorema. Se salti passaggi, rischi di nascondere errori. Nel dubbio, includi più dettagli.