问题补充：
如图，在△ABC中，AD是∠BAC的平分线，EF垂直平分AD交AB于E，交AC于F．
求证：四边形AEDF是菱形．
答案：
证明：∵AD平分∠BAC
∴∠BAD=∠CAD
又∵EF⊥AD，
∴∠AOE=∠AOF=90°
∵在△AEO和△AFO中
，
∴△AEO≌△AFO（ASA），
∴EO=FO
即EF、AD相互平分，
∴四边形AEDF是平行四边形
又EF⊥AD，
∴平行四边形AEDF为菱形．
解析分析：由∠BAD=∠CAD，AO=AO，∠AOE=∠AOF=90°证△AEO≌△AFO，推出EO=FO，得出平行四边形AEDF，根据EF⊥AD得出菱形AEDF．
点评：本题考查了平行四边形的判定，菱形的判定，线段垂直平分线，全等三角形的性质和判定等知识点，注意：对角线互相平分的四边形是平行四边形，对角线互相垂直的平行四边形是菱形．
