Der Satz von Thales und der Peripheriewinkelsatz
Verallgemeinerung: Gesucht sind die Punkte C der Ebene, von denen aus die Dreieckseite AB unter einem Winkel von α gesehen wird.
Wenn α=90°, wird der spezielle Fall diskutiert, der der Satz von Thales ist.
Der Befehl
Ortsliniengleichung[SindKongruent[α, β], C] wurde in GeoGebra verwendet. Da im Hintergrund ein algebraisches Gleichungssystem gelöst wird, kann GeoGebra keinen Unterschied zwischen den Gleichungen cosα=cosβ und α=β machen. Deshalb werden zwei Kreise als die Lösung präsentiert.