GoGeometry Action 104!
Creation of this applet was inspired by a tweet from Antonio Gutierrez.
You can move the LARGE WHITE VERTICES of the triangle anywhere you'd like.
In addition, feel free to move the LIGHT PURPLE POINT anywhere along the bottom side of the triangle.
You can also alter the size of the pink angle using the pink slider.
How can we formally prove what is dynamically illustrated here?