如图所示,AD是△ABC的角平分线,EF垂直平分AD,分别交AB于E,交AC于F,则四边形AEDF是菱形吗?