Ta có hình vẽ:
Ta có: BH \(\perp\) d; CK \(\perp\) d => BH // CK
=> góc HBC + góc BCK = 1800 (TCP)
Mà do tam giác ABC vuông
=> góc ABC + góc ACB = 900
Vậy góc HBA + góc KCA = 900
Trong tam giác vuông AKC có:
góc KAC + góc KCA = 900
=> góc HBA = góc KAC (1)
Ta có: góc H = góc K = 900 (2)
AB = AC (GT) (3)
Từ (1),(2),(3) => tam giác ABH = tam giác ACK
=> AH = CK (2 cạnh tương ứng)
-Ta có: tam giác ABH = tam giác ACK
=> AK=HB(2 cạnh tương ứng)
AH = CK (chứng minh trên)
=> AH + AK = HB + CK
hay HK = BH + CK (đpcm)