Hai cung BF và CF bằng nhau nên hai góc BAF và CAF bằng nhau, do đó AF là phân giác góc BAC.
Ba đường phân giác của tam giác cắt nhau tại một điểm mà hai đường BD và CE cắt nhau tại I nên đường phân giác góc A cũng đi qua I hay ba điểm A, I, F thẳng hàng.