构造函数，利用导数＝0，函数为常数证明
过程如下图：
tan[arctan（1+x）]=1+x
tan[arctan（1-x）]=1-x
所以tan[arctan（1+x）+arctan（1-x）]=[(1+x)+(1-x)]/[1-(1+x)(1-x)]
=tan1/4π=1
所以2/x^2=1
x^2=2
arccos（x/2）=arccos(±√2/2)
arccos(√2/2)=1/4π
arccos(-√2/2)=3/4π
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024