Das Schmetterlings-Theorem liefert in optisch ansprechender Weise einen schönen, geometrischen Zusammenhang am Kreis. Die dynamische GeoGebra-Konstruktion kann mit Schiebeschaltern um den jeweils folgenden Beweisschritt erweitert werden. Für den Beweis werden Ähnlichkeit, Kongruenz und die Aussage des Umfangswinkelsatzes benötigt.