当A、C两顶点在直线l两侧时，其它条件
根据正方形的性质及条件证明△AEB≌△BFC就可以得出AE=BF，BE=CF，从而可以得出结论．
解：结论：EF=AE-CF
理由：∵四边形ABCD是正方形，
∴AB=BC，∠ABC=90°．
∵AE⊥直线l、CF⊥直线l，
∴∠AEB=∠BFC=90°．
∵∠ABE+∠CBF=90°
∠ABE+∠BAE=90°，
∴∠BAE=∠CBF（同角的余角相等）．
在△AEB与△BFC中
∠AEB=∠BFC
∠BAE=∠CBF
AB=BC
，
∴△AEB≌△BFC（AAS），
∴AE=BF，BE=CF （全等三角形的对应边相等）．
∵EF=BF-BE，
∴EF=AE-CF（等量代换）。 全部
根据正方形的性质及条件证明△AEB≌△BFC就可以得出AE=BF，BE=CF，从而可以得出结论．
解：结论：EF=AE-CF
理由：∵四边形ABCD是正方形，
∴AB=BC，∠ABC=90°．
∵AE⊥直线l、CF⊥直线l，
∴∠AEB=∠BFC=90°．
∵∠ABE+∠CBF=90°
∠ABE+∠BAE=90°，
∴∠BAE=∠CBF（同角的余角相等）．
在△AEB与△BFC中
∠AEB=∠BFC
∠BAE=∠CBF
AB=BC
，
∴△AEB≌△BFC（AAS），
∴AE=BF，BE=CF （全等三角形的对应边相等）．
∵EF=BF-BE，
∴EF=AE-CF（等量代换）。
收起
