Xet tam giác ABH và tam giác ACH \(AB^2-BH^2=AC^2-HC^2\left(đều\right)bằngAH^2\)(định lý pytago)
Xét tam giác BKH và tam giác KCH
\(BK^2-BH^2=KC^2-HC^2\)(2)(định lý pitago)
Lấy (1) - (2) \(\Rightarrow AB^2-BH^2-BK^2+BH^2=AC^2-HC^2-KC^2+HC^2=AB^2-BK^2=AC^2-KC^2\)
Nên ta hoàn thành chừng minh