已知函数，函数是函数的反函数．
（1）求函数的解析式，并写出定义域；
（2）设，若函数在区间内的图像是不间断的光滑曲线，求证：函数在区间内必有唯一的零点（假设为），且．