Cho nữa đường tròn (O;R) đường kính AB. Một điểm M cố định thuộc đoạn thẳng OB (M khác B và M khác O). Đường thẳng d vuông góc với AB tại M cắt nữa đường tròn đã cho tại N. Trên cúng NB lấy điểm E bất kì ( E khác B và E khác N). Tia BE cắt đường thẳng d tại C, đường thẳng AC cắt nữa đường tròn tại D. Gọi giao điểm của AE với d là H
Gọi K là tâm đường tròn ngoại tiếp tam giác AHC. Chứng minh rằng khi E di động trên cung NB thì K luôn nằm trên 1 đường thẳng cố định