三角形ABC中,角BAC=90度,AD垂直BC于点D,BE平分角 ABC交AD于点F,求证AE=AF.