???????????????????????

Tứ giác `ABCD` là hình bình hành

`=>`$AB//CD;AB=CD$

`E;F` là trung điểm của `AB;CD`

`=>AE=CF;`$AE//CF$

`=>` Tứ giác `AECF` là hình bình hành

`AC∩BD=O`

Mà tứ giác `ABCD` là hình bình hành

`=>AC∩BD=O` ở trung điểm mỗi đường

`=>O` là trung điểm của `AC;BD`

Mà `E;F` là trung điểm `AB;CD`

`=>OE;OF` là đường trung bình của `\triangle ABD; \triangle ACD`

`=>`$OE//AD;OF//AD$

`=>O,E,F` thẳng hàng

`AC⊥AD`

`=>EF⊥AC`

`=>` Tứ giác `AECF` là hình thoi.