Gọi J là tâm đường tròn ngoại tiếp tam giác BMC. Chứng minh rằng độ dài IJ không đổi.
Gọi O là tâm đường tròn ngoại tiếp tam giác ABC. Ta có O cố định .
Hai đường tròn (O), (J) cắt nhau tại B, C
=>OJ là đường trung trực của đoạn thẳng BC => OJ ⊥BC
Ta có OJ ⊥BC và AI ⊥ BC => OJ ⊥IA
Chứng minh tương tự cũng có IJ//OA
Do đó tứ giác IAOJ là hình bình hành
=> IJ = OA không đổi.