Ta có : \(\widehat {BED} = \widehat {BAD}\) ( góc nội tiếp cùng chắn cung BD)
\(\widehat {BAD} = \widehat {BFA}\) ( góc giữa tiếp tuyến và một dây bằng góc nội tiếp cùng chắn cung AB)
Do đó : \(\widehat {BED} = \widehat {BFA}\)
\(\Rightarrow \) AF // ED ( đồng vị)
Lại có : BF // AD ( gt)
Vậy tứ giác ADEF là hình bình hành.