双曲線関数の積分では、形の違いによって答えが一見異なるように見えることがあります。特にtanhxの積分については、定数項の扱いを理解すると混乱が解消されます。この記事では、tanhxを異なる形で積分した場合の結果の違いと、その理由について解説します。
tanhxの定義と基本積分
tanhxは双曲線正接関数で、tanhx = sinhx / coshx = (e^x – e^-x) / (e^x + e^-x) と表されます。基本的な積分公式として、∫tanhx dx = log|coshx| + C があります。
ここでcoshx = (e^x + e^-x)/2 なので、積分結果は log|(e^x + e^-x)/2| + C となります。
分子・分母を展開した形での積分
一方で、tanhxを直接 exp 形式で書くと、tanhx = (e^x – e^-x)/(e^x + e^-x) となります。この形を積分すると、log(e^x + e^-x) + C の形になります。
一見、定数項が異なるため積分結果が違うように見えますが、実際には log(a/2) = log(a) – log2 の関係により、定数の差でしかありません。
積分定数Cと定数項の関係
積分では、定数Cは任意の値をとることができます。そのため、log(e^x + e^-x)/2 + C = log(e^x + e^-x) + (C – log2) と書き換え可能です。
このことから、異なる形で積分しても本質的には同じ関数であり、定数項の扱いの違いだけであることがわかります。
理解のポイント
ポイントは、積分結果の定数項は任意であること、そしてlogの掛け算・割り算は定数の加減で表現できることです。これにより、異なる形で積分しても結果は本質的に同じと理解できます。
具体例として、∫tanhx dx = log|coshx| + C と ∫tanhx dx = log(e^x + e^-x) + C は、C の値を調整すれば同一の関数を表すことになります。
まとめ
tanhxの積分結果が log(coshx) と log(e^x + e^-x) の二通りに見えるのは、定数項の違いによるものであり、計算ミスではありません。積分定数Cを適切に解釈すれば、どちらの形も同じ積分結果を示しています。
定数項の扱いを理解することで、双曲線関数の積分に対するモヤモヤは解消され、積分の一貫性が理解できます。
コメント