Kẻ đường trung trực của AC cắt BC tại K
Nối AK.
Ta có: KA = KC (tính chất đường trung trực)
Suy ra: Δ KAC cân tại K
Suy ra: ∠(KAC) = ∠C (1)
Lại có: ∠C + ∠B = 90o (t/chất tam giác vuông) (2)
Mà: ∠(KAC) + ∠(KAB) = ∠(BAC) = 90o (3)
Từ (1); (2) và (3) suy ra: ∠B = ∠(KAB)
Do đó; Δ KAB cân tại K ⇒ KA = KB
Suy ra: K thuộc đường trung trực của AB
Do đó K là giao điểm ba đường trung trực của Δ ABC
Suy ra: KB = KC = KA ⇒ K là trung điểm của BC
Vậy các đường trung trực của tam giác vuông đi qua trung điểm cạnh huyền