如图,在三角形ABC中,角BAC=90度,AD垂直BC于D,角1=角2,EF平行BC交AC于F,求证AE=