(1)EF是AC的垂直平分线,
AE=CE,CE⊥AB
=∠EAC=45°=∠ACD
因为是等腰梯形,
可证∠BDc=∠ACD=45°,
则对角线构成的交点为90°
BD⊥AC,EF∥BD
(2)
设EF与BD的交点为M,BD与AC交于点N,
由于EF∥BD,
所以 EF/BD=AM/AN,
BD=BN+DN=ABsin45°+CDsin45°=7√2/2+3√2/2=5√2,
AM=1/2AC=1/2BD=5√2/2,
AN=7√2/2,
所以 EF=AM*BD/AN=5√2*(5√2/2)/(7√2/2)=25√2/7 .