Cho tam giác ABC vuông cân tại A có đường cao AH. Trên HC lấy K, vẽ hình chữ nhật AHKO. Vẽ đường tròn tâm O bán kính OK, đường tròn này cắt cạnh AB tại D, cắt AC tại E. Gọi F là giao điểm thứ 2 của (O) và đường thẳng AB. Chứng minh rằng:
a) Tam giác AEF vuông cân và DO vuông góc với OE
b) 4 điểm D,A,O,E cùng nằm trên 1 đường tròn