如图,AB//CD,∠BAF=∠F,∠EDC=∠E,求证△EOF是直角三角形.