a: Xét ΔABC có
E là trung điểm của BC
F là trung điểm của AC
Do đó: EF là đường trung bình của ΔABC
Suy ra: EF//AD và EF=AD
Xét tứ giác ADEF có
EF//AD
EF=AD
Do đó: ADEF là hình bình hành
mà \(\widehat{FAD}=90^0\)
nên ADEF là hình chữ nhật
mà AD=AF
nên ADEF là hình vuông