Der Radius des Halbkreises ist variabel, der des Kreises soll berechnet werden.

Das Applet zeigt ein Beispiel für eine doppelte Anwendung des Satzes. Die drei Eckpunkte des Dreiecks lassen sich bewegen.