a: Ta có: AE+EC=AC
BD+AD=AB
mà EC=AD và AB=AC
nên AE=BD
Ta có: DF//AC
=>\(\widehat{DFB}=\widehat{ACB}\)(hai góc đồng vị)
=>\(\widehat{DFB}=\widehat{DBF}\)
=>DB=DF
=>DF=AE
Xét tứ giác ADFE có
DF//AE
DF=AE
Do đó: ADFE là hình bình hành
b: ta có: ADFE là hình bình hành
=>AF cắt DE tại trung điểm của mỗi đường
mà O là trung điểm của AF
nên O là trung điểm của DE
=>D,O,E thẳng hàng