高校数学では, 求積においては, "積分" という演算を "公式で定義したただの計算" として扱われるが, 具体的な計算方法はさておいて "何のためにそのような計算をするのか" について考えている生徒があまりにも少ないように思える (他の分野でも広く言えることにも思えるが).
そこで, 今回は特に積分に焦点を当てて, より直感的に積分を捉えて意味のある計算がそこにはあるのだと強く思っていただけるように, 個人的に集めた知識ではあるが紹介したいと思う.
高校の教科書や授業では, 積分を
ここでは, 求積のための積分とは "リーマン積分" を指すとする.
まず, "
多くの方が数列に度々登場する "
では, 積分の定義に触れようと思う. 実は主に以下の2通りの定義がある.
曲線の長さや面積, また体積など, 図形的な大きさの情報を求めること.
例えば, 区間
とおく.
原始関数を求めること.
すなはち, 関数
と表す. (このとき積分記号は形式的なものでしかなく, 前述の意味はない.)
ここで, 微分前の関数は 原始関数 と呼ばれ, 面積を表す関数は 不定積分 と呼ばれる.
特に, 原始関数とは微分法の知識のみで説明される言葉であり, 不定積分とは積分法の知識のみで説明される言葉であることに注意してほしい.
定義2については勘を働かせて微分したら見事に戻る関数を探すほか無いが, 今回この記事で主眼を置くのは定義1の不定積分を求めるための積分であり, 一線を画する.
以降, 積分とは定義1を指すこととする.
不定積分が面積や体積を表すというのは前述のとおりであるが, 我々がなぜ面積を求めるために積分を行うのかということに軽く触れておく.
まず大前提として, ここでは不定積分が面積を表すのは定義そのものであって, あとから示すものではない. つまり, "なぜ積分で面積や体積が求まるのか" という疑問はそもそも生じるはずがないのである.
積分とは端的に言えば 求めたいものを細切れにして再び足し直すこと であるが, なぜそのようなことをわざわざするのかと言えば, ただ 直接求めるのが難しくても微小変化量には意味がありそうだから 程度のものである.
まずは面積を例にとって考察してみよう.
と表現することから始まる.
しかし, この状態ではまだ
ここで, 微小面積が 底辺
したがって,
と続けられる. これが我々の普段よく目にする式であるが, 本来はこのように導かれるものである. 厳密には, 微分学の知識を用いて
また, 慣れてしまえば初めに
ちなみに, 多くの場合見た目を重視して深いことを考えずにいちなりこちらの表記を求めたい量の定義としている.
ここまでが多くの積分の問題の山場であるから, あとは具体的に計算する方法さえ分かってしまえばおしまいである. ただし, 愚直に区間内の全実数を代入しながら足し合わせることが現実的でないのはすぐに分かるから, 別のうまい計算方法を模索することになる.
ここで再び微分法の力を借りると,
と書くことができる. ここで,
そして,
となる. よって, これらをまとめて,
という結果を得る.
特に,
の部分を取り出してみると, 不定積分は原始関数の最初と最後の差をとることに対応するということが分かった. しかし, 数学的に示しはしたが, 積分が開始時を0セットにした相対的な増加量を表すことを考えれば比較的容易に意味を理解できるだろう. つまり, 直接加え合わせる計算を行うのを回避して変化を見たに過ぎないのである.
ここで後回しにしていた補題を示す.
ただし, ここまでの内容を理解して余裕が出てくるまでは一旦読み飛ばしてもらっても構わない.
微分可能関数
が成立する.
"微分可能関数
区間
とする. (最大値・最小値の定理より確かに存在する.)
このとき, 底辺が
が得られる.
したがって,
よって, 証明は完結した.
基本公式はいつも同じであるから, 以降は "何を積分すれば良いか (計算対象)" のみ考えてみる.
というのも, 補題と同様の手法で基本公式を示せたり, また実際は面積でなくても式の上では面積とみなしてそのまま補題の証明を適用したり, また単に結果をただ適用するなどして結局同じ公式を得るからである.
求めたい体積を
となり, あとはかき集めることで計算対象の特定は完了する.
求めたい体積を
となる. ただし, 補題の証明を考えて
これは面積などとは少し異なるが, 積分の重要な有用性であるから一応紹介しておく.
ここまでの通り, 積分がかき集める操作なのであるから,
と復元できるのは容易に分かる. 積分の部分は
ここで, よく注意すればこれは基本公式を移項して変形したものになっていると気づく. しかし, 基本公式の意味を考えれば当然の結果と言える.
一応説明しておく程度の話なので, この記事の本筋とはあまり関係ない. したがって特に疑問が無ければ読み飛ばしてもらって構わない.
では, いくつかの補題として与える.
微分係数が常に0であれば, 関数は恒等的に定数値をとる.
考える関数を
ある区間
ただし, 条件より
よって, 常に
原始関数は任意の定数分の差だけ無数に存在する.
"すべての原始関数がたかだか定数分の差しかない" を示せば十分であるから, これを示す.
よって証明は完結した.
上で例えば
と変形しても良かった.
しかし, この記事では "直感的な解釈" に主軸を置いており, なるべく図形的解釈を与えるためにこちらを採用しなかった. どちらをとるかは各々の自由にしてほしいが, 個人的にはやはり長方形や柱の解釈をおすすめしたい.
以上のことをまとめると,
何を計算すれば良いか.
どのように計算するか.
が求積のための積分の重要なステップである.
1は面積であれば
ここまで長々と語ってきたが, 結局は積分の問題を解くときに "何を" と "どのように" の2つを切り分けて 考えてもらいたかったということである.
ここで紹介したような直感的な意味の解釈により, 求積するための積分が問われる問題で方針に困ることはまずなくなると思う. 是非ご活用されたい.
図を挿入して説明すべき部分でそれをしてないのは単に僕の怠慢によるものです. 時間を作れたら加筆します.