Bisector of Apex of Isosceles Triangle also Bisects Base

Theorem

Let $\triangle ABC$ be an isosceles triangle whose apex is $A$.

Let $AD$ be the bisector of $\angle BAC$ such that $AD$ intersects $BC$ at $D$.

Then $AD$ bisects $BC$.

Proof

By definition of isosceles triangle, $AB = AC$.

By definition of bisector, $\angle BAD = \angle CAD$.

By construction, $AD$ is common.

Thus by Triangle Side-Angle-Side Congruence, $\triangle ABD = \triangle ACD$.

Thus $AD = DC$.

The result follows by definition of bisection.

$\blacksquare$

Sources

• 1968: M.N. Aref and William Wernick: Problems & Solutions in Euclidean Geometry ... (previous) ... (next): Chapter $1$: Triangles and Polygons: Theorems and Corollaries $1.12$: Corollary $1 \ \text{(i)}$