(1)证明:∵∠DEF=45°,
∴∠DFE=90°-∠DEF=45°.
∴∠DFE=∠DEF.
∴DE=DF.
又∵AD=DC,
∴AE=FC.
∵AB是圆B的半径,AD⊥AB,
∴AD切圆B于点A.
同理:CD切圆B于点C.
又∵EF切圆B于点G,
∴AE=EG,FC=FG.
∴EG=FG,即G为线段EF的中点.
(2)根据(1)中的线段之间的关系,得EF=x+y,DE=1-x,DF=1-y,
根据勾股定理,得:
(x+y) 2=(1-x) 2+(1-y) 2
∴y=
1-x
1+x (0<x<1).
(3)当EF=
5
6 时,由(2)得EF=EG+FG=AE+FC,
即x+
1-x
1+x =
5
6 ,
解得x 1=
1
3 ,x 2=
1
2 .
经检验x 1=
1
3 ,x 2=
1
2 是原方程的解.
①当AE=
1
2 时,△AD 1D ∽ △ED 1F,
证明:设直线EF交线段DD 1于点H,由题意,得:
△EDF≌△ED 1F,EF⊥DD 1且DH=D 1H.
∵AE=
1
2 ,AD=1,
∴AE=ED.
∴EH ∥ AD 1,∠AD 1D=∠EHD=90°.
又∵∠ED 1F=∠EDF=90°,
∴∠FD 1D=∠AD 1D.
∴D 1F ∥ AD,
∴∠ADD 1=∠DD 1F=∠EFD=45°,
∴△ED 1F ∽ △AD 1D.
②当AE=
1
3 时,△ED 1F与△AD 1D不相似.