1.

如图，正方形ABCD是⊙O的内接正方形，延长BA到E，使AE=AB，连接ED．

1. （1）

   求证：直线ED是⊙O的切线；
   

   

3. （2） 连接EO交AD于点F，求证：EF=2FO．