y=x-asinx x属于r 其中a满足大于等于o小于1证明这个函数存在反函数怎么证明?