1. (2024九上·南关开学考) 基础探究：如图①，在正方形ABCD中，点E为AD上一点，DF⊥CE交AB于F，垂足为点O．求证：CE＝DF．

应用拓展：如图②，在正方形ABCD中，点E为AD上一点，FG⊥CE分别交AB、CD于F、G，垂足为点O．若正方形ABCD的边长为12，DE＝5，则四边形EFCG的面积为_______ ．