Ja, schade, das wäre wichtig.
Noch ein anderer Gedanke:
Wenn sich D auf dem Kreis in Richtung A bewegt, dann wären D und F und A am Ende identisch. Wenn sich D auf dem Kreis in Richtung C bewegt, dann wären D und C am Ende identisch, aber F im Abstand mit der Länge des Radiusses von C entfernt. (D soll allerdings C nicht ganz erreichen) Der Abstand von F zum Kreis wird immer größer, je weiter D sich auf dem Kreis von A entfernt. Könnte es dafür eine Gleichung geben, oder? Oder läßt sich das auch über kongruente Dreiecke zeigen? Oder Strahlensatz?
Die Strecke EF wäre immer der Radius.
Dafür braucht man aber ja auch den Beweis, das FM und EB parallel sind. Wie kann man auf diesen Beweis kommen?