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