反三角函数公式推导急求各位高手推导反三角函数公式,尤其是反余弦和反正切的推导过程,就负x那个