答案
证明:(1)如图1,连接OE,OD,由题意得,
DE=DA=10,
OA=OE=AB=5,OD为公共边
∴△AOD≌△EOD(SSS)
∴∠OED=∠OAD=90°
∴OE⊥DE,
∴DE与圆O相切.
(2)当点E运动到与B点重合的位置时,如图2,DE为正方形ABCD的对角线,所以此时DE最长,
有:
DE==10,
当点E运动到线段OD与半圆O的交点处时,DE最短.

证明如下:
在半圆O上任取一个不与点E重合的点E′,连接OE′,DE′.如图3,
在△ODE′中,∵OE′+DE′>OD即:OE′+DE′>OE+DE,
∵OE′=OE,
∴DE′>DE
∵点E′是任意一个不与点E重合的点,∴此时DE最短.
∴
DE=OD-OE=-OE=-5=5-5,
(3)当点E与点A重合时,DE=DA=10,此时,直线DE的解析式为y=10;如图4,
当点E与点A不重合时,过点E作GH⊥x轴,分别交AD,x轴于点G,H,连接OE.
则四边形AFEG是矩形,
连接OD,
∵AD=DE,OA=OE,OD=OD,
∴△AOD≌△EOD,
∴∠OED=90°,
∴DE为圆O的切线
∴∠FEG=∠OED=90°
∴∠FEO=∠GED,

又∵∠OFE=∠DGE=90°
∴△OFE∽△DGE
∴
==,
设E(m,n),则有:EF=m,OF=OB-FB=5-n
得:
==,
解得:
,即:E(4,2)
又直线DE过点D(10,10),设直线DE解析式为y=kx+b,则有:
,
解得:
,即:
y=x-∴当DE=10时,直线DE的解析式为
y=x-;
以下两种解法涉及高中知识,仅供参考:
另解2:
(1)当点E与点A重合时,DE=DA=10,此时,直线DE的解析式为y=10;
(2)当点E与点A不重合时,
tan∠ADO=,
tan∠ADE=tan2∠ADO==设直线
y=x+b且经过点(10,10),代入求得
b=-所以直线DE的解析式为
y=x-;
另解3:
依题意得:点O的坐标为(0,5),设直线DE的解析式为y=kx+b
由点到直线的距离公式得:
l==5,即(b-5)
2=25(k
2+1)①
直线DE过点D(10,10),得10=10k+b②
由①②解得:75k
2-100k=0,解得
k=0,k=所以直线DE的解析式为:为
y=x-.
证明:(1)如图1,连接OE,OD,由题意得,
DE=DA=10,
OA=OE=AB=5,OD为公共边
∴△AOD≌△EOD(SSS)
∴∠OED=∠OAD=90°
∴OE⊥DE,
∴DE与圆O相切.
(2)当点E运动到与B点重合的位置时,如图2,DE为正方形ABCD的对角线,所以此时DE最长,
有:
DE==10,
当点E运动到线段OD与半圆O的交点处时,DE最短.

证明如下:
在半圆O上任取一个不与点E重合的点E′,连接OE′,DE′.如图3,
在△ODE′中,∵OE′+DE′>OD即:OE′+DE′>OE+DE,
∵OE′=OE,
∴DE′>DE
∵点E′是任意一个不与点E重合的点,∴此时DE最短.
∴
DE=OD-OE=-OE=-5=5-5,
(3)当点E与点A重合时,DE=DA=10,此时,直线DE的解析式为y=10;如图4,
当点E与点A不重合时,过点E作GH⊥x轴,分别交AD,x轴于点G,H,连接OE.
则四边形AFEG是矩形,
连接OD,
∵AD=DE,OA=OE,OD=OD,
∴△AOD≌△EOD,
∴∠OED=90°,
∴DE为圆O的切线
∴∠FEG=∠OED=90°
∴∠FEO=∠GED,

又∵∠OFE=∠DGE=90°
∴△OFE∽△DGE
∴
==,
设E(m,n),则有:EF=m,OF=OB-FB=5-n
得:
==,
解得:
,即:E(4,2)
又直线DE过点D(10,10),设直线DE解析式为y=kx+b,则有:
,
解得:
,即:
y=x-∴当DE=10时,直线DE的解析式为
y=x-;
以下两种解法涉及高中知识,仅供参考:
另解2:
(1)当点E与点A重合时,DE=DA=10,此时,直线DE的解析式为y=10;
(2)当点E与点A不重合时,
tan∠ADO=,
tan∠ADE=tan2∠ADO==设直线
y=x+b且经过点(10,10),代入求得
b=-所以直线DE的解析式为
y=x-;
另解3:
依题意得:点O的坐标为(0,5),设直线DE的解析式为y=kx+b
由点到直线的距离公式得:
l==5,即(b-5)
2=25(k
2+1)①
直线DE过点D(10,10),得10=10k+b②
由①②解得:75k
2-100k=0,解得
k=0,k=所以直线DE的解析式为:为
y=x-.