Cho tam giác ABC vuông cân tại A có đường cao AH. Trên đoạn thẳng HC lấy điểm K rồi dựng hình chữ nhật AHKO. Vẽ đường tròn (O; OK), đường tròn này cắt cạnh AB tại D, cắt cạnh AC tại E. Gọi F là giao điểm thứ hai của (O) với đường thẳng AB. Chứng minh rằng bốn điểm D, A, O, E cùng thuộc một đường tròn