如图,在三角形ABC中,角BAC=90度,AD垂直BC于D,BE平分角ABC交AD于F,交AC于E,求证AB^2-AE^