1. (2019·怀化模拟) 如图，E是长方形ABCD的边AB上的点，EF⊥DE交BC于点F

1. （1） 求证：△ADE∽△BEF；
3. （2） 设H是ED上一点，以EH为直径作⊙O ， DF与⊙O相切于点G ， 若DH＝OH＝3，求图中阴影部分的面积（结果保留到小数点后面第一位， ≈1.73，π≈3.14）．