Dimostrazione diretta

Impara a costruire dimostrazioni dirette derivando logicamente conclusioni da ipotesi date usando definizioni, assiomi e teoremi già dimostrati.

Avanzato25 minLezione
Scheda da stampare

Definizione

Una dimostrazione diretta è un metodo per dimostrare un enunciato matematico partendo da fatti noti (l'ipotesi) e usando passaggi logici per arrivare alla conclusione.
La struttura di una dimostrazione diretta:
  1. 1.Assumere che l'ipotesi sia vera
  2. 2.Applicare definizioni, assiomi e teoremi
  3. 3.Derivare la conclusione attraverso il ragionamento logico
Se vogliamo dimostrare "Se PP, allora QQ" (scritto P⇒QP \Rightarrow Q):
  • Iniziare assumendo che PP sia vero
  • Usare deduzioni logiche per mostrare che anche QQ deve essere vero
P⇒Q significa: ogni volta che P eˋ vero, anche Q eˋ veroP \Rightarrow Q \text{ significa: ogni volta che } P \text{ è vero, anche } Q \text{ è vero}

Prova subito

Qual è il primo passo in una dimostrazione diretta?

Esempi svolti

Dimostra: Se aa e bb sono interi pari, allora a+ba + b è pari.
1

Enunciare l'ipotesi

Supponiamo che aa e bb siano interi pari → Dato: aa e bb sono pari
2

Applicare la definizione di pari

Un intero pari può essere scritto come 2k2k per qualche intero kk → a=2ma = 2m e b=2nb = 2n per interi m,nm, n
3

Sommare i due numeri

a+b=2m+2na + b = 2m + 2n
4

Mettere in evidenza il fattore comune

a+b=2(m+n)a + b = 2(m + n)
5

Applicare nuovamente la definizione di pari

Poiché m+nm + n è un intero, 2(m+n)2(m + n) è pari per definizione → a+ba + b è pari

Errori comuni

Usare esempi specifici invece di una dimostrazione generale

Perché è sbagliato: Mostrare che 2+4=62 + 4 = 6 (pari) non dimostra nulla su TUTTI i numeri pari. Una dimostrazione deve funzionare per ogni caso possibile.

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

Assumere ciò che si vuole dimostrare

Perché è sbagliato: Non puoi usare la conclusione nel tuo ragionamento. Questa è logica circolare.

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

Saltare passaggi logici

Perché è sbagliato: Ogni passaggio deve seguire logicamente dai passaggi precedenti. Le lacune nel ragionamento possono nascondere errori.

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

Visuale interattivo

Tabella di verità

P ∧ Q
PQP ∧ Q
FFF
FVF
VFF
VVV

V= VeroF= Falso

Sandbox interattivo

Calcolatrice di espressioni

Prova questi:

Cronologia

Ancora nessun calcolo

Esercizi pratici

17 esercizi
Problema 1 di 17
Facile
Qual è il primo passo in una dimostrazione diretta?

Perché è importante

La dimostrazione diretta è la tecnica di dimostrazione più fondamentale in matematica:
  • Fondamento della matematica: Ogni teorema che usi è stato dimostrato usando la dimostrazione diretta o metodi correlati
  • Informatica: Le prove di correttezza degli algoritmi spesso usano il ragionamento diretto
  • Argomentazioni legali: Gli avvocati costruiscono argomenti dalle prove alla conclusione
  • Metodo scientifico: Derivare previsioni da ipotesi usa la stessa struttura logica
  • Risoluzione di problemi: Suddividere problemi complessi in passaggi logici
Padroneggiare la dimostrazione diretta sviluppa un pensiero rigoroso applicabile ben oltre la matematica!

Applicazioni nel mondo reale

Verifica del software

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

Esempio:

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.

1Provaci tu stesso

Un programma raddoppia ogni numero in una lista. Dobbiamo dimostrare: se tutti i numeri in input sono positivi, tutti i numeri in output sono positivi.

Completa questa dimostrazione diretta.

Passo 1: Scegli la risposta giusta

Se x>0x > 0, allora 2x>?2x > ?

Ragionamento legale

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

Esempio:

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.

2Provaci tu stesso

Legge: Tutti i cittadini maggiori di 18 anni possono votare. Fatto: Alex è un cittadino. Fatto: Alex ha 21 anni.

Dimostra che Alex può votare.

Passo 1: Scegli la risposta giusta

Quale confronto tra l'età di Alex e 18 completa l'argomento?

Punti chiave

  • 1Una dimostrazione diretta assume che l'ipotesi sia vera e deriva la conclusione attraverso passaggi logici
  • 2Usa le definizioni per tradurre le parole in espressioni matematiche (per esempio, pari = 2k2k)
  • 3Ogni passaggio deve seguire logicamente dai passaggi precedenti usando algebra, definizioni o teoremi
  • 4La dimostrazione termina quando raggiungi la forma esatta della conclusione
  • 5CVD (come volevasi dimostrare) segna la fine di una dimostrazione

Domande frequenti

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.
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.
CVD sta per 'come volevasi dimostrare'. Segnala che la dimostrazione è completa. Alcuni matematici usano un simbolo quadrato (pietra tombale) al suo posto.
Ogni passaggio dovrebbe essere giustificato da una definizione, proprietà o teorema. Se salti passaggi, rischi di nascondere errori. Nel dubbio, includi più dettagli.

Glossario

Dimostrazione diretta
Un metodo di dimostrazione che assume l'ipotesi e usa la deduzione logica per derivare la conclusione
Ipotesi
La parte 'se' di un enunciato condizionale; ciò che assumiamo essere vero
Conclusione
La parte 'allora' di un enunciato condizionale; ciò che vogliamo dimostrare
CVD
Abbreviazione di 'come volevasi dimostrare', segna la fine di una dimostrazione
Teorema
Un enunciato matematico che è stato dimostrato essere vero
Assioma
Un enunciato accettato come vero senza dimostrazione; un punto di partenza per il ragionamento
Sfida di oggiUn problema, tre tentativi

Altro su questo argomento

Introduzione alle dimostrazioni matematiche

Avanzato25 min

Dimostrazioni a due colonne

Intermedio25 min

Dimostrazioni discorsive

Avanzato30 min

Dimostrazioni geometriche

Avanzato30 min