如图，在Rt△ABC中，∠ACB＝90°．线段EF是由线段AB平移得到的，点F在边BC上，△EFD是以EF为斜边的等腰直角三角形，且点D恰好在AC的延长线上．