如图2,将直角三角形ABC沿AB的方向平移AD距离得三角形DEF,已知