连EF因为AB=AC，AD垂直于BC所以D为BC中点又因为F为AC中点所以AE平行于DF，同理可得DE平行于AF所以四边形AEDF为平行四边形因为EF为中位线，所以EF平行于BC又因为AD垂直于BC所以AD垂直于EF所以AEDF为菱形
