如图，AB是半圆O的直径，半径OC⊥AB，⊙O1的直径是OC，AD切⊙O1于D，交OC的延长线于E，设⊙O1的半径为r=3，则DE=________．
网友回答
4
解析分析：先连接O1D，设DE=x，由于OC⊥AB，AE是切线，可知∠AOE=∠O1DE=90°，结合∠E=∠E，易证△AOE∽△O1DE，利用勾股定理可求O1E，进而可求OE，利用相似三角形得出的比例线段，可得x：3=（+3）：6，求解即可．
解答：解：如右图所示，连接O1D，设DE=x，
∵OC⊥AB，AE是切线，
∴∠AOE=∠O1DE=90°，
∵∠E=∠E，
∴△AOE∽△O1DE，
∴DE：O1D=OE：AO，
∴x：3=（+3）：6，
解得x1=0（不合题意，舍去），x2=4．
故