a) Ta có tam giác vuông ABC, nên theo định lý Pythagore, ta có:
AB² + BC² = AC²
Vì tam giác ABC vuông tại A nên AB là cạnh huyền, nên AB > BC.

b) Ta có AB = AK, suy ra tam giác ABK cũng là tam giác vuông tại A.
Do đó, ta có:
AK² + BK² = AB²
Vì AB = AK nên ta có:
AK² + BK² = AK²
Suy ra: BK² = 0
Vậy BK = 0, tức là K trùng với B.
Vậy tam giác BCK cân tại B.