是证明:因为DE//AF,DF//AE 所以AEDF是平行四边形 AD是角平分线 角BAD=角CAD DE//AF 角ADE=角CAD 角BAD=角ADE AE=DE 所以AEDF是菱形