Der Automatische Beweiser von Cinderella

Aufgabe

In der nebenstehenden Zeichnung, Welche Aussagen lassen sich über die Kollinearität der drei Punkte F, C und E machen? d. h. Liegen sie auf einer Geraden?
Please enable Java for an interactive construction (with Cinderella).
Bewegen Sie die freien Elemente (die freien Punkte (A und B), die halbfreien Punkte (C und D) oder sogar den Rand einer der beiden Kreis), um die Situation zu verändern und um eine Hypothese über das Verhalten der drei Punkte F, C, E auf die Eigenschaft der Kollinearität bezogen aufzustellen.