GoGeometry Action 20!

Creation of this applet was inspired by a tweet from Antonio Gutierrez. What is the sum of the measures of the red angle and blue angle? How can you formally prove this true?