原始関数
微分すると
となるので、
となります。つまり求める関数は
です。しかし微分して
という形の関数はすべて微分すると
一般に、ある関数
で表します。
と表すことができます。このとき左辺を不定積分(indfinite integral)とよび、右辺の
不定積分には次のような線型性があります。
この線型性を使えば次のような計算ができます。
不定積分の公式
微分公式から不定積分の公式が得られます:
原始関数は必ず存在する?
一般に積分計算は微分よりもずっと難しく、高校までの数学で習ったような初等関数が組み合わされた関数であっても、その原始関数は初等関数で表すことができないという事例がたくさんあります。たとえば、一見して簡単そうに思える
のような関数の原始関数は初等関数で表記することができません。むしろ数多ある関数の中で、簡単に積分できる関数というのは極めて例外的な存在で、ほとんどの関数は「容易には積分できない」のです。初等関数で表せないような関数のことを特殊関数とよび、その多くは無限級数の形で表されます。しかし、こんな疑問が浮かぶかもしれません。
「もしかすると、積分できない関数が存在するの?」
結論から言うと、連続関数は必ず積分できます。しかし連続でない関数については積分できないこともあります。そうした不連続関数でも積分できるようにルベーグ積分が定義されています。その内容は当サイトで扱える範囲を超えるので、当面は記事になることはありません(もしかすると数年後には載せるかもしれません)ので、興味のある方はぜひご自身で勉強してみてください。
エクセルや数学に関するコメントをお寄せください