Cho góc xAy = 90 độ. Trên Ax lấy điểm B cố định, trên Oy lấy điểm C di động. Vẽ đường tròn tâm O nội tiếp tam gíac ABC tiếp xúc với các cạnh BC, CA, AB lần lượt tại D, E, F. Hai đoạn thẳng DE và OA cắt nhau tại G. Chứng minh O, D, G, B, F cùng thuộc 1 đường tròn