Cho điểm A nằm trên nửa đường tròn tâm O, đường kính BC. Dựng phía ngoài của tam giác ABC. Hình vuông ABEF. Gọi I là tâm đối xứng của hình vuông. Chứng minh khi A chạy trên nửa đường tròn đã cho thì I cũng chạy trên nửa đường tròn