GoGeometry Action 46!

Author:
Tim Brzezinski
Creation of this applet was inspired by a post from Antonio Gutierrez (GoGeometry). Within this context, how can we formally prove the 2 blue segments congruent?

Quick (Silent) Demo