1. (2016·南山模拟) 如图，正方形ABGD中，AB=AD=6，梯形ABCD中，DE⊥DC交AB于E，DF平分∠EDC交BC于F，连结EF．

1. （1） 证明：EF=CF；
3. （2） 当 时，求EF的长．