PRINCIPIA · THEOREM

Isoceles: median, altitude, bisector coincide

Dependencies: SAS congruence, Linear pair sums to 180°, and Protractor axiom (Angle bisector exists and is unique).

Statement

Let ABC\triangle ABC satisfy AB=ACAB = AC (i.e. isosceles, with AA the apex and BCBC the base). Then, starting from AA, the bisector of the apex angle, the median to the base, and the altitude to the base are one and the same segment; if we call its endpoint on the base DD, then DD simultaneously satisfies

BAD=CAD,BD=DC,ADBC.\angle BAD = \angle CAD,\qquad BD = DC,\qquad AD \perp BC.

Three lines coincide: in isosceles \triangle ABC, the single segment AD from A serves at once as angle bisector, median, and altitude

First 20 free · sign in for #21 onward

Sign in to unlock the full proof

The first 20 theorems are free to read; this one and the rest require an account to see the full proof, animation, and consequences. Free, email-code sign-in only.

Sign in to unlock
Help me make this theorem better