Доказательство:
Рассмотрим треугольники \( \triangle AKM \) и \( \triangle ALM \).
- \( \angle KAM = \angle LAM \): так как \( AD \) — биссектриса угла, по определению биссектрисы.
- \( \angle AKM = \angle ALM = 90^{\circ} \): так как \( KM \perp AB \) и \( ML \perp AC \), по условию.
- \( AM \) — общая сторона: лежит напротив прямых углов.
- По признаку равенства прямоугольных треугольников (по гипотенузе и острому углу), \( \triangle AKM = \triangle ALM \).
- Из равенства треугольников следует равенство соответствующих сторон: \( KM = LM \).
Доказано.