<1/28編集 一部セリフを変えました>
<1/31編集 スマホに合わせて一部数式のサイズを変更しました。何故か数式の最後に番号が付いていますが、これについては現在解決策を検索中です…。
また、一部数式を訂正しました>
→積分編③
真理が計算を始めた一方、数正、アキ、ディーの三人は先程の「部分積分法」について、いくつかの例で計算していました。
「…なぁ、これって
と、ディーが言っています。彼の計算を見てみると
![\begin{eqnarray*}&&\int_1^2x(x-3)dx\\&=&\left[\frac{1}{2}x^2(x-3)\right]_1^2-\int_1^2\frac{1}{2}x^2dx\\&=&\frac{1}{2}(-4-(-2))-\left[\frac{1}{6}x^3\right]_1^2\\&=&-1-\frac{1}{6}(8-1)\\&=&-\frac{13}{6}\end{eqnarray*}](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-43a1fbcaecb0c341a22736116ab7f815_l3.png "Rendered by QuickLaTeX.com")
となっています。
「まぁちょっとは計算が楽になったけどよ、それでもさっきほどじゃない感じがするぜ」
「確かにな。
少なくとも数学Ⅱまでで出る範囲の積分計算だと、展開してから積分したほうが結果として簡単になることが意外と多い。
部分積分法が真価を発揮するのは”指数関数”や”対数関数”、”三角関数”の積分だ」
「そうなんだ？どうりで学校で習ったことないと思った…」
数正の言葉を聞いて納得した様子のアキ。
「文系だと数学はやってもⅡまでだからな…。
さっき例に出した
“指数関数
「どうして…あ、ちょっと待って！今考えてみる！」
一瞬数正に質問しようとしたアキですが、何か閃いたようで少しの間考えていました。
「…指数関数が微分しても変わらない、ということは”積分したものも指数関数”ってこと？」
「正解。
![\[e^x+C\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-a63706abb781fdd859dd9dbd9aa045b3_l3.png "Rendered by QuickLaTeX.com")
となる」
「あー、変わらないからそれで積分してしまえばもう一つは微分するから簡単になるんだね」
「簡単になるとは限らないが、多項式だったら微分すると次数が減るから…」
「次数って、2次関数とか3次関数とかの数字のことだっけ？」
「そうだ。次数が減れば積分計算は楽になる」
「三角関数とかはどうなるんだ？」
「三角関数
「えーっと…」
数正の話を聞いてノートに計算するアキ。
「確か、
![\[(\sin x)''=(\cos x)'=-\sin x,\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-290b410be38d2417b73ca9db746927bc_l3.png "Rendered by QuickLaTeX.com")
![\[(\cos x)''=(-\sin x)'=-\cos x\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-66c26da1cb142f37622a7cfc83e0f176_l3.png "Rendered by QuickLaTeX.com")
「うん、確かに数正くんの言ったとおりだ！」
「だから、これを使っていくとうまくいく場合が多い。
もっとも、実際に出来るかは問題次第だが」
「それって見極めるコツとかあるのかな…？」
「…そうだな」
しばし数正は考えて、それから答えました。
「たくさん計算することが大前提だが、計算する時に”式の形”や”計算する動作”を意識するといい。どの順番に計算した、とか何を使った、とかだ。
これを意識しながら計算すると似たようなパターンが出たときに”見たことがある”と気づきやすくなる」
「”式の形”なぁ…今日、この単語よく聞くぜ」
「そもそも、数学というのは”パターン”なんだ。
同じような計算をまとめて表現したのが変数を用いた数式だし、よく出る計算が公式になる。
そうであるなら、式そのものを覚えるのでなく”どのような計算であるか”を理解するのが本質。
俺はそれを”式の形”という言葉で表現している」
「なるほどね…」
ディーが数正の言葉を考えながら、かつてこのサークルでしてきた活動を思い返していました。
アキもつられてしばし思考に耽っていたのですが…。
「あれ？」
黒板の式を幾つか見ながら何か気がついたようです。
「…どうした？」
「ん～…」
数正が呼びかけますが、アキはうまく言葉に出来ないようでしばし悩んでいました。
「…あのね、さっきの”部分積分法”…だったっけ…あの計算って最初に”片方の関数を積分”するんだったよね？」
「そうだ。それが大事なポイントの一つ…」
「さっき指数関数の積分を書いてくれたときに思い出したんだけど、積分した原始関数って
「ああ、積分定数だな。確かにそうだ。
定数を微分すると0になるから、積分には定数の不定性がある。それを
「…うん。ちょっと難しい言葉があったけど、そうだよね…」
その言葉を聞いて、ちょっとずつ気になったことを言葉にしていくアキ。
「さっきの部分積分法って最初の積分した関数が”
「え？」
アキの言葉に驚くディー。
「積分した原始関数って
「…」
アキの言葉に数正もしばし考え込みました。
「…それは考えたことがなかった。
俺は積の微分の逆として”積分する”という風に考えていたから、当たり前のように
しかし、アキの言う通り積分の定数の不定性を考えると…」
「ごめん、不定性っていう言葉は難しいな…」
「あ、すまない。積分定数が出てくるという話だったな。…」
「…そういや、実際に計算する時も”微分して
それの定数が
しばし沈黙の時が流れます。
「…実際に計算してみよう。
そうつぶやきながら、数正は黒板で計算を始めました。
![\begin{eqnarray*}{\footnotesize &&\int_\alpha^\beta f'(x)g(x)dx\\&=&\left[(f(x)+C)g(x)\right]_\alpha^\beta-\int_\alpha^\beta (f(x)+C)g'(x)dx\\&=&\left[f(x)g(x)+Cg(x)\right]_\alpha^\beta-\int_\alpha^\beta (f(x)g'(x)+Cg'(x))dx\\&=&\left[f(x)g(x)\right]_\alpha^\beta+\left[Cg(x)\right]_\alpha^\beta-\int_\alpha^\beta f(x)g'(x)dx-\int_\alpha^\beta Cg'(x)dx}\end{eqnarray*}](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-3f2ef3a54df8e9e168380a7bdbbba525_l3.png "Rendered by QuickLaTeX.com")
「…あっ、最後の式って…」
「そうか、ここが消えるのか」
![\begin{eqnarray*}{\footnotesize&&\left[f(x)g(x)\right]_\alpha^\beta+\left[Cg(x)\right]_\alpha^\beta-\int_\alpha^\beta f(x)g'(x)dx-\int_\alpha^\beta Cg'(x)dx\\&=&\left[f(x)g(x)\right]_\alpha^\beta+\left[Cg(x)\right]_\alpha^\beta-\int_\alpha^\beta f(x)g'(x)dx-\left[Cg(x)\right]_\alpha^\beta\\&=&\left[f(x)g(x)\right]_\alpha^\beta-\int_\alpha^\beta f(x)g'(x)dx}\end{eqnarray*}](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-1cc63b2080693bbdbad92a8e0df65ac0_l3.png "Rendered by QuickLaTeX.com")
「さっきディーが指摘していた”二つ目は積分したまま”というのが効いていたんだ。
「なるほど…いや、上手く出来てんなぁ」
この式変形を見ながら、ディーも感心していました。
「ということで、積分定数に依らず計算が出来ることが示された」
「…だから、
なるほどなぁ…」
アキも理解して、それから一言つぶやきました。
「…ちょっと意味のない質問だったね…」
「そんなことはない」
「えっ？」
アキのその言葉を強く数正は否定しました。
「一見意味のないような質問だが、そういう細かいところに気づいて考えるのはとても大事だし、気づけるのは一つの才能だ。
実際、俺もこの質問にすぐには答えられなかった。考えたことがなかったからだ」
「なんか…数正くんにそう言われるととっても嬉しいな！」
とアキは笑顔で返しました。
「それに、実際計算をするときにも”積分定数は自由に取っていい”ということが使える」
「そうなの！？」
「次の積分を考えてみよう」
と、数正は新しい数式を書き始めました。
![\[\int_2^3 2x\log(x-1)dx\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-81669bfd4ded5e72100f7f98553c5700_l3.png "Rendered by QuickLaTeX.com")
「これは対数関数との積の微分だから、部分積分法を使って計算するのが王道だ。
この際、積分するのは多項式の方だ。それは」
![\[(\log(x-1))'=\frac{1}{x-1}\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-9cb097cf03ac10323fb1876e1290598c_l3.png "Rendered by QuickLaTeX.com")
「と、対数関数の微分が多項式の逆数になって次数を減らせるからだ」
「実際に計算してみると…まず
といって、アキはノートに計算を始めました。
![\begin{eqnarray*}&&\int_2^3 2x\log(x-1)dx\\&=&\left[x^2\log(x-1)\right]_2^3-\int_2^3x^2\frac{1}{x-1}dx\\&=&\cdots\end{eqnarray*}](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-a0cfd40843c1d98a03a03825d6b7e204_l3.png "Rendered by QuickLaTeX.com")
「…最後の積分が分数になっちゃった。これってどう計算するの？」
「こういうときは、
このような感じで」
![\begin{eqnarray*}{\footnotesize&&\int_2^3 2x\log(x-1)dx\\&=&\left[x^2\log(x-1)\right]_2^3-\int_2^3x^2\frac{1}{x-1}dx\\&=&9\log2-0-\int_2^3\frac{x^2-1+1}{x-1}dx\\&=&9\log2-\int_2^3\frac{x^2-1}{x-1}dx-\int_2^3\frac{1}{x-1}dx\\&=& 9\log2-\int_2^3\frac{(x+1)(x-1)}{x-1}dx-\int_2^3\frac{1}{x-1}dx\\&=&9\log2-\int_2^3(x+1)dx-\int_2^3\frac{1}{x-1}dx}\end{eqnarray*}](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-113604413bd4d4b49a2571302df1195d_l3.png "Rendered by QuickLaTeX.com")
「あとは、積分を計算する。先程書いた対数関数の微分から
![\begin{eqnarray*}&&9\log2-\int_2^3(x+1)dx-\int_2^3\frac{1}{x-1}dx\\&=&9\log2-\left[\frac{1}{2}x^2+x\right]_2^3-\left[\log(x-1)\right]_2^3\\&=&9\log2-\frac{1}{2}(9-4)-(3-2)-\log2+0\\&=&8\log2-\frac{7}{2}\end{eqnarray*}](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-a16aed697020c4559413e722f6fd0393_l3.png "Rendered by QuickLaTeX.com")
「となる」
「難しいね…」
「そこで、さっきアキが気づいた話を使ってみる。
“積分した関数の積分定数は自由に取っていい”ということで、
![\begin{eqnarray*}{\footnotesize&&\int_2^3 2x\log(x-1)dx\\&=&\left[(x^2-1)\log(x-1)\right]_2^3-\int_2^3(x^2-1)\frac{1}{x-1}dx\\&=&\cdots}\end{eqnarray*}](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-5845bc2d2f9c0f4d7491cd5053d0a286_l3.png "Rendered by QuickLaTeX.com")
「すると、先程と違って後ろの積分の中身が約分できて簡単になる。先程”適当に足し引きする”ところが省かれたわけだ」
![\begin{eqnarray*}{\footnotesize&&\int_2^3 2x\log(x-1)dx\\&=&\left[(x^2-1)\log(x-1)\right]_2^3-\int_2^3(x^2-1)\frac{1}{x-1}dx\\&=&(9-1)\log2-0-\int_2^3(x+1)dx\\&=&8\log 2-\frac{7}{2}}\end{eqnarray*}](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-4344839cdd003d1b761e2ec9a2b875a3_l3.png "Rendered by QuickLaTeX.com")
「へぇ～！少し簡単になった！」
「やったこととしては分数関数が出たときに適当に足し算することと変わっていない。
しかし、数式の長さは大幅に減らせた」
「ちょっとすごいね、これ」
「考える苦労はどこでも変わらないが、始めにしっかり考えることで計算することが大幅に減らせる。
こういう工夫も出来るんだ」
「私の気づいたことも活用できるんだね…」
とアキが感慨深けに話していました。
「…なぁ、これって！」
と、そこにディーが話しかけました。
見ると、彼は先程数正が書いた”部分積分法による
「ん？どうしたの？」
「さっき数正が証明したやつ、
そしたら、係数が…」
![\[\frac{1}{2}\times\frac{1}{3}=\frac{1}{6}\]](https://setsuri-nihon.net/wp-content/ql-cache/quicklatex.com-2cc61e6f6b26e9dfcb520294abbfb8a5_l3.png "Rendered by QuickLaTeX.com")
「ってなるじゃないか！
これって、さっき真理が質問していた”
「…なるほど。つまり”2回積分した結果”が
「ああ！さらに、部分積分法の結果
これで”
「すご～い！ディー冴えてるじゃん！」
「へっへ～ん！
なぁ、真理！
と、ディーが気づいたことを真理に話しかけようとしましたが…
「…そっか、ここで放物線の対称性が…
あぁ、なるほど、この部分が…」
真理は、完全に計算に集中していました。
それも、とても嬉しそうに。それはまるで、もうすぐ宝物が見つかるかのようです。
「あ、あの…真理…」
この状態の真理に話し掛けるのは基本無理です。
話し掛けても聞こえませんし、万が一無理に中断させるとかなり不機嫌になってしまいますから…。
「な、なぁ…」
そうは分かっていても、自分の気づいたことを話したいディーは諦めずに話そうとします。
それをどこか可哀想な目で見ている二人。
「ま…」
「出来たわ！」
意を決して声を掛けようとした瞬間、真理が突然勢い良く立ち上がりました。
そして、満面の笑みで
「
そう宣言しました。
その表情は…真理を知った恍惚に満ちていました。
→積分編⑤
この記事を書いたブロガー
-
「素直に、深く、面白く」がモットーの摂理男子。霊肉ともに生粋の道産子。30代になりました。目指せ数学者。数学というフィールドを中心に教育界隈で色々しています。
軽度の発達障害(ADHD・PD)&HSP傾向あり。
最近の投稿
