小题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,
根据勾股定理,得:[来源:Zxxk.Com]
(x+y) 2=(1-x) 2+(1-y) 2
∴y=
(0<x<1).
小题3:当EF=
时,由(2)得EF=EG+FG=AE+FC,
即x+
=
,
解得x 1=
或x 2=
.
①当AE=
时,△AD 1D∽△ED 1F,
证明:设直线EF交线段DD 1于点H,由题意,得:
△EDF≌△ED 1F,EF⊥DD 1且DH=D 1H.
∵AE=
,AD=1,
∴AE=ED.
∴EH∥AD 1,∠AD 1D=∠EHD=90°.
又∵∠ED 1F=∠EDF=90°,
∴∠ED 1F=∠AD 1D.
∴△ED 1F∽△AD 1D.
②当AE=
时,△ED 1F与△AD 1D不相似.
此题综合运用了切线长定理、相似三角形的判定和性质;能够发现正方形,根据正方形的性质进行分析证明