用反正弦函数表示arccos(1/3)— arctan(√2/4)