>>910

√(x-1) = X,
√(y-1) = Y,
とおく。
XX-X+1 ≧ X,
YY-Y+1 ≧ Y,
(右辺) - (左辺) = ｘｙ - ｘ√(y-1) - y√(x-1)
　= (XX+1)(YY+1) - (XX+1)Y - (YY+1)X
　= {(XX+1)-X} {(YY+1)-Y} - XY
　≧ XY - XY
　= 0,

あるいは
x = (cosh u)^2， y = (cosh v)^2 とおく。