已知:如图,点E在正方形ABCD的对角线BD上,且BE=AB,EF垂直于