(1) f(x)=xsinxπ を微分するとf′(x)=sinxπ+xcosxπ(−x2π)=sinxπ−xπcosxπである。したがって f′(2)=sin2π−2πcos2π=1 である。
また,x>2 のとき 0<xπ<2π なので cosxπ>0 である。よってf′(x)=sinxπ−xπcosxπ<sinxπ<1となり,x>2 で f′(x)<1 が示された。
(2)
自然数 k に対して x=1/k を代入するとf′(k1)=sinkπ−kπcoskπ=0−kπ(−1)k=(−1)k+1kπである。
(3) u=xπ とおく。x>0 で u>0 であり,x が大きい順に並ぶことは u が小さい順に並ぶことに対応する。方程式 f′(x)=1 は sinu−ucosu=1 である。 g(u)=sinu−ucosu とおくと g′(u)=cosu−(cosu−usinu)=usinu である。区間 ((n−1)π,nπ) では sinu の符号が一定なので,g は単調である。
端点の値は g(kπ)=sinkπ−kπcoskπ=(−1)k+1kπ である。n が偶数のとき g((n−1)π)=(n−1)π>1,g(nπ)=−nπ<1 であり,この区間で g は減少する。n が奇数のとき g((n−1)π)=−(n−1)π<1,g(nπ)=nπ>1 であり,この区間で g は増加する。したがって,いずれの場合も区間 ((n−1)π,nπ) に g(u)=1 の解がただ1つ存在する。
これを小さい方から u1,u2,u3,… とすると,対応する xn は xn=unπ であり,un∈((n−1)π,nπ) だから n1<xn<n−11 である。これは n≧2 で成り立つ。
(4)
(3) より 0<xn<n−11 であるから xn→0 である。また ∣f(xn)∣=xnsinxnπ≦xn である。右辺が0に近づくので,はさみうちによりn→∞limf(xn)=0である。
x の大小が u では逆転することに注意して、各半周期の一意な解を戻す。