`a)`
Vì `EF////BC(g``t)`
Mà `D∈BC`
`⇒EF////BD`
Vì `ED////AB(g``t)`
Mà `F∈AB`
`⇒ED////BF`
Xét tứ giác `BFED` có:
`EF////BD(cmt)`
`ED////BF(cmt)`
`⇒` tứ giác `BFED` là hình bình hành `(` tứ giác có các cạnh đối song song là hình bình hành `)(đpcm)`
`b)`
Vì tứ giác `BFED` là hình bình hành
`⇒BF=DE(` tính chất hình bình hành `)`
Mà `AE=BF(g``t)`
`⇒AE=DE`
`⇒ΔAED` cân tại `E`
`⇒hat{A_2}=hat{D_1}(` tính chất `Δ` cân `)(1)`
Vì `ED////AB(g``t)`
`⇒hat{D_1}=hat{A_1}(2` góc so le trong `)(2)`
Từ `(1)` và `(2)⇒hat{A_1}=hat{A_2}`
`⇒AD` là phân giác của `hat{BAC}(đpcm)`