MathDB
EF = FL. wanted, starting with isosceles right triangle, BK=CL

Source: 2007 Oral Moscow Geometry Olympiad grades 8-9 p2

October 18, 2020
geometryequal segmentsright triangleisosceles

Problem Statement

An isosceles right-angled triangle ABCABC is given. On the extensions of sides ABAB and ACAC, behind vertices BB and CC equal segments BKBK and CLCL were laid. EE and F are the points of intersection of the segment KLKL and the lines perpendicular to the KCKC , passing through the points BB and AA, respectively. Prove that EF=FLEF = FL.