证明:关于x的方程sin(cosx)=x和cos(sinx)=x在区间(0 π/2)内都存在唯一的实数解