Cho tam giác ABC nội tiếp đường tròn tâm O, một điểm I chuyển động trên cung BC không chứa điểm A (I không trùng với B và C). Đường thẳng vuông góc với IB tại I cắt đường thẳng AC tại E, đường thẳng vuông góc với IC tại I cắt đường thẳng AB tại F. Chứng minh rằng đường thẳng EF luôn đi qua một điểm cố định.
Gọi IE,IF cắt đường tròn (O) lần thứ hai lần lượt tại H,K. Lúc đó ta có ^BIH = ^CIK = 900
=> ^BIH và ^CIK chắn nửa đường tròn (O) => BH,CK là các đường kính của (O)
Xét bộ 6 điểm A,B,C,H,I,K cùng nằm trên (O): BH cắt CK tại O, IH cắt AC tại E, IK cắt AB tại F
Suy ra 3 điểm E,O,F thẳng hàng (ĐL Pascal). Hay EF đi qua O cố định (đpcm).
P/S: Định lí Pascal khá nổi tiếng, bạn có thể tham khảo cách chứng minh trong các sách nâng cao (NC&PT Toán 9 tập 2).