Gọi H là giao điểm của AB và OO’

Vì OO’ là đường trung trực của AB nên OO’ ⊥ AB tại H

Ta có: HA = HB

I là trung điểm của OO’ nên IH ⊥ AB     (1)

Trong tam giác ABK, ta có:

HA = HB (chứng minh trên)

IA = IK (tính chất đối xứng tâm)

Suy ra IH là đường trung bình của tam giác ABK

Suy ra IH // BK     (2)

Từ (1) và (2) suy ra: AB ⊥ KB

a) Ta thấy \(\widehat{OAH}+\widehat{HAI}=\widehat{OAI}=90^o\) và \(\widehat{O'AI}+\widehat{IAH}=\widehat{O'AH}=90^o\)

nên \(\widehat{OAH}=\widehat{O'AI}\Rightarrow\widehat{AOH}=\widehat{AO'I}\left(1\right)\)

Ta thấy \(\widehat{OAO'}+\widehat{HAI}=\widehat{OAH}+\widehat{HAI}+\widehat{IAO'}+\widehat{HAI}=\widehat{OAI}+\widehat{HAO'}\)

\(=90^o+90^o=180^o\)

Xét tứ giác AHKI ta cũng có \(\widehat{HKI}+\widehat{HAI}=180^o\Rightarrow\widehat{HKI}=\widehat{OAO'}\left(2\right)\)

Từ (1) và (2) suy ra tứ giác OAO'K là hình bình hành (Có các góc đối bằng nhau)

b) Gọi AJ và AJ' là hai đường kính của đường tròn (O) và (O')

Trước hết, ta có J, B, J' thẳng hàng. Thật vậy: \(\widehat{ABJ}+\widehat{ABJ'}=90^o+90^o=180^o\)

Ta chứng minh J, K ,J' cũng thẳng hàng.

Xét tam giác AJJ' có O' là trung điểm AJ', O'K // AJ, O'K = 1/2AJ

Vậy nên K là trung điểm JJ'.

Tóm lại J, B, K ,J' thẳng hàng.Vậy thì \(\widehat{ABK}=\widehat{ABJ'}=90^o\) hay \(KB\perp BA\)

Hình vẽ như trên

a) Ta thấy ^OAH+^HAI=^OAI=90o và ^O'AI+^IAH=^O'AH=90o

nên ^OAH=^O'AI⇒^AOH=^AO'I(1)

Ta thấy ^OAO'+^HAI=^OAH+^HAI+^IAO'+^HAI=^OAI+^HAO'

=90o+90o=180o

Xét tứ giác AHKI ta cũng có ^HKI+^HAI=180o⇒^HKI=^OAO'(2)

Từ (1) và (2) suy ra tứ giác OAO'K là hình bình hành (Có các góc đối bằng nhau)

b) Gọi AJ và AJ' là hai đường kính của đường tròn (O) và (O')

Trước hết, ta có J, B, J' thẳng hàng. Thật vậy: ^ABJ+^ABJ'=90o+90o=180o

Ta chứng minh J, K ,J' cũng thẳng hàng.

Xét tam giác AJJ' có O' là trung điểm AJ', O'K // AJ, O'K = 1/2AJ

Vậy nên K là trung điểm JJ'.

\(\Rightarrow\) J, B, K ,J' thẳng hàng.Vậy thì ^ABK=^ABJ'=90o hay KB⊥BA

a) Ta có: AIBC nội tiếp ( O') 

=> ^BAC = ^BIC (1) 

ABDE  nội tiếp ( O)  có CA là tiếp tuyến 

=> ^CAB = ^ADB ( cùng chắn cung AB )  (2)

Từ (1) ; (2) => ^ADB = ^BIC => ^KDB = ^CIB   => B; I; K; D nội tiếp => ^KBD = ^KID  

mà ^KBD = ^EBD = ^EAD = FAD

=> ^FAD = ^KID = ^FID 

=> FAID nội tiếp 

b) Kéo dài tia FD ------> tia Fx

FAID nội tiếp => ^DFI = ^DAI 

I; A: C; B nội tiếp ( O') => ^IAB = ^ICB 

=> ^DFI + ^ICB = ^DAI + ^IAB 

Mà ^xDC = ^DFC + ^DCF = ^DFI + ^ICB 

^DAB = ^DAI + ^IAB 

=> ^xDC = ^DAB  => ^xDB = ^DAB  

=> Dx là tiếp tuyến  ( O)

=> DF là tiếp tuyến ( O)