∠AD=∠BAD+∠ABD
∵∠ADE=∠ABC
∴∠BAD=∠EDC=∠BDF
∴△FBD∽△FDA
∴BF:FD=FD:AF
即x:y=y:(x+6)
∴y=(x^2+6X)^1/2 X为>0的一切实数