等腰三角形abc中,EF丄BC.求证:AE=AF