证明:(1)∵ABCD是正方形
∴AD⊥AB,DC⊥BC,
即AD⊥AE,DC⊥CF,折起后,即A′D⊥A′E,A′D⊥A′F
∴A′D⊥面A′EF
∴A′D⊥EF
(2)A´E=AE=1,A´F=CF=
3
2
,EF=
5
2
∴A´F2=EF2+A...
证明:(1)∵ABCD是正方形
∴AD⊥AB,DC⊥BC,
即AD⊥AE,DC⊥CF,折起后,即A′D⊥A′E,A′D⊥A′F
∴A′D⊥面A′EF
∴A′D⊥EF
(2)A´E=AE=1,A´F=CF=
3
2
,EF=
5
2
∴A´F2=EF2+A...