【已知点O是边长为2的正方形ABCD已知点O是边长为2的正方形ABCD的中心,动点E、F分别在变AB、AD上移动（含端当∠EOF=45°时,设BE=x,DF=y,求y与x之间的函数关系式,写出x的取值范围,并探究直线EF与内切】

问题：【已知点O是边长为2的正方形ABCD已知点O是边长为2的正方形ABCD的中心,动点E、F分别在变AB、AD上移动（含端当∠EOF=45°时,设BE=x,DF=y,求y与x之间的函数关系式,写出x的取值范围,并探究直线EF与内切】

答案：↓↓↓

涂仁发的回答：

网友采纳　　连接EF,过点O做OM⊥AD,ON⊥AB,在BN上截取NK=FM,△OFM≌△ONK　　∠KoN=∠FoM,∠NOE+∠FOM=45°∠KON+∠NOE=45°　　△KOE≌△OFE,EF=EK=EN+FM　　（2-x）^2+(2-y)^2=(x-1+y-1)^2　　y=2/x,0＜x≤2

陈海鹏的回答：

网友采纳　　主要是怎么证明线EF与内切圆O的相切？