Có AE,AF là các đ/phân giác nên \(\frac{AD}{BD}=\frac{AE}{BE}\left(1\right),\frac{AD}{DC}=\frac{AF}{FC}\left(2\right)\)
BD=DC nên (1)=(2) \(\Rightarrow\frac{AE}{BE}=\frac{AF}{FC}\Rightarrow\)EF//BC
Có D là tđ BC mà EF//BC theo hệ quả thales suy ra ĐPCM