解:因为三角形AEF为直角三角形
所以AF^2=AE^2+EF^2
同理 三角形ABE 和三角形EFC也是直角三角形
AE^2=AB^2+BE^2=1+x^2
EF^2=EC^2+CF^2=(1-x)^2+(1-y)^2
同理三角形ADF是直角三角形
AF^2=AD^2+DF^2=1+y^2
即1+y^2=1+x^2+(1-x)^2+(1-y)^2
化简后有y=x^2-x+1
实际上就是几个直角三角形的抓换 只要抓住斜边AF就迎刃而解了,你自己试试看
不会