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 5 of 5: Finish with congruent right triangles
In plain words

The equal hypotenuse-side data make the two right triangles congruent, so the desired segments are equal.

∠RLM=∠RKM=90∘⟹△RLM≅△RKM⟹MK=ML\angle RLM=\angle RKM=90^\circ\Longrightarrow\triangle RLM\cong\triangle RKM\Longrightarrow MK=ML
Detailed analysis

Because L lies on AX and M lies on AL, while K lies on BX and M lies on BK, the perpendiculars above give ∠RLM=∠RKM=90∘\angle RLM=\angle RKM=90^\circ. Together with RL=RKRL=RK and the common hypotenuse RM, triangles RLMRLM and RKMRKM are congruent by hypotenuse-leg, so MK=MLMK=ML.