Cho tam giác cân tại
. Gọi
là tâm đường tròn nội tiếp tam giác,
là tâm đường tròn bàng tiếp góc
và
là trung điểm của
. Tính bán kính đường tròn tâm
đi qua bốn điểm
biết
.
Hình vẽ minh họa
Ta có tam giác vuông nên
,
lại có mà
là phân giác
Nên
.
Có tam giác cân tại
nên
Nên
Suy ra .
Ta có là trung trực của
Theo Pytago ta có
Lại có (hai tam giác vuông có
vì cùng phụ với
)
(cm)