• Ta có \(\widehat {ABD} = 90^\circ \) (góc nội tiếp chắn nửa đường tròn đường kính AD) hay \(\widehat {ABE} = 90^\circ .\)

Ta cũng có \(\widehat {AFE} = 90^\circ \) do EF ⊥ AD.

Tam giác ABE vuông tại B và tam giác AFE vuông tại F cùng nội tiếp trong đường tròn đường kính AE.

Do đó, tứ giác ABEF nội tiếp đường tròn đường kính AE.

• Ta có \(\widehat {ECD} = \widehat {ACD} = 90^\circ \) (góc nội tiếp chắn nửa đường tròn đường kính AD), \(\widehat {EFD} = 90^\circ \) (do EF ⊥ AD xc).

Tam giác ECD vuông tại C và tam giác EFD vuông tại F cùng nội tiếp trong đường tròn đường kính ED.

Do đó, tứ giác DCEF nội tiếp đường tròn đường kính ED.