设AD、EF的交点为O
由题知,AO=OD.
因为AD为角A的平分线,且AD垂直于EF
所以三角形AEF为等腰三角形.
所以OE=OF
所以AEDF是菱形（菱形的对角线互相垂直平分）