RT三角形ABC中,BC=5根号3, D从C出发每秒2个单位 求证AE=DF