AD与EF相交与O
因为角EAD=角DAF
所以三角形AOE全等三角形AOD
所以AE=AF
又因为AO=DO
所以三角形AOE全等三角形EOD
所以AE=ED
同理AF=FD
所以AE=AF=ED=FD
所以三角形AEDF为菱形