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âm của đường tròn đi qua 4 điểm
là:
Xác định điểm cách đều 4 điểm đó là tâm đường tròn.
Vì là tâm đường tròn ngoại tiếp tam giác
nên
là phân giác trong của góc
.
Vì là tâm đường tròn ngoại tiếp tam giác
của góc
nên
là phân giác ngoài của góc
.
Theo tính chất phân giác trong và phân giác ngoài ta có vuông
nên
.
Chứng minh hoàn toàn tương tự ta có: .
Xét 2 tam giác vuông .
Vậy 4 điểm nằm trên đường tròn
.