Ogni passaggio di una dimostrazione svolge un ruolo logico preciso. Riconoscere il tipo di ciascun passo aiuta a scriverla in modo ordinato e a leggerla senza perdersi.

Osservazione — I tipi di passo logico

  • Ipotesi: dato di partenza, ciò che è noto.
  • Tesi: ciò che si vuole dimostrare.
  • Costruzione: elemento ausiliario introdotto nel disegno (un segmento, una parallela, un’altezza…).
  • Osservo: fatto che si nota direttamente dalla figura o dalla definizione.
  • Considero: si esamina un oggetto specifico (un triangolo, un angolo, un segmento).
  • Idea chiave: l’intuizione centrale della dimostrazione.
  • Deduco: conclusione logica che segue dai passaggi precedenti.
  • Analogamente: si ripete lo stesso ragionamento su un altro oggetto.
  • Verificato: risultato acquisito, che si può usare nei passi successivi.

Il simbolo \blacksquare (o la sigla q.e.d.) segna la fine della dimostrazione.

Collegamenti

Argomenti: Geometria euclidea
Concetti: Dimostrazione · Ipotesi tesi
Competenze: Dimostrare