Ja, aber wofür?
Die Dreiecke ABD, DEF und KHF sind kongruent.
Punkt.
Also müssen einander entsprechende Stücke dieser Dreiecke (z.B. die Hypotenusen) AUCH kongruent sein.
Du bekommst damit AD=DF=KF, ohne dass du diese Längen nach irgendeiner Formel konkret berechnen musst.