已知:三角形ABC中,AD是角BAC的角平分线,DE//AC,DF//AB.求证:四边形AEDF是菱形