不知道这样对不对,一般的函数,反函数存在的话式子恒成立,对于三角函数,则是在特定的区间成立,如y=sinx与x=arcsiny在[-派/2,派/2]中成立。