Cho đường tròn tâm O, đường kính BC, A là một điểm nằm trên đường tròn sao cho dây AB bé hơn dây AC. Trên đoạn OC lấy điểm D (D khác O, C).
Giải thích

a) Ta có BA^C=900 (hệ quả góc nội tiếp)
BD^F=900 (gt)
⇒BA^C+BD^F=1800
Vậy tứ giác ABDF nội tiếp.
Ta có BA^C=900⇒EA^C=900 (kề bù)
Mà ED^C=900
⇒ Tứ giác AECD nội tiếp.