已知AD是三角形ABC的角平分线,DE平行于AC交AB于E,DF平行于AB交AC于F,四边形AEDF是菱形吗?请证明.