为什么sin(arcsinx)=x,cos(arccosx)=x?似乎与反函数性质有关,具体那个性质是什么?