正方体ABCD-A1B1C1D1的棱长为a,E,F是线段AD1,DB上的点,且AE=BF.