c) EF cắt đường tròn (O) tại K, ( K khác E ) . Chứng minh DK // AF.

c) Có AF  BC        ( 1)

sđ CE^K=sđ CK⌢2  (t/c góc nội tiếp)

sđ DB^C=sđ CD⌢2 (t/ c góc nội tiếp)

Mà CE^K=DB^C (do tứ giác BEHF nội tiếp)

Suy ra: CD⌢=CK⌢

⇒DK⊥BC ( ĐL )    ( 2 )

Từ ( 1 ) và (2 )  suy ra : DK // AF