Alternate Angle Bisector Construction

Creation of this applet was inspired by a tweet by @solvemymaths. Here's another simple means to construct the bisector of an angle using a compass & straightedge. Why does this method work? Write a formal (2-column or paragraph) proof that justifies why this method of construction is valid.

Quick (Silent) Demo: 1:00 to END