* Xét tam giác BDE và tam giác EFB có:
+) \widehat{DEB} = \widehat{EBF} ( so le trong)
+) BE chung
+) \widehat{FEB} = \widehat{DBE} ( so le trong)
=> Tam giác BDE = tam giác EFB ( g.c.g )
=> EF = BD ( 2 cạnh tương ứng)
* Mà AD = BD ( D là trung điểm của AB)
=> EF = AD. ( cpcm)