Cho nửa đường tròn tâm O đường kính BC. Điểm A chạy trên nửa đường tròn đó. Dựng về phía ngoài của tam giác ABC hình vuông ABEF. Chứng minh rằng E chạy trên một nửa đường tròn cố định.