问题描述： 证明arctanx-1/2arccos(2x/(1+2x^2))=Л/4(x>=1) 1个回答 分类：数学 2014-11-12 问题解答： 我来补答 这是一道证明题,构造辅助函数f（x）=arctanx+arccox(2x/（1+x2）)-π/4,求导f '(x)=0,由拉格朗日和谐中值定理推论（在区间t∈（a,b）有f '(t)=0 ＝> f（x）≡C）得到f(x)=C,带入任意简单值得出f（x）=0.所以等式成立,证明完毕.比较难的就是求导过程. 展开全文阅读
