Generalizing the Steiner-Lehmus Theorem
This is an implementation of the dynamic picture from Losada, R., T. Recio, and J. L. Valcarce. "On the automatic discovery of Steiner-Lehmus generalizations." Proceedings of ADG. 2010.
The point C is on the white curve iff there is a pair of bisectors with the same length.
See also the simpler version, considering only the bisectors at A and B