1. (2019·浙江) 如图，已知三棱柱ABC-A₁B₁C₁ ， 平面A₁AC₁C⊥平面ABC，∠ABC=90°.∠BAC=30°，A₁A=A₁C=AC，E，F分别是AC，A₁B₁的中点

 

1. （1） 证明：EF⊥BC
3. （2） 求直线EF与平面A₁BC所成角的余弦值.