如图,三角形ABC中,角AB=90度,BA=BC,三角形BEF为等腰三角形,角NEF=90度,为AF的中点,求证: