Bisection of Angle/Construction

From ProofWiki
Jump to navigation Jump to search

Bisection of Angle: Construction

Euclid-I-9.png

Let $\angle BAC$ be the given angle to be bisected.


Let $D$ be an arbitrary point on $AB$.

From Proposition $3$: Construction of Equal Straight Lines from Unequal, let $AE$ be cut off from $AC$ such that $AE = AD$.

From Euclid's First Postulate, let the line segment $DE$ be constructed.

From Proposition $1$: Construction of Equilateral Triangle, let an equilateral triangle $\triangle DEF$ be constructed on $AB$.

From Euclid's First Postulate, let the line segment $AF$ be constructed.


Then the angle $\angle BAC$ has been bisected by the straight line segment $AF$.


Sources