等腰直角三角形ABC求证:EF=BF-AE