在梯形ABCD中,AD//BC,∠B=90°,∠C=45°,AD=1,BC=4,E为AB中点,EF//DC交BC于F,求