MathLabs

Problem 5

Let ABCABC be a triangle with ∠BCA=90∘\angle BCA=90^\circ, and let D be the foot of the altitude from C. Let X be interior to CD. Let K lie on AX with BK=BCBK=BC, and L lie on BX with AL=ACAL=AC. Let M=AL∩BKM=AL\cap BK. Prove MK=MLMK=ML.
Step 1 of 5: Use the altitude-foot similarity
In plain words

The right triangle and the altitude foot convert the length condition AL=AC into a useful product on AB.

AL2=AC2=AD⋅ABAL^2=AC^2=AD\cdot AB
Detailed analysis

Since AL=ACAL=AC and the altitude theorem gives AC2=AD⋅ABAC^2=AD\cdot AB, we have AL2=AD⋅ABAL^2=AD\cdot AB. Thus triangles ALDALD and ABLABL are similar, so ∠ALD=∠XBA\angle ALD=\angle XBA because A,X,LA,X,L are collinear and B,X,KB,X,K are collinear.