在梯形ABCD中,AD平行BC,角B=90度,角C=45度,AD=1.BC=4,E为AB中点,EF平行DC交F,求EF长