求：X轴（100）与Z轴（001）在任意投影面（AX+BY+CZ=0）的夹角。
如图，我用ABC分别表示出O,X,和O,Z,，并根据cosθ公式进行了展开，但是这个表达式好长啊啊啊，有没有大神帮忙化简，或者有更好的办法求这个角度。感谢感谢！