因为 ABCD是矩形
所以 角ABC=角A=90度
因为 EF垂直BC
所以 角EFB=90度
因为 角ABC=角A=90度
所以 四边形ABFE是矩形
因为 BE平分角ABC,角ABC=90度
所以 角ABE=角EBF=45度
因为 角A=90度
所以 角AEB=180-90-45=45度
因为 角ABE=45度
所以 角AEB=角ABE
所以 AB=AE
因为 四边形ABFE是矩形
所以 四边形ABFE是正方形