在三角形ABC中,角ABC=90°,AD平分角BAC,DE垂直AB于E,EF交AC于F,交AD于O.