a) Xét ΔICD và ΔIED vuông tại D có:
+ IC = IE
+ ID chung
`=>` ΔICD = ΔIED (c-g-c)
`=>` $\widehat{ CID} =\widehat{ EID}$
`=>` ID là phân giác của $\widehat{ CIE}$
b) Theo Talet ta có:
+ Tam giác IED có: AB// ED
$ \Rightarrow \dfrac{{AB}}{{ED}} = \dfrac{{AI}}{{ID}}$
+ Tam gíac ICD có: AF//CD
$ \Rightarrow \dfrac{{AF}}{{CD}} = \dfrac{{AI}}{{ID}}$
$ \Rightarrow \dfrac{{AB}}{{ED}} = \dfrac{{AF}}{{CD}}$
mà: ED = CD
`=>` AB = AF
`=>` B đối xứng với F qua AD