在三角形ABC中,角A=90°,AD垂直BC于点D,E为直角边AC的中点,过D、E作直线交AB的延长线于F,求证:AB乘