Dựng đường tròn tâm O tiếp xúc với AB. Chứng minh rằng đường tròn này luôn tiếp xúc với DE và AC.
∆ ABC đều nên đường trung tuyến AO cũng là đường phân giác trong của , mà DO là phân giác ngoài tại đỉnh D => O là tâm đường tròn bàng tiếp trong góc A của
∆ ADE.