用换元法解方程 x²-2=2/(x²-1)