RT三角形ABC中,AD是斜边上的高,BE是角ABC的平分线,AD交BE于点O,EF垂直AD,求证AF=OD