1 . 欧拉对函数的发展做出了巨大贡献，除特殊符号、概念名称的界定外，欧拉还基于初等函数研究了抽象函数的性质，例如，欧拉引入倒函数的定义：对于函数，如果对于其定义域中任意给定的实数，都有，并且，就称函数为倒函数．
(1)已知,,判断和是不是倒函数，并说明理由；
(2)若是上的倒函数，其函数值恒大于0，且在上是严格增函数．记，证明：是的充要条件．