在RT三角形ABF中,AB=3,AF=AD=5
BF^2+AB^2=AF^2
BF=4
CD=AB=3
设EC=X
EF=DE=CD-CE=3-X
在RT三角形EFC中,EC^2+FC^2=EF^2
(3-X)^2=X^2+1^2
X=4/3
EF^2=X^2+1
EF=5/3