Gọi O là tâm của đường tròn đường kính BC.

Vì ABEF là hình vuông nên BA = BE và BA,BE=ABE^=90°.

Suy ra phép quay tâm B, góc quay 90° biến điểm A thành điểm E.

Đặt C’ = Q(B, 90°)(C) và O’ = Q(B, 90°)(O).

Ta có B = Q(B, 90°)(B).

Vậy khi điểm A chạy trên nửa đường tròn tâm O, đường kính BC cố định thì điểm E chạy trên nửa đường tròn tâm O’, đường kính BC’ cố định là ảnh của nửa đường tròn tâm O, đường kính BC qua phép quay tâm B, góc quay 90°.