(1) −1≦x<0 では f(x)=1−xlog(1−x) であり,微分すると f′(x)=(1−x)2log(1−x)−1 である。この範囲では 1<1−x≦2<e なので log(1−x)−1<0 であり,f は [−1,0) で減少する。 x≧0 では f′(x)=(1+x)21−log(1+x) である。したがって 0<x<e−1 で増加,x=e−1 で極大,x>e−1 で減少する。
値は f(0)=0,f(e−1)=e1,f(−1)=2log2 である。関数 logt/t は 1<t<e で増加するので,2<e より log2/2<1/e である。よって最小値は 0 で,これは x=0 で取る。最大値は e1 で,これは x=e−1 で取る。
(2) 0≦u≦1 について f(−u)=log(1+u)/(1+u)=f(u) である。そこで 0≦x≦e−1 の関数 ϕ(x)=1+xlog(1+x) を用いると,S(a)=2∫01∣ϕ(x)−a∣dx+∫1e−1∣ϕ(x)−a∣dxと書ける。ϕ は [0,e−1] で増加する。 0≦a≦1/e に対して,ϕ(t)=a となる t がただ1つ存在する。まず 0≦t≦1 の場合を考える。a を少し増やしたとき,ϕ(x)<a の部分は積分値を増やし,ϕ(x)>a の部分は積分値を減らす。重みを考えると dadS=2t−{2(1−t)+(e−2)}=4t−e である。したがって dtdS=(4t−e)ϕ′(t) となる。0<t<1 では ϕ′(t)>0 なので,この範囲での最小は t=4e のときである。2<e<3 より 0<e/4<1 だから,確かにこの場合に含まれる。
次に 1<t≦e−1 では,同じ考え方により dadS={2+(t−1)}−{(e−1)−t}=2t+2−e である。ここでは t>1 かつ e<3 なので 2t+2−e>0 となり,最小点は現れない。
したがって求める a は t=e/4 に対応する値で,a=ϕ(4e)=1+e/4log(1+e/4)=4+e4log44+eである。
絶対偏差の最小値は,f(x)<a と f(x)>a の区間長が釣り合う高さで生じる。