在直角三角形ABC中,锐角C的角平分线CE交斜边的高AD于O,过O点作平行于斜边BC的直线交AB于F点。求证AE=BF