1 . 已知函数，函数是函数的反函数.
求函数的解析式，并写出定义域；
设，判断并证明函数在区间上的单调性:
若中的函数在区间内的图像是不间断的光滑曲线，求证:函数在区间内必有唯一的零点(假设为)，且.