ABCD-A1B1C1D1为长方体,O,O1分别为四边形ABCD,A1B1C1D1的对角线的交点,E,F分别为四边形AA