Angle Bisector

Not sure if this trick is going to work, frankly. But it's such an elegant proof, I figured I'd make a poster of it, using GeoDesigner.

 

UPDATE: nope, doesn't work. Time to try again

Done