Vì DF // AE (DF//AB; E \(\in AB\)) nên \(\widehat{AEF}=\widehat{EFD}\) (2 góc so le trong)
Hay \(\widehat{AEI}=\widehat{IFD}\) ( I \(\in EF\) )
Xét \(\Delta AEI\) và \(\Delta DFI\) có:
\(\widehat{AEI}=\widehat{IFD}\) (c/m trên)
IE=IF(I là trung điểm của EF)
\(\widehat{AIE}=\widehat{DIF}\) (2 góc đối đỉnh)
=> \(\Delta AEI=\Delta DFI\left(g.c.g\right)\)
=> IA=IB( 2 cạnh tương ứng). Mà I nằm giữa A và B
=> I là trung điểm của AB