假定以下各点均在第一象限,各函数的定义域均为 . 设点 , , , 规定 , 且对于运算“”,表示坐标为的点.若点U , V , W满足 , 则称V与U相似,记作V~U . 若存在单调函数和 , 使得对于图像上任意一点T , 均在图像上,则称为的镜像函数.
证明: .