Ta đưa về mô hình theo \Delta DEF như sau:
"Cho \Delta ABC nội tiếp (O), trung trực của BCcắt AB,ACtại D,E. Tiếp tuyến tại B,Ccủa (O)cắt nhau tại S. Đường tròn đường kính DEcắt tiếp tuyến tại Acủa (O)tại X,Y. Chứng minh (SXY)tiếp xúc với (O)"
Gọi I là giao điểm của (AH) với (O), H là trực tâm...