Để chứng minh MK = MH, ta sẽ sử dụng định lí cơ bản về tam giác vuông và tính chất của tam giác cân.

Do tam giác ABC cân tại A nên ta có AM là đường trung bình của tam giác ABC.

Do đó, ta có AM // BC và M là trung điểm của BC.

Do đó, ta có tam giác ABM và ACM đồng dạng với nhau (theo định lí đồng dạng).

Do đó, ta có MH/AM = MK/AM.

Vậy MK = MH (do hai tam giác ABM và ACM đồng dạng).