已知:在Rt三角形ABC中,角B=90度,三角形ADE是由三角形ABC绕点A旋转所得到的图形,直线DE与直线BC交于点F