Un triangolo con due lati congruenti si dice isoscele. La sua proprietà più celebre — attribuita già a Talete — riguarda gli angoli opposti a quei due lati.

Teorema — Angoli alla base del triangolo isoscele

Se un triangolo ha due lati congruenti (ACBCAC\cong BC), allora gli angoli opposti a quei lati sono congruenti: ACBC    CAB^CBA^AC\cong BC \implies \widehat{CAB}\cong\widehat{CBA}

Dimostrazione

La strategia consiste nel creare due coppie di triangoli congruenti, sfruttando prolungamenti simmetrici dei lati.

  1. Costruzione. Si prolunga CACA oltre AA di un segmento ADAD; si prolunga CBCB oltre BB di un segmento BEADBE\cong AD. Si congiungono DD con BB ed EE con AA.
  2. Considero. I triangoli CBDCBD e CAECAE: BCACBC\cong AC (ipotesi), DC=AC+ADBC+BE=CEDC = AC+AD \cong BC+BE = CE (somme di congruenti), C^\widehat{C} in comune.
  3. Deduco. Per il I criterio: CBDCAE\triangle CBD\cong\triangle CAE, dunque BDAEBD\cong AE e CDB^CEA^\widehat{CDB}\cong\widehat{CEA}.
  4. Considero. Passiamo ora ai triangoli ABDABD e BAEBAE: ABAB in comune, ADBEAD\cong BE (costruzione), BDAEBD\cong AE (appena dimostrato).
  5. Deduco. Per il III criterio: ABDBAE\triangle ABD\cong\triangle BAE, dunque BAD^ABE^\widehat{BAD}\cong\widehat{ABE}.
  6. Verificato. Infine, CAB^\widehat{CAB} e BAD^\widehat{BAD} sono supplementari, così come CBA^\widehat{CBA} e ABE^\widehat{ABE}. Essendo supplementari di angoli congruenti, si conclude CAB^CBA^\widehat{CAB}\cong\widehat{CBA}.

\blacksquare

Collegamenti

Argomenti: Geometria euclidea
Concetti: Angolo · Criteri congruenza · Dimostrazione · Triangolo isoscele
Competenze: Dimostrare · Geometria sintetica