Wende https://www.mathelounge.de/847347/dreieck-rechter-winkel
auf die drei rechtwinkligen Dreiecke XFZ und ZFY und XYZ an, das gibt für das letzte
d(XZ)^2 + d(YZ)^2 = d(XY)^2
Die ersten beiden eingesetzt gibt
d(XF)^2 + d(FZ)^2 + d(FZ)^2 + d(FY)^2 = d(XY)^2
d(XF)^2 + 2d(FZ)^2 + d(FY)^2 = d(XY)^2
Da F auf der Strecke XY liegt gilt d(XY)=d(XF)+d(FY)
eingesetzt also d(XF)^2 + 2d(FZ)^2 + d(FY)^2 = (d(XF)+d(FY) )^2
<=> d(XF)^2 + 2d(FZ)^2 + d(FY)^2 = d(XF)^2 + 2d(XF)*d(FY) +d(FY) ^2
<=> 2d(FZ)^2 = 2d(XF)*d(FY) | 2 Bingo !