在三角形ABC中,角BAC=90度,AD垂直于BC,角ABE=角CBE,求证:AE=AF