1. (2018·武汉模拟) 如图，⊙O为正方形ABCD的外接圆，E为弧BC上一点，AF⊥DE于F，连OF、OD．

1. （1） 求证：AF=EF；
   
3. （2） 若 ，求sin∠DOF的值．