D1EF平面与ADE成∏/4,因为ADE‖A1B1C1D1,故D1EF平面与A1B1C1D1成∏/4.
设A1F=X,FA=1,AB=1+X.
设BF交A1B1于K,连接KD1,过A1作A1H⊥KD1,连接FH.则角FHA1=∏/4.A1H=X.
AE‖KA1,可求KA1=（1+X）X/2.
直角三角形KA1D1中,A1H为斜边的高,有1/A1K^2+1/A1D1^2=1/A1H^2,得X=2/3