1. (2020·上海模拟) 如图，梯形ABCD中，AD∥BC，∠ADC=90º，AD= 2，BC= 4， .以AB为直径作⊙O，交边DC于E、F两点.

1. （1） 求证：DE=CF.
3. （2） 求直径AB的长.