如图，已知三棱柱ABC-A₁B₁C₁，平面AA₁C₁C⊥平面ABC,∠ABC=90°，∠BAC=30°,A₁A=A₁C=AC,E,F分别是AC,A₁B₁的中点. （1）证明：EF⊥BC；

摘要： 如图，已知三棱柱ABC-A₁B₁C₁，平面AA₁C₁C⊥平面ABC,∠ABC=90°，∠BAC=30°,A₁A=A₁C=AC,E,F分别是AC,A₁B₁的中点.

（1）证明：EF⊥BC；
（2）求直线与平面所成