Xét tứ giác AEHF có:

ˆA=ˆE=ˆF=900A^=E^=F^=900

⇒⇒Tứ giác AEHF là hình chữ nhật (dhnb).

⇒⇒ Tứ giác AEHF là tứ giác nội tiếp (có tổng hai góc đối diện bằng 18001800)

⇒ˆAFE=ˆAHE⇒AFE^=AHE^ (hai góc cùng nhìn đoạn AE). ˆAHE=ˆABHAHE^=ABH^ (cùng phụ ˆBHEBHE^)

⇒ˆAFE=ˆABC   (=ˆAHE)⇒AFE^=ABC^   (=AHE^).

Xét tứ giác BEFC có: ˆAFEAFE^ là góc ngoài tại đỉnh FF và ˆAFE=ˆABC   (cmt).AFE^=ABC^   (cmt).

⇒⇒BEFC nội tiếp (dấu hiệu nhận biết).