是的,这是一个定理!课本里应当有这句话!
我明白你的意思,我们不妨举y=sinx定义域取为(-T/2,T/2),这里我设T为圆周率的那个字符.
它的反函数是y=arcsinx,它在(-1,1)上是增函数.
所以原命题是正确的,你后面补充的也对.