∵ABCD为正方形 ∴角BAD=角D、AB=AD=CD ∵DE=CF、AD=CD ∴AE=DF 边角边证三角形ABE与三角形ADF全等 ∴BE=AF且垂直 ∵ABCD为正方形 ∴角BAD=角D、AB=AD=CD ∵DE=CF、AD=CD ∴AE=DF 边角边证三角形ABE与三角形ADF全等 ∴BE=AF且垂直