平行四边形、矩形、菱形、正方形的性质和判定 (13 20:54:45)

设EF与AD交点为O,
因为EF为AD的垂直平分线,AD是⊿ABC角平分线,所以AEO与AFO全等（角边角）,因此EO=OF,所以EOD与FOD全等（边角边）,
因为EF为AD的垂直平分线,所以AO=DO,AEO与DEO全等
所以AEO,AFO,DEO,DFO四个三角形全等
因此AEDF为菱形