Square + Regular Hexagon Action!

Creation of this applet was inspired by a tweet from Jose Luis da Vila. What is the measure of the pink angle? How can we formally prove this to be true?