+ B đối xứng với A qua Ox
⇒ Ox là đường trung trực của AB
⇒ OA = OB (1)
+ C đối xứng với A qua Oy
⇒ Oy là đường trung trực của AC
⇒ OA = OC (2)
Từ (1) và (2) suy ra OB = OC (*).
+ Xét ΔOAC cân tại O (do OA = OC) có Oy là đường trung trực
⇒ Oy đồng thời là đường phân giác
Xét ΔOAB cân tại O có Ox là đường trung trực
⇒ Ox đồng thời là đường phân giác
⇒ B, O, C thẳng hàng (**)
Từ (*) và (**) suy ra O là trung điểm BC
⇒ B đối xứng với C qua O.