MathDB
Prove that $CK=ML$

Source: Metropolises 2020 P1

December 18, 2020
geometryangle bisector

Problem Statement

In a triangle ABCABC with a right angle at CC, the angle bisector ALAL (where LL is on segment BCBC) intersects the altitude CHCH at point KK. The bisector of angle BCHBCH intersects segment ABAB at point MM. Prove that CK=MLCK=ML