Torna alla lezione

Guida per l'insegnante: Dimostrazione diretta

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

Usa questa lezione in classe

Gratis, senza account per gli studenti.

Condividi con gli studenti

Gli studenti aprono la lezione e si esercitano con correzione immediata.

Scheda da stampare

Tutti gli esercizi su carta, con le soluzioni a parte.

Quiz di classe

10 domande su Dimostrazioni matematiche. Gli studenti partecipano con un nome, tu vedi tutti i punteggi.

Per gli insegnanti

Obiettivi di apprendimento
  • Identificare l'ipotesi e la conclusione in un enunciato condizionale
  • Costruire una dimostrazione diretta usando definizioni e manipolazione algebrica
  • Scrivere passaggi chiari e logici che collegano l'ipotesi alla conclusione
  • Applicare la dimostrazione diretta a enunciati di teoria dei numeri
Prerequisiti
  • Comprensione degli enunciati condizionali (se-allora)
  • Algebra di base e manipolazione di variabili
  • Familiarità con le definizioni di numeri pari e dispari
  • Conoscenza delle proprietà degli interi
Spunti di discussione
  • 1. Perché verificare alcuni esempi non è la stessa cosa di una dimostrazione?
  • 2. Riesci a pensare a un enunciato che sembra vero ma potrebbe essere difficile da dimostrare direttamente?
  • 3. In cosa la dimostrazione matematica differisce dall'evidenza scientifica?
  • 4. Cosa rende una dimostrazione convincente?
Idee sbagliate comuni

Verificare diversi esempi dimostra un enunciato

L'ordine dei passaggi non conta

Idee di differenziazione

Per studenti in difficoltà:

  • Fornisci modelli di dimostrazione con spazi da riempire
  • Concentrati su un tipo di dimostrazione (numeri pari/dispari) prima di diversificare
  • Permetti agli studenti di lavorare in coppia per discutere ogni passaggio

Per studenti a livello:

  • Dimostra enunciati su somme e prodotti di numeri pari/dispari
  • Scrivi dimostrazioni senza modelli
  • Identifica errori in dimostrazioni difettose

Per studenti avanzati:

  • Dimostra enunciati sulla divisibilità e i numeri primi
  • Confronta la dimostrazione diretta con la dimostrazione per assurdo
  • Crea le proprie congetture e dimostrale
Allineamento agli standard
  • HSN-CN.A.2 (CCSS.MATH.CONTENT.HSN.CN.A.2)

    Usa la relazione e le proprietà commutativa, associativa e distributiva per sommare, sottrarre e moltiplicare numeri complessi

  • HSA-APR.C.4 (CCSS.MATH.CONTENT.HSA.APR.C.4)

    Dimostra identità polinomiali e usale per descrivere relazioni numeriche

  • MP3 (CCSS.MATH.PRACTICE.MP3)

    Costruisci argomentazioni valide e critica il ragionamento degli altri

Risorse della lezione
  • visualDiagramma della struttura della dimostrazione

    Mostra il flusso dall'ipotesi alla conclusione

  • activityDimostrazione da completare

    Gli studenti completano i passaggi mancanti in una dimostrazione

  • worksheetPratica di dimostrazione diretta

    Cinque teoremi da dimostrare usando la dimostrazione diretta

Contenuto della lezione

Tutto ciò che vedono gli studenti: definizione, esempi, errori comuni, applicazioni. Tocca per aprire.

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. Assumere che l'ipotesi sia vera 2. Applicare definizioni, assiomi e teoremi 3. Derivare la conclusione attraverso il ragionamento logico
Se vogliamo dimostrare "Se , allora " (scritto ):
  • Iniziare assumendo che sia vero
  • Usare deduzioni logiche per mostrare che anche deve essere vero

Esempi svolti

Dimostra: Se e sono interi pari, allora è pari.

1

Enunciare l'ipotesi

Supponiamo che e siano interi pariDato: e sono pari

2

Applicare la definizione di pari

Un intero pari può essere scritto come per qualche intero e per interi

3

Sommare i due numeri

4

Mettere in evidenza il fattore comune

5

Applicare nuovamente la definizione di pari

Poiché è un intero, è pari per definizione è pari

Errori comuni

Usare esempi specifici invece di una dimostrazione generale

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

Corretto: Usa variabili e definizioni. Scrivi 'Sia per qualche intero ' 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é è 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.

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: Scrivi l'espressione matematica

Se , allora

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: Scrivi l'espressione matematica

Struttura l'argomento logico

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 = )
  • 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

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

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.

Cosa significa CVD?

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

Quanto dettagliati devono essere i miei passaggi?

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

Altro su questo argomento