Từ E kẻ ED//AC (D thuộc AB)

Dựa vào các đường thẳng song song trong tam giác ABC, ta có:

DBEˆ=HFCˆ;DEBˆ=HCFˆ;DAEˆ=GEAˆ;EDAˆ=AGEˆDBE^=HFC^;DEB^=HCF^;DAE^=GEA^;EDA^=AGE^

Dễ chứng minh được ΔBDE=ΔFHC(g−c−g)⇒BD=FHΔBDE=ΔFHC(g−c−g)⇒BD=FH (1)

ΔDAE=ΔGEA(g−c−g)⇒AD=EGΔDAE=ΔGEA(g−c−g)⇒AD=EG (2)

Từ (1) và (2) => BD+AD=FH+EG hay EG+FH=AB (do D thuộc AB)