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