Equilateral Triangles Problem

Creation of this resource was inspired by a tweet posted by David Petro. How can we formally prove what is dynamically illustrated here? LARGE POINTS are MOVEABLE. The blue slider controls the measure of the (soon to appear) blue angle.

Quick (Silent) Demo