Metodi di Dimostrazione Diretta e Indiretta

Per gli studenti di seconda liceo, i metodi di dimostrazione sono un passaggio cruciale che trasforma l’osservazione in argomentazione rigorosa. L’apprendimento attivo aiuta a interiorizzare la differenza tra verificare e dimostrare, poiché richiede di costruire passaggi logici che devono valere per tutti i casi, non solo per alcuni.

• 2a Liceo
• Logica, Numeri e Forme: Verso la Formalizzazione Matematica
• 3 attività
• 30 min–50 min

Obiettivi di apprendimento

1. Spiegare la struttura logica di una dimostrazione diretta, identificando ipotesi e tesi.
2. Analizzare la validità di una dimostrazione per assurdo, riconoscendo la contraddizione derivante dall'assunzione della negazione della tesi.
3. Confrontare la dimostrazione diretta con quella per assurdo, giustificando in quali contesti una è più efficace dell'altra.
4. Valutare la correttezza di un'affermazione matematica, distinguendo tra un esempio specifico e una dimostrazione universale.
5. Costruire una dimostrazione per contronominale partendo da un teorema espresso in forma condizionale.

Circolo di indagine

⏱ 50 min·Piccoli gruppi

Circolo di indagine: Ricostruire Pitagora

I gruppi ricevono i passaggi di una dimostrazione classica rimescolati. Devono riordinarli logicamente, identificando per ogni passaggio l'ipotesi, la tesi e le giustificazioni geometriche utilizzate.

Preparazione e dettagli

Spiega la potenza logica di assumere la tesi falsa per arrivare a una contraddizione (dimostrazione per assurdo).

Suggerimento per la facilitazione: Durante la Gallery Walk: Teoremi a Confronto, chiedete agli studenti di annotare su post-it cosa rende una dimostrazione diretta o indiretta più convincente, e di posizionarli accanto agli esempi esposti per una discussione collettiva.

Setup: Gruppi ai tavoli con accesso ai materiali e alle fonti

Materials: Raccolta di fonti e materiali di studio, Scheda di lavoro sul ciclo di indagine, Protocollo per la formulazione dei quesiti, Template per la presentazione dei risultati

• Analizzare
• Valutare
• Creare
• Autogestione
• Autoconsapevolezza

Think-Pair-Share

⏱ 30 min·Coppie

Think-Pair-Share: La Potenza dell'Assurdo

Il docente propone di dimostrare che non esiste un numero intero che sia contemporaneamente pari e dispari. Gli studenti riflettono su cosa succederebbe se esistesse, discutono in coppia la contraddizione e presentano il ragionamento.

Preparazione e dettagli

Analizza come si strutturano le ipotesi e la tesi in un teorema geometrico.

Setup: Disposizione standard dell'aula; gli studenti si girano verso il compagno di banco

Materials: Domanda o stimolo alla discussione (proiettato o cartaceo), Opzionale: scheda di sintesi per le coppie

• Comprendere
• Applicare
• Analizzare
• Autoconsapevolezza
• Abilità Relazionali

Gallery Walk

⏱ 40 min·Piccoli gruppi

Gallery Walk: Teoremi a Confronto

Vengono esposte diverse dimostrazioni dello stesso teorema (es. somma degli angoli interni di un triangolo). Gli studenti devono valutare quale sia la più chiara o elegante, lasciando commenti sulla struttura logica.

Preparazione e dettagli

Giustifica perché un esempio non costituisce mai una dimostrazione universale.

Setup: Spazio sulle pareti o tavoli disposti lungo il perimetro della stanza

Materials: Cartelloni o fogli di grande formato, Pennarelli, Post-it per i commenti e feedback

• Comprendere
• Applicare
• Analizzare
• Creare
• Abilità Relazionali
• Consapevolezza Sociale

Insegnare questo argomento

Insegnare i metodi di dimostrazione richiede di partire da esempi concreti e di guidare gli studenti a riconoscere la struttura logica dietro ogni passaggio. Evitate di presentare i metodi come regole astratte: è fondamentale che i ragazzi sperimentino la frustrazione di dover giustificare ogni affermazione e la soddisfazione di raggiungere una conclusione valida per tutti. La ricerca mostra che l’apprendimento è più efficace quando gli studenti lavorano in gruppo e devono spiegare il proprio ragionamento agli altri.

Cosa aspettarsi

Gli studenti dimostrano di aver compreso i metodi quando riescono a distinguere chiaramente ipotesi e tesi, applicano correttamente la logica diretta o per assurdo e riconoscono la necessità dell’universalità nelle dimostrazioni. La loro capacità si mostra nella capacità di spiegare i passaggi e di identificare errori di ragionamento.

Attenzione a questi errori comuni

Errore comune

Durante la Collaborative Investigation: Ricostruire Pitagora, watch for...

Cosa insegnare invece

gli studenti che credono che mostrare alcuni esempi numerici (es. terne pitagoriche) sia sufficiente a dimostrare il teorema. Fermateli e chiedete loro di provare a generalizzare la dimostrazione usando geometria, mostrando come un esempio non basta per una prova universale.

Errore comune

Durante il Think-Pair-Share: La Potenza dell’Assurdo, watch for...

Cosa insegnare invece

la confusione tra ipotesi e tesi quando si applica il metodo per assurdo. Chiedete loro di riscrivere chiaramente l’affermazione da dimostrare come 'Ipotesi: n è pari' e 'Tesi: n² è pari', e poi di negare la tesi per avviare la dimostrazione.

Idee per la Valutazione

Verifica Rapida

Dopo la Collaborative Investigation: Ricostruire Pitagora, presentate agli studenti un teorema geometrico semplice (es. 'In un triangolo isoscele, gli angoli alla base sono congruenti'). Chiedete loro di identificare ipotesi e tesi, e di descrivere a parole i passaggi principali di una dimostrazione diretta, usando la struttura che hanno ricostruito nel gruppo.

Biglietto di Uscita

Dopo il Think-Pair-Share: La Potenza dell’Assurdo, fornite l’affermazione 'Se un numero è multiplo di 6, allora è pari'. Chiedete agli studenti di scrivere la negazione della tesi e di spiegare come imposterebbero una dimostrazione per assurdo, usando il formato che hanno sperimentato durante l’attività.

Spunto di Discussione

Durante la Gallery Walk: Teoremi a Confronto, ponete la domanda 'Perché un singolo esempio, come 3+5=8, non dimostra che la somma di due numeri dispari è sempre pari?'. Guidate la discussione verso il concetto di universalità, usando gli esempi esposti per far emergere le differenze tra verifica ed evidenza universale.

Estensioni e supporto

• Chiedete agli studenti che finiscono presto di preparare una breve presentazione su come si potrebbe dimostrare per assurdo un teorema famoso, come l’irrazionalità di √2.
• Per chi fatica, fornite una lista di affermazioni già suddivise in ipotesi e tesi, e chiedete loro di completare solo i passaggi intermedi di una dimostrazione diretta.
• Approfondite il principio di induzione con un’attività di costruzione collettiva di una dimostrazione per n=1, n=k e n=k+1, usando un teorema semplice come 'La somma dei primi n numeri dispari è n²'.

Vocabolario Chiave

Dimostrazione Diretta	Procedimento logico che parte dalle ipotesi e, attraverso una sequenza di deduzioni valide, arriva alla tesi.
Dimostrazione per Assurdo	Metodo che assume come vera la negazione della tesi per giungere a una contraddizione logica, dimostrando così la veridicità della tesi originale.
Contronominale	Una proposizione logicamente equivalente alla sua implicazione originale, ottenuta negando sia l'ipotesi sia la tesi.
Contraddizione	Affermazione che risulta logicamente falsa perché nega se stessa o entra in conflitto con premesse accettate.
Ipotesi	Le premesse o le condizioni date all'inizio di un teorema, da cui si deve partire per dimostrare la tesi.
Tesi	L'affermazione che si intende dimostrare come vera, a partire dalle ipotesi e attraverso passaggi logici corretti.