Il triangolo isoscele ha una simmetria interna che lo rende molto speciale. Da questa simmetria discendono due proprietà classiche, entrambe dimostrabili con i criteri di congruenza: gli angoli alla base sono congruenti, e la bisettrice, la mediana e l’altezza relative alla base coincidono.

The isosceles triangle has an internal symmetry that makes it very special. From this symmetry follow two classical properties, both provable with the congruence criteria: the base angles are congruent, and the bisector, the median and the altitude relative to the base coincide.

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

A triangle with two congruent sides is called isosceles. Its most celebrated property — already attributed to Thales — concerns the angles opposite those two sides.

Theorem — Base angles of the isosceles triangle

If a triangle has two congruent sides (ACBCAC\cong BC), then the angles opposite those sides are congruent: ACBC    CAB^CBA^AC\cong BC \implies \widehat{CAB}\cong\widehat{CBA}

Proof

The strategy consists of creating two pairs of congruent triangles, exploiting symmetric extensions of the sides.

  1. Construction. Extend CACA beyond AA by a segment ADAD; extend CBCB beyond BB by a segment BEADBE\cong AD. Join DD to BB and EE to AA.
  2. I consider. The triangles CBDCBD and CAECAE: BCACBC\cong AC (hypothesis), DC=AC+ADBC+BE=CEDC = AC+AD \cong BC+BE = CE (sums of congruents), C^\widehat{C} in common.
  3. I deduce. By the first criterion: CBDCAE\triangle CBD\cong\triangle CAE, therefore BDAEBD\cong AE and CDB^CEA^\widehat{CDB}\cong\widehat{CEA}.
  4. I consider. Let us now move on to the triangles ABDABD and BAEBAE: ABAB in common, ADBEAD\cong BE (construction), BDAEBD\cong AE (just proved).
  5. I deduce. By the third criterion: ABDBAE\triangle ABD\cong\triangle BAE, therefore BAD^ABE^\widehat{BAD}\cong\widehat{ABE}.
  6. Verified. Finally, CAB^\widehat{CAB} and BAD^\widehat{BAD} are supplementary, as are CBA^\widehat{CBA} and ABE^\widehat{ABE}. Being supplementary to congruent angles, we conclude CAB^CBA^\widehat{CAB}\cong\widehat{CBA}.

\blacksquare

Topics: Euclidean geometry
Concepts: Angle · Congruence criteria · Proof · Isosceles triangle
Skills: Proving · Synthetic geometry

La simmetria del triangolo isoscele fa sì che tre rette notevoli, che in un triangolo qualunque sono distinte, qui si sovrappongano in una sola.

Teorema — Bisettrice, mediana e altezza nel triangolo isoscele

In un triangolo isoscele ABCABC con ACBCAC\cong BC, la bisettrice dell’angolo al vertice C^\widehat{C} è anche mediana (passa per il punto medio di ABAB) e altezza (è perpendicolare ad ABAB).

Nel triangolo isoscele la bisettrice da CC è contemporaneamente mediana e altezza relative alla base ABAB.

Dimostrazione

Mostriamo che la bisettrice da CC cade nel punto medio di ABAB ed è perpendicolare ad esso.

  1. Costruzione. Sia KK il piede della bisettrice di C^\widehat{C} su ABAB.
  2. Considero. Nei triangoli AKCAKC e BKCBKC troviamo: CKCK in comune, ACK^BCK^\widehat{ACK}\cong\widehat{BCK} (bisettrice), ACBCAC\cong BC (ipotesi).
  3. Deduco. Per il I criterio: AKCBKC\triangle AKC\cong\triangle BKC.
  4. Verificato. Dalla congruenza segue AKBKAK\cong BK: KK è il punto medio di ABAB, quindi CKCK è mediana.
  5. Deduco. Inoltre AKC^BKC^\widehat{AKC}\cong\widehat{BKC}. Poiché sono supplementari e congruenti, ciascuno vale π2\dfrac{\pi}{2}: CKCK è altezza.

In sintesi, nel triangolo isoscele bisettrice, mediana e altezza dal vertice coincidono. \blacksquare

Collegamenti

Argomenti: Geometria euclidea
Concetti: Altezza · Bisettrice · Criteri congruenza · Dimostrazione · Mediana · Retta · Triangolo isoscele
Competenze: Dimostrare · Geometria sintetica

The symmetry of the isosceles triangle causes three notable lines, which in a generic triangle are distinct, to overlap here into a single one.

Theorem — Bisector, median and altitude in the isosceles triangle

In an isosceles triangle ABCABC with ACBCAC\cong BC, the bisector of the apex angle C^\widehat{C} is also the median (it passes through the midpoint of ABAB) and the altitude (it is perpendicular to ABAB).

In the isosceles triangle the bisector from CC is simultaneously the median and the altitude relative to the base ABAB.

Proof

We show that the bisector from CC falls at the midpoint of ABAB and is perpendicular to it.

  1. Construction. Let KK be the foot of the bisector of C^\widehat{C} on ABAB.
  2. I consider. In the triangles AKCAKC and BKCBKC we find: CKCK in common, ACK^BCK^\widehat{ACK}\cong\widehat{BCK} (bisector), ACBCAC\cong BC (hypothesis).
  3. I deduce. By the first criterion: AKCBKC\triangle AKC\cong\triangle BKC.
  4. Verified. From the congruence it follows that AKBKAK\cong BK: KK is the midpoint of ABAB, hence CKCK is the median.
  5. I deduce. Moreover AKC^BKC^\widehat{AKC}\cong\widehat{BKC}. Since they are supplementary and congruent, each equals π2\dfrac{\pi}{2}: CKCK is the altitude.

In short, in the isosceles triangle the bisector, median and altitude from the apex coincide. \blacksquare

Topics: Euclidean geometry
Concepts: Altitude · Bisector · Congruence criteria · Proof · Median · Line · Isosceles triangle
Skills: Proving · Synthetic geometry