Ta có hình vẽ:
a/ Ta có: BH \(\perp\)HK; CK \(\perp\)HK => BH // CK
=> góc HBC+ góc BCK =1800 (TCP)
Vì tam giác ABC vuông cân
=> góc HBA + góc KCA = 900
Ta có: góc KAC+góc KCA = 900 (tam giác AKC vuông)
=> góc HBA = góc KAC (1)
Ta có: góc H = góc K (GT) (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) (đpcm)
b/ Ta có: AH = CK (ở câu a)
HB = AK (tam giác ABH = tam giác ACK)
=> HA + AK = BH + CK
=> HK = BH + CK (đpcm)