GoGeometry Action 161!

Creation of this resource was inspired by a problem posted by Antonio Gutierrez (GoGeometry). You can move the 3 VERTICES of the triangle anywhere you'd like AT ANY TIME. The pink slider controls the size of the interior angle with pink vertex. How can we formally prove what is dynamically illustrated here?

Quick (Silent) Demo