GoGeometry Action 4!

Creation of this applet was inspired by a tweet posted by Antonio Gutierrez. Make sure the pink points are aligned so the secant that passes through them is also a secant for the smaller circle! (Otherwise you won't see the intended phenomena.) How can you formally prove what this applet informally illustrates?

Quick (Silent) Demo