第1个回答 2011-04-23
证: 令f(x)=sin(cosx)-x
(1)存在性
∵ f(0)=sin(1)>0,f(π/2)=-π/2<0
∴ f(0)(π/2)<0
∴ 存在实数x使得f(x)=0 即sin(cosx)=x有实数解
(2)唯一性
若f(x1)=f(x2)=0(x1,x2∈(0 π/2))
不妨设x2>x1, ∴x1=sin(cosx1),x2=sin(cosx2)
∴sin(cosx1)>sin(cosx2)
∴cosx1>cosx2
∴x1>x2 与假设 矛盾, 所以x2=x1
综合上述:关于x的方程sin(cosx)=x在区间(0 π/2)内都存在唯一的实数解
同理可证对于另一方程结论也成立。