1. (2023·双柏模拟) 如图，AB是⊙O的直径，点E在AB的延长线上，AC平分∠DAE交⊙O于点C，AD⊥DE于点D．

（l）求证：直线DE是⊙O的切线．

1. （1） 如果BE=2，CE=4，求线段AD的长．