Vẽ hình chữ nhật ABDC
FE cắt BD tại I; BC cắt DF tại M
ΔBHE∼ΔEFC(g−g)⇒EFHB=FCHE⇔EF.HE=HB.FC
Áp dụng định lí Menelaus vào ΔBAF với cát tuyến CKH ta có:
KBKF.CFCA.HAHB=1⇔FKKB=CF.HACA.HB
ΔFBD có:
DMMF.KFKB.IBID=BDFC.CF.HACA.HB.IBID=EFHB.HEFC=1
Theo định lí Ceva thì DK, BM,FI đồng quy tại E.
Vậy EK luôn đi qua D cố định