Question

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

AC

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

5

6

時，討論△AD₁D與△ED₁F是否相似，如果相似，請加以證明；如果不相似，只要求寫出結論，不要求寫出理由．

Answer 1

（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，F(xiàn)C=FG．
∴EG=FG，即G為線段EF的中點．

（2）根據(jù)（1）中的線段之間的關系，得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）當EF=

5

6

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

1-x

1+x

=

5

6

，
解得x₁=

1

3

，x₂=

1

2

．
經檢驗x₁=

1

3

，x₂=

1

2

是原方程的解．
①當AE=

1

2

時，△AD₁D∽△ED₁F，
證明：設直線EF交線段DD₁于點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．
②當AE=

1

3

時，△ED₁F與△AD₁D不相似．