Die Qualität ist etwas schlecht, aber ich hoffe man kanns noch lesen.
Die Aufgabe ist nicht von mir, sondern von meinem Bruder. Ich komme aber selbst nur auf einen Lösungsweg, den der thematisch noch gar nicht hatte.
Ich würde hier die Diagonale als Gerade in einem Koordinatensystem sehen.
Die Längen der Strecken DE und BF liesen sich dann als orthoganale Geraden zur Diagonalen mit der Punkt-Steigungsform berechnen, womit man die Schnittpunkt mit der Geraden hätte und somit auch die Länge der Strecke EF berechnen könnte.
Das müsste funktionieren, nur wie gesagt passt es thematisch gar nicht.
Hat jemand eine Idee, wie sich das auch mit Pythagoras und Kongruenzen rausbekommen lässt?