Phép quay ngược chiều 180° tâm O biến điểm A thành điểm A’.

Khi đó A’ thuộc đường tròn (O; OA) sao cho tia OA quay ngược chiều kim đồng hồ đến tia OA’, điểm A tạo nên cung AA’ có số đo 180°.

Suy ra OA’ = OA và hay ba điểm A, O, A’ thẳng hàng.

Vậy O là trung điểm của AA’ hay điểm A’ có đối xứng với điểm A qua O.