证明:函数2arctane^x和arctan(e^x-e^-x)/2都是2/(e^x+e^-x)的原函数