如图,边长为1的正方形ABCD中,点E是AB的中点,点F是BC的中点,将△AED、△DCF分别沿DE、DF折起,使A、C两点重合于点A1.
(1)求证:A1D⊥EF;
(2)求三棱锥A1-DEF的体积.