1. (2020七下·双阳期末)

1. （1） 基础探究：如图①，在正方形ABCD中，点E为AD上一点，DF⊥CE交AB于F，垂足为点O．求证：CE＝DF．
   
3. （2） 应用拓展：如图②，在正方形ABCD中，点E为AD上一点，FG⊥CE分别交AB、CD于F、G，垂足为点O．若正方形ABCD的边长为12，DE＝5，则四边形EFCG的面积为．