b) Chứng minh EF vuông góc OA

b) Kẻ tiếp tuyến Ax 

Ta có : ∠BCA=∠BAx (cùng chắn cung AB) (1)

Tứ giác BFEC có ∠BFC=∠BEC=90° nên E,F là hai đỉnh liên tiếp cùng nhìn BC dưới 1 góc 90°⇒BFEC là tứ giác nội tiếp

⇒∠BCA=∠EFA (góc trong và góc ngoài tại đỉnh đối diện ) (2)

Từ (1), (2) ⇒∠EFA=∠BAx mà 2 góc ở vị trí so le trong ⇒EF//Ax

Mà OA⊥Ax(tính chất tiếp tuyến) ⇒EF⊥OA