Cho tam giác ABC vuông tại A. Trên AC lấy điểm D. Hình chiếu của D lên BC là E, điểm đối xứng của E qua BD là F. Chứng minh 5 điểm A, B, E, D, F cùng nằm trên một đường tròn. Xác định tâm O của đường tròn đó.