Trên AB lấy K sao cho AN = NK
Lại có: AD = DC (gt)
=> DN là đường trung bình của tam giác ACK
=> DN // CK hay EN // CK
Tam giác BNE có: EN // CK
=> BC/BE = BK/BN ( định lí Ta-let)
=> BC/BC+CE = BK/KN
=> \(\frac{BC}{BC+\frac{1}{2}BC}\) = BK/KN = 2/3
hay NK = 1/2 BK = AN
Mà: NK + BK + AN = AB => AB = 4AN (đpcm)