Vì OB = OC nên để điểm B đối xứng với C qua tâm O cần thêm điều kiện B, O, C thằng hàng
∆ OAB cân tại O có Ox là đường trung trực của AB nên Ox cũng là đường phân giác của ∠ (AOB) ⇒ ∠ O 1 = ∠ O 4 (3)
ΔOAC cân tại O có Oy là đường trung trực của AC nên Oy cũng là đường phân giác của ∠ (AOC) ⇒ ∠ O 2 = ∠ O 3 (4)
Vì B, O, C thẳng hàng nên:
∠ O 1 + ∠ O 2 + ∠ O 3 + ∠ O 4 = 180 0 (5)
Từ (3),(4) ; (5) ⇒ 2 ∠ O 1 + 2 ∠ O 2 = 180 0
⇒ ∠ O 1 + ∠ O 2 = 90 0 ⇒ ∠ (xOy) = 90 0
Vậy ∠ (xOy) = 90 0 thì B đối xứng với C qua O