b) Lấy điểm M bất kì thuộc (O).

Gọi M' là điểm đối xứng với M qua d.

Gọi I là giao điểm của d với MM'.

Khi đó: MM' ⊥ OI tại M hay OIM^=OIM'^=90°.

Xét ∆OIM và ∆OIM' có:

OI chung

OIM^=OIM'^=90°

IM = IM'

Do đó ∆OIM = ∆OIM' (c.g.c).