加法定理を使う。またはオイラーの公式を使う。

チャート式基礎と演習数学3, p.280 EX 173 次の不定積分を求めよ (6) Nspireは分母を有理化してやらないと求まらない。 Wolframはそのままで求まる。 Integrate[(2*x)/(Sqrt[x^2 + 1] - x), x]