如图是一个直三棱柱（以A₁B₁C₁为底面）被一平面
所截得到的几何体，截面为ABC．已知A₁B₁＝B₁C₁＝l，∠A_lB_lC₁＝90°，
AA_l＝4，BB_l＝2，CC_l＝3，且设点O是AB的中点。

（1）证明：OC∥平面A₁B₁C₁；
（2）求异面直线OC与A_lB_l所成角的正切值。