Từ N kẻ đường thẳng song song với AB cắt BC tại K. Nối EK.
Xét ∆BEK và ∆NKE, ta có:
ˆEKB=ˆKENEKB^=KEN^ (so le trong vì EN // BC)
EK cạnh chung
ˆBEK=ˆNKEBEK^=NKE^ (so le trong vì NK // AB)
Suy ra: ∆BEK = ∆NKE (g.c.g)
Suy ra: BE = NK (hai cạnh tương ứng)
EN = BK (hai cạnh tương ứng)
Xét ∆ADM và ∆NKC, ta có:
ˆA=ˆKNCA^=KNC^ (đồng vị vì NK // AB)
AD = NK (vì cùng bằng BE)
ˆADM=ˆNKCADM^=NKC^ (vì cùng bằng ˆBB^)
Suy ra: ∆ADM = ∆NKC (c.g.c)
=>DM = KC (hai cạnh tương ứng)
Mà BC = BK + KC. Suy ra: BC = EN + DM