Gọi (O) là đường tròn ngoại tiếp tam giác ABC, AI cắt (O) tại K. Theo bổ đề quen thuộc thì K là tâm của (BIC). Hơn nữa \(\widehat{BIC}=90^o+\dfrac{\widehat{BAC}}{2}=120^o\) và \(\widehat{BOC}=2\widehat{BAC}=120^o\) nên \(\widehat{BIC}=\widehat{BOC}\), suy ra tứ giác BIOC nội tiếp, suy ra \(O\in\left(K\right)\). Điều này có nghĩa bán kính của \(\left(K\right)\) chính là \(OK=2\).