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.
Xem E là ảnh của A qua phép quay tâm B, góc 90o. Khi A chạy trên nửa đường tròn (O), E sẽ chạy trên nửa đường tròn (O′) là ảnh của nửa đường tròn (O) qua phép quay tâm B, góc 90o.
-- Mod Toán 11