Tâm đường tròn ngoại tiếp tam giác AKD nằm trên một đường thẳng cố định khi K di động trên đoạn thẳng CI.
Giải chi tiết:
Lấy E đối xứng với B qua C thì E cố định và , lại có: (cùng phụ với ), suy ra: .
Do đó AKDE là tứ giác nội tiếp. Gọi O’ là tâm đường tròn ngoại tiếp ∆AKD thì O’ củng là tâm đường tròn ngoại tiếp tứ giác AKDE nên O'A = O'E, suy ra O' thuộc đường trung trực của đoạn thẳng AE cố định.