Xét $\triangle$DEC và $\triangle$FED có:
BE = EC
$\widehat{D1}$ = $\widehat{F1}$
$\widehat{DEC}$ = $\widehat{BEF}$ (đối đỉnh)
Vậy $\triangle$DEC = $\triangle$FED (g.c.g)
`=>` DE = EF `=>` AE là trung tuyến DC
Ta có $\widehat{ADF}$ = $\widehat{F1}$ = $\widehat{D1}$
`=>` $\triangle$DAF cân tại A
$\triangle$DAF cân tại A và AE là trung tuyến DF
`=>` AE là đường cao $\triangle$ADF
`=>` AE $\bot$ DF
`=>` $\widehat{AED}$ = `90^o`