已知四边形ABCD是正方形,以BC为斜边作Rt△BCE,又以BE为直角边作等腰直角三角形EBF,且∠EBF=90°连AF