(1) 部分積分を用いる。u=log(x+1), dv=xdx とすると、du=x+11dx, v=2x2 である。また x+1x2=x−1+x+11 だから ∫xlog(x+1)dx=2x2log(x+1)−21∫x+1x2dx=2x2log(x+1)−4x2+2x−21log(x+1). 従って ∫{ax−xlog(x+1)}dx=2ax2−2x2−1log(x+1)+4x2−2x+C. この右辺を微分すると ax−xlog(x+1) に戻る。
(2) 対数の定義域は x>−1 であり、 ax−xlog(x+1)=x{a−log(x+1)}=0 より x=0、または log(x+1)=a、すなわち x=ea−1 である。a>0 なので二つの解は異なる。積分範囲 0≦x≦1 内に後者の解が入るのは 0<a≦log2 のときである。
(3) f(x)=ax−xlog(x+1)、r=ea−1 とおく。(1)の原始関数の定数項を除いたものを F(x) とすると、F(0)=0、F(1)=2a−41 である。x≧0 では f(x)=x{a−log(x+1)} の符号は a−log(x+1) の符号と一致する。
0<a<log2 なら 0<r<1 で、f は 0≦x≦r で非負、r≦x≦1 で非正である。従って F(r)I=2ar2−2r2−1log(r+1)+4r2−2r=2a+4r2−2r=2a+4e2a−4ea+3,=∫0rf(x)dx−∫r1f(x)dx=2F(r)−F(1)=42a+2e2a−8ea+7. 一方、a≧log2 なら a≧log(x+1) が 0≦x≦1 で成り立つので f(x)≧0 であり、 I=F(1)−F(0)=2a−41. よって I=⎩⎨⎧42a+2e2a−8ea+7,2a−41,0<a<log2,a≧log2. 境界 a=log2 では前者の式の極限も 21log2−41 となり、符号が切り替わる根が区間の端点に一致する。
(4) 0<a<log2 では I′(a)=21+e2a−2ea=(ea−1)2−21. ここで ea−1>0 は a とともに増加するので、I′(a)=0 はただ一度だけ起こり、その点は ea−1=21,a=log(1+21) である。この値は 1+1/2<2 より log2 より小さい。導関数はこの値より左で負、右で正である。また a≧log2 では I′(a)=21>0 だから、この値で全体の最小となる。なお最小値は I=21{log(1+1/2)+1−2} である。