①一组对边平行且相等的四边形是平行四边形;②对角线互相垂直且相等的四边形是菱形;③对角线互相平分且相等的四边形是矩形:④顺次连接任意四边形各边中点所得到的四边形一定是平行四边形.
求证:四边形AEDF是菱形.
感知:如图①,在正方形ABCD中,点E在对角线AC上(不与点A、C重合),连结ED,EB,过点E作EF⊥ED,交边BC于点F.易知∠EFC+∠EDC=180°,进而证出EB=EF.