Not Your Everyday Chord & Tangent Theorem
Creation of this applet was inspired by a tweet from Alexander Bogomolny (cut-the-knot.org).
Regardless of the locations of points N, A, and B, it will always be true that .
How can you formally prove what this applet informally illustrates?