1. (2020九上·江川期末) 如图，在Rt△ABC中，∠ACB=90°，以直角边BC为直径的⊙O交斜边AB于点D．点E为边AC的中点，连接DE并延长交BC的延长线于点F．

1. （1） 求证：直线DE是⊙O的切线；
3. （2） 若∠B=30°，AC=4，求阴影部分的面积．