
Gọi N là điểm đối xứng của M qua O⇒NB⊥MB mà AH⊥MB
⇒NB∥AH, tương tự NA∥BH
Vậy HANB là hình bình hành
⇒H đối xứng của N qua I(I là trung điểm của AB)
Khi M∈(O) trừ hai điểm A,B thì N∈(O) trừ hai điểm A,B.
Với A1A,B1B là các đường kính của (O)
⇒H∈(O1) trừ A2,B2.
Trong
đó (O1) là đường tròn tâm O1 , đối xứng O qua I, bán kính
bằng bán kính (O) và A2 đối xứng của A1 qua I,B2 đối
xứng B1 qua I.