在三角形ABC中,角B45度,D,E,F分别是AB,AC,BC的中点