Question

如圖1所示，在正方形ABCD中，AB=1，

AC

是以點(diǎn)B為圓心，AB長(zhǎng)為半徑的圓的一段弧，點(diǎn)E是邊AD上的任意一點(diǎn)（點(diǎn)E與點(diǎn)A、D不重合），過(guò)E作AC所在圓的切線，交邊DC于點(diǎn)F，G為切點(diǎn)．
（1）當(dāng)∠DEF=45°時(shí)，求證：點(diǎn)G為線段EF的中點(diǎn)；
（2）設(shè)AE=x，F(xiàn)C=y，求y關(guān)于x的函數(shù)解析式，并寫出函數(shù)的定義域；
（3）圖2所示，將△DEF沿直線EF翻折后得△D₁EF，當(dāng)EF=

5

6

時(shí)，討論△AD₁D與△ED₁F是否相似，如果相似，請(qǐng)加以證明；如果不相似，只要求寫出結(jié)論，不要求寫出理由．

Answer 1

（1）證明：∵∠DEF=45°，
∴∠DFE=90°-∠DEF=45°．
∴∠DFE=∠DEF．
∴DE=DF．
又∵AD=DC，
∴AE=FC．
∵AB是圓B的半徑，AD⊥AB，
∴AD切圓B于點(diǎn)A．
同理：CD切圓B于點(diǎn)C．
又∵EF切圓B于點(diǎn)G，
∴AE=EG，F(xiàn)C=FG．
∴EG=FG，即G為線段EF的中點(diǎn)．

（2）根據(jù)（1）中的線段之間的關(guān)系，得EF=x+y，DE=1-x，DF=1-y，
根據(jù)勾股定理，得：
（x+y）²=（1-x）²+（1-y）²
∴y=

1-x

1+x

（0＜x＜1）．

（3）當(dāng)EF=

5

6

時(shí)，由（2）得EF=EG+FG=AE+FC，
即x+

1-x

1+x

=

5

6

，
解得x₁=

1

3

，x₂=

1

2

．
經(jīng)檢驗(yàn)x₁=

1

3

，x₂=

1

2

是原方程的解．
①當(dāng)AE=

1

2

時(shí)，△AD₁D∽△ED₁F，
證明：設(shè)直線EF交線段DD₁于點(diǎn)H，由題意，得：
△EDF≌△ED₁F，EF⊥DD₁且DH=D₁H．
∵AE=

1

2

，AD=1，
∴AE=ED．
∴EH∥AD₁，∠AD₁D=∠EHD=90°．
又∵∠ED₁F=∠EDF=90°，
∴∠FD₁D=∠AD₁D．
∴D₁F∥AD，
∴∠ADD₁=∠DD₁F=∠EFD=45°，
∴△ED₁F∽△AD₁D．
②當(dāng)AE=

1

3

時(shí)，△ED₁F與△AD₁D不相似．