(a) Bổ đề : Cho tam giác ABC nội tiếp (O), ngoại tiếp (I), J là tâm đường tròn bàng tiếp góc A. BI,CI cắt AC,AB tại E,F. thì ta luôn có OJ vuông góc EF
Chứng minh (phỏng theo cách thầy Hùng)
Gọi BE,CF cắt (O) tại K,L. Đặt BC = a, CA = b, AB = c. Ta có một số kết quả sau : BE.BK = ac, $\frac{IE}{BE} = \frac{b}{a + b + c}$ suy ra IE.BK = $\frac{abc}{a + b + c}$
Tương tự suy ra IE.BK = IF.CL nên $\frac{BK}{CL} = \frac{IF}{IE}$.
Gọi JB, JC cắt (O) tại G, H. Gọi M, N là trung điểm BG, CH. Do $BI \perp BJ, CI \perp CJ$ nên KG, LH là đường kính của (O). Theo đường trung bình có : $\frac{OM}{ON} = \frac{2BK}{2CL} = \frac{IF}{IE}$. Lại có : $\angle MON = 180 - \angle BJC = \angle BIC = \angle FIE$ nên $\Delta OMN \sim \Delta IFE$ suy ra $\angle IFE = \angle OMN = \angle OJC$. Gọi OJ cắt EF ở D. Ta có : $\angle DFC = \angle DJC$ nên D,F,C,J đồng viên và từ đó : $\angle FDJ = \angle FCJ = 90$ suy ra $OJ \perp EF$ (xong)
Trở lại bài toán : Ta có : $\angle BIC = 90 + \frac{\angle BAC}{2} = 120 = \angle BOC$ nên B,I,O,C cùng thuộc đường tròn đường kính IJ nên $OI \perp OJ$ mà theo bổ đề ta có : $OJ \perp EF$ nên $OI \parallel EF$ (đpcm)