Cho tam giác ABC vuông cân tại C và nội tiếp đường tròn (O; R). E là điểm tùy ý trên cung nhỏ AC của đường tròn đó. Gọi F là giao điểm của EB và CO, I là tâm đường tròn ngoại tiếp tam giác ECF. Chứng minh rằng khi E di chuyển trên cung nhỏ AC thì I luôn di chuyển trên một đoạn thẳng cố định.