Vì (I) và (J) là hai đường tròn bằng nhau nên: cung nhỏ HG của (I) = cung nhỏ HG của (J).

$\Rightarrow \widehat{K_1} = \widehat{L_1}$ (góc nội tiếp chắn các cung bằng nhau).

$\Rightarrow \bigtriangleup HKL$ cân tại H $\Rightarrow HK = HL$ (đpcm)