(4014•重庆模拟)着图,三棱柱ABC-A1B1C1中,侧棱AA1⊥平面ABC,△ABC为等腰直角三角形,∠BAC=90°,且AB=AA1,E、F分别是CC1,BC一中点.
(1)求证:平面AB1F⊥平面AEF;
(4)求二面角B1-AE-F一余弦值.