Dimostrazione diretta: Somma di due numeri pari

Dimostra che la somma di due numeri pari è pari.

Definire cosa significa pari: Un numero $n$ è pari se $n = 2k$ per qualche intero $k$ = Definizione stabilita

Siano $a$ e $b$ due numeri pari: Per definizione: $a = 2m$ e $b = 2n$ dove $m, n$ sono interi = Esprimere usando la definizione

Sommare i due numeri: $a + b = 2m + 2n = 2(m + n)$ = Raccogliere il 2

Identificare la forma: $2(m + n)$ è $2 \times (\text{intero})$, che è la definizione di pari = Corrisponde alla definizione

Enunciare la conclusione: Quindi $a + b$ è pari = CVD

Answer: La somma di due numeri pari è sempre pari perché $2m + 2n = 2(m+n)$, che è 2 volte un intero.

Dimostrazione per assurdo: La radice quadrata di 2 è irrazionale

Dimostra che $\sqrt{2}$ è irrazionale.

Supporre il contrario: Supponiamo che $\sqrt{2}$ sia razionale, quindi $\sqrt{2} = \frac{a}{b}$ dove $a, b$ sono interi senza fattori comuni = Iniziare con l'ipotesi di contraddizione

Elevare al quadrato entrambi i lati: $2 = \frac{a^2}{b^2}$, quindi $a^2 = 2b^2$ = $a^2$ è pari

Dedurre che $a$ è pari: Se $a^2$ è pari, allora $a$ deve essere pari (se $a$ fosse dispari, $a^2$ sarebbe dispari) = $a = 2k$ per qualche intero $k$

Sostituire: $(2k)^2 = 2b^2$, quindi $4k^2 = 2b^2$, così $b^2 = 2k^2$ = $b^2$ è pari

Dedurre che $b$ è pari: Con la stessa logica, $b$ deve essere pari = Sia $a$ che $b$ sono pari

Identificare la contraddizione: Ma abbiamo detto che $a$ e $b$ non hanno fattori comuni. Se entrambi sono pari, condividono il fattore 2! = CONTRADDIZIONE

Concludere: La nostra ipotesi era falsa, quindi $\sqrt{2}$ è irrazionale = CVD

Answer: $\sqrt{2}$ è irrazionale perché supporre che sia razionale porta a una contraddizione logica.

Dimostrazione diretta: Prodotto di numeri dispari

Dimostra che il prodotto di due numeri dispari è dispari.

Definire cosa significa dispari: Un numero $n$ è dispari se $n = 2k + 1$ per qualche intero $k$ = Definizione stabilita

Siano $a$ e $b$ due numeri dispari: $a = 2m + 1$ e $b = 2n + 1$ dove $m, n$ sono interi = Esprimere usando la definizione

Moltiplicare i numeri: $a \times b = (2m + 1)(2n + 1)$ = Impostare la moltiplicazione

Sviluppare: $= 4mn + 2m + 2n + 1 = 2(2mn + m + n) + 1$ = Raccogliere il 2

Identificare la forma: $2(2mn + m + n) + 1$ è $2 \times (\text{intero}) + 1$, che è dispari = Corrisponde alla definizione

Enunciare la conclusione: Quindi $a \times b$ è dispari = CVD

Answer: Il prodotto di due numeri dispari è sempre dispari perché $(2m+1)(2n+1) = 2(2mn+m+n) + 1$.

Mistake: Usare esempi specifici invece di una dimostrazione generale

Why: Mostrare che $2 + 4 = 6$ è pari dimostra solo UN caso, non TUTTI i casi.

Correct: Usa variabili ($2m + 2n$) per rappresentare QUALSIASI coppia di numeri pari.

Mistake: Assumere ciò che si vuole dimostrare

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

Correct: Parti solo dalle informazioni date e dalle definizioni, poi deriva la conclusione.

Mistake: Mancanza di giustificazione per i passaggi

Why: Ogni passaggio deve essere giustificato da una definizione, un assioma o un teorema già dimostrato.

Correct: Indica sempre PERCHÉ ogni passaggio deriva dal precedente.

Mistake: Confondere la direzione dell'implicazione

Why: Se $P \Rightarrow Q$, sapere $Q$ NON ci dice che $P$ è vero.

Correct: Attenzione: l'inversa e la contraria di un enunciato vero possono essere false.

Informatica: Correttezza degli algoritmi

Gli ingegneri del software usano dimostrazioni per verificare che i programmi funzionino correttamente per tutti gli input.

Dimostrare che un algoritmo di ordinamento produce sempre una lista ordinata richiede l'induzione matematica.

Crittografia: Dimostrazioni di sicurezza

La crittografia moderna si basa su dimostrazioni matematiche per garantire la sicurezza.

La sicurezza della crittografia RSA è basata sulla dimostrata difficoltà di fattorizzare numeri grandi.

Ragionamento giuridico: Costruzione di argomenti

Gli avvocati costruiscono argomenti logici simili alle dimostrazioni matematiche.

Il ragionamento legale segue 'Se le prove mostrano X, e X implica colpevolezza, allora l'imputato è colpevole.'

Q: Qual è la differenza tra un teorema e un assioma?

A: Un assioma è un enunciato accettato come vero senza dimostrazione. Un teorema è un enunciato che è stato dimostrato usando assiomi e altri teoremi.

Q: Perché abbiamo bisogno di dimostrazioni se possiamo testare esempi?

A: Testare esempi mostra solo che casi specifici funzionano. Una dimostrazione garantisce che TUTTI i casi funzionino. Per esempio, non possiamo testare infiniti numeri, ma una dimostrazione li copre tutti.

Q: Cosa significa CVD?

A: CVD significa 'come volevasi dimostrare'. In latino è QED per 'quod erat demonstrandum'. Segna la fine di una dimostrazione.