小聪把△ABE绕点A逆时针旋转90°至△ADG,从而发现EF=BE+FD,请你利用图(1)证明上述结论.
如图(2),四边形ABCD中,∠BAD≠90°,AB=AD,∠B+∠D=180°,点E、F分别在边BC、CD上,则当∠EAF与∠BAD满足关系时,仍有EF=BE+FD.
如图(3),在某公园的同一水平面上,四条通道围成四边形ABCD.已知AB=AD=80米,∠B=60°,∠ADC=120°,∠BAD=150°,道路BC、CD上分别有景点E、F,且AE⊥AD,DF=40( ﹣1)米,现要在E、F之间修一条笔直道路,求这条道路EF的长(结果取整数,参考数据: =1.41, =1.73)