G.GCO.11 Angle Bisector Construction Action!

The applet below illustrates how we can use a compass and straightedge to bisect any given angle. Can you formally prove why this method of construction is valid? (For a hint, click here.)