b) Chứng minh tứ giác OEKD nội tiếp được một đường tròn.

b) Ta có CD là đường kính, E thuộc (O) nên tam giác CED vuông tại E

Suy ra CED^=90°. Do đó KED^=90°

Vì AB ⊥ CD nên DOK^=90°

Xét tứ giác OEKD có

DOK^=DEK^=90° (chứng minh trên)

Suy ra tứ giác OEKD nội tiếp một đường tròn.