Nếu đường tròn (O) tiếp xúc trong với đường ngoại tiếp tam giác ABC và tiếp xúc với các cạnh AB, AC của tam giác tại E, F thì EF đi qua tâm dường tròn nội tiếp tam giác ABC
chúng ta có thể tham khảo về nhị thức NIU-ton cũng như tam giác Pax-cal trong các cuốn sách như nâng cao và phát triên toán 8 hoặc các cuốn sách đai số dều có nối về vấn đề này