>>414
f(x)=x*sin(x)、g(x)=cos(x)とすると、
0＜x＜π/2では、f'(x)=sin(x)+x*cos(x)＞0、g'(x)=-sin(x)＜0、
またf(0)=0、g(0)=1、f(π/2)=π/2、g(π/2)=0より、1つの交点がある。
よって、x*sin(x)-cos(x)=0は区間内に1つの解を持つ。