∫1/(1+e^x)dx＝∫e^(-x)/(1+e^(-x))dx＝-∫1/(1+e^(-x))d(1+e^(-x))＝-ln(1+e^(-x))＋C＝-ln((1+e^x)/e^x)＋C＝x-ln(1+e^x)＋C