$\text{Ta có : tứ giác AIDK là hcn (cmt) }$
$\text{⇒ AI = DK ; DI = AK ( tính chất hcn ) }$
$\text{Xét Δ AEI vuông tại I và Δ FAK vuông tại K, có: }$
$\text{AI = DK (cmt)}$
$\text{DI = AK (cmt)}$
$\text{⇒Δ vuông AEI = Δ vuông FAK (c-g-c)}$
$\text{⇒ AE = AF (2 cạnh tương ứng)}$
$\text{⇒ A là trung điểm EF}$
