Esempio — Svolgere la dimostrazione della bisettrice

Nei triangoli ABMABM e ACMACM abbiamo:

  • ABACAB \cong AC (per ipotesi, triangolo isoscele);
  • BAM^CAM^\widehat{BAM} \cong \widehat{CAM} (per ipotesi, AMAM è la bisettrice);
  • AMAM è lato in comune.

Per il I criterio di congruenza (lato–angolo–lato): ABMACM\triangle ABM \cong \triangle ACM. Da qui seguono:

  • BMCMBM\cong CM     \implies AMAM è mediana;
  • AMB^AMC^\widehat{AMB}\cong\widehat{AMC}; ma i due angoli sono supplementari (formano l’angolo piatto BMCBMC), quindi ciascuno vale π2\frac{\pi}{2}     \implies AMAM è altezza. \blacksquare

Collegamenti

Argomenti: Metodo di lavoro
Concetti: Svolgimento
Competenze: Dimostrare · Geometria sintetica