1. (2019·玉林模拟) 如图，在Rt△ABC中，∠C＝90°，以BC为直径的⊙O交AB于点D，过点D作⊙O的切线DE交AC于点E.

1. （1） 求证：∠A＝∠ADE；
3. （2） 若AB＝25，DE＝10，弧DC的长为a，求DE、EC和弧DC围成的部分的面积S.（用含字母a的式子表示）.