Cho góc vuông xOy, điểm A nằm trong góc đó. Gọi B là điểm đối xứng

+ 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.