Ta có AC giao EF tại H
Mà H đồng thời là trung điểm của AC và EF ( theo gt )
=> tứ giác AECF là hình bình hành (1)
Xét tam giác ABC vuông tại A có AE là trung tuyến ứng với cạnh huyền BC
=> AE = EC (2)
Từ (1) và (2) => tứ giác AECF là hình thoi ( đpcm )