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?










Hypothese

Die Drei Punkte F, C, und E liegen auf einer Geraden.
Please enable Java for an interactive construction (with Cinderella).

Tipp

Öffnen Sie zur Überprüfung der Hypothese über die Kollinearität die Cinderella-Datei, die das Problem enthält, und anschließend das Informationsfenster, indem Sie im Menü den Pfad „Ansichten /Informationsfenster“ wählen oder indem sie den Tastatur-Kurzbefehl „[Strg]+[5]“ ausführen. Es öffnet sich ein Konsolenfenster, worin ein automatisierter Bericht über die Anordnung der Konstruktion erscheinen wird. Wechseln Sie nun in den „Gerade durch zwei Punkte“ Modus über den Schalter, um eine Gerade, die die Punkte E und F verbindet, zu zeichnen, indem Sie auf F klicken und halten, die Maus auf E bewegen und dort die Maustaste loslassen. Beachten Sie die Mitteilung im Konsolenfenster, in der angegeben wird, dass der Punkt C auf der Verbindungsgeraden von E und F liegt.