Cho tứ giác ABCD nội tiếp đường tròn đường kính AB. Hai đường chéo AC và BD cắt nhau tại E, F là hình chiếu vuông góc của E trên AB.
Giải thích

Ta có ADB^=ACB^=90° (góc nội tiếp chắn nửa đường tròn).
Xét tứ giác ADEFcó: ADE^+AFE^=90°+90°=180°.
Suy ra tứ giác ADEF nội tiếp đường tròn.