连接OD,OC.证明三角形OBC与三角形OEC全等,三角形ADO与三角形ODE全等（条件很简单,自己想.）则DE为X,CE为Y,FC等于Y-X.列方程（Y-X)的平方+12的平方=（X+Y)的平方.解出来就可以了.