>>263
x + √(x^2-1) = t と置くと

∫[1,2] (x^2-1)^(-1/2) dx
= ∫[1,2+√3] dt/t
= log(2+√3)