Ta có ^HCK = ^HBC (cùng phụ với ^BKC) (1)
^HCB+^HBC=90* (hai góc nhọn trong tam giác vuông)
^BCA+^CBA=90* (hai góc nhọn trong tam giác vuông)
Nên ^HCB+^HBC+^BCA+^CBA=90+90*=180*
Hay ^HCA+^HBA=180*
mà ^HBx + ^HBA=180* (hai góc kề bù)
Do đó ^HCA=^HBx (2)
mà ^HBC=^HBx (do By là phân giác) (3)
Từ (1), (2), (3) Suy ra ^HCK = ^HCA (đpcm