已知四边形ABCD是正方形,E是正方形内一点,以BC为斜边作直角三角形BCE,又以BE为直角边作等腰直角三角形EBF,且