b. Chứng minh rằng BEFC là một tứ giác nội tiếp

b) Ta có BAC^=900 (góc nội tiếp chắn nửa đường tròn)

Chứng minh tương tự ⇒ADB^=900

Ta có: A^=E^=F^=900⇒AED​F là hình chữ nhật ⇒EAD^=AEF^

Mà EAD^=ACB^(cùng phụ ABD^)⇒AEF^=ACB^

=> BEFC là tứ giác nội tiếp