你写两个方程,分别用y1,x1和y2,x2来写.
假设x1>x2,然后用y1-y2,然后可以写出y1-y2=(x2-x1)(x1x2+1)/((x1^2-1)(x2^2-1))
分母按照你的两个定义域,可以知道分母始终为正数.
分子因为x1>x2,所以为负数,所以y1