(x+√x2-1)=a^y
分子有理化 1/ (x-√x2-1)=a^y 推出 x-√x2-1 = 1/a^y
两式相加 x=（a^y+1、a^y）/2
即 y = (a^x + 1/a^x)/2