小人さんの妄想

なぜｘ２乗の微分は２ｘなのか

ｘ２乗と聞いて、こんな放物線を思い浮かべたり、

微分と聞いて、こんなイメージが浮かぶ人は、かなり数学を勉強したのだろうと思う。

でも、ここではいったん放物線のことは忘れて、

ｘ２乗とは、以下のように一辺ｘの正方形を順番に並べたものだと考えてみよう。

ここで、とある正方形と、すぐ隣の正方形との差分は、こんな風になる。

うんと近くの隣同士だったなら、コーナーにある小さな h^2 の正方形は無視できて、

実質的な差分は、上辺と右辺に張り付いている細長い「２つの、長さｘの長方形」になる。

差分は ２ｘｈ なのだが、これを「すぐ隣までの間隔ｈ」で割ると、２ｘだけが残る。

だから、

　　『ｘ^2 の、すぐ隣同士の差分は 2ｘ』

これが x２乗の微分

　　(x^2)' = 2 x

の意味だ。

同じように、ｘ３乗という関数を、こんな風に一辺ｘの立方体を順番に並べたものだと考えてみよう。

この立方体の列で、すぐ隣の立方体との差分は、こんな風になる。

うんと近くの隣同士だったなら、コーナーにある小さな h^3 の立方体と、

辺に張り付いている３本の細長い棒のような立体 ｘh^2 は無視できて、

実質的な差分は、上面と右面と背面に張り付いている薄い３枚の正方形、「３つのｘ^2」になる。

差分は ３ｈｘ＾２ なのだが、これを「すぐ隣までの間隔ｈ」で割ると、３ｘ＾２だけが残る。

だから、

　　『ｘ^3 の、すぐ隣同士の差分は 3ｘ^2』

これが x３乗の微分

　　(x^3)' = 3 x^2

の意味だ。

同じように、ｘ４乗という関数は、４次元の立方体を順番に並べたものだと考えられる。

４次元の図形は直接描けないけれど、４次元立方体の隣同士の差分を想像すると、

４つの次元それぞれの面（体と言うべきか）に張り付いた

（４次元世界から見れば）薄い４個の３次元立方体となるはずだ。

なので、

　　(x^4)' = 4 x^3

この関係は次元がいくつ増えようとも変わらない。

ｎ次元の立方体の差分とは、ｎ次元立方体のｎ個の表面に、(ｎ－１)次元の薄い立体が張り付いたものだ。

なので、

　　(x^n)' = n x^(n-1)

これが、べき乗の微分の公式だ。

・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・

いま、上で見てきたことの逆が「積分」だ。

微分が「すぐ隣同士の引き算」なら、積分とは「すぐ隣同士の足し算」のことだ。

x^2 の積分が (1/3) x^3 になるとは、

正方形を重ね合わせて作った立体の体積が、一辺 x の立方体の 1/3 になる、ということだ。

つまりこれは、四角錐の体積のことだ。

１つ次元を下げて、

x の積分が (1/2) x^2 になるとは、

長さ x の棒を、短い方から順に並べて作った図形の面積が、一辺 x の正方形の 1/2 になる、ということだ。

要は三角形の面積のことだ。

（※ただし、ここで x は０から数え始めているので、積分定数Ｃというものを省いている。）

ところで、四角錐の体積は、なぜ (1/3) になるのだろうか。

イメージしやすいのは、こんな風に６個のピラミッド型を組み合わせた形だろう。

ピラミッドの高さは、立方体全体の半分になっているので、

　(四角錐の体積) = (ピラミッドの体積)×２ = (立方体の体積)÷６×２ = (立方体の体積)×(1/3) = x^3・(1/3)

このピラミッドのイメージは、さらに次元を上げても同じことだ。

４次元の世界で、底面ならぬ“底立体”が３次元立方体となっている“４次元ピラミッド”を、

４つの各次元ごとに２個ずつ８個（４×２＝８）組み合わせると、４次元の立方体 x^4 ができあがる。

ということは、４次元の(超)四角錐の体積は、４次元立方体の(1/4)になっている。

以降、ｎ次元世界の(超)四角錐の体積は、ｎ次元立方体の体積の (1/n) となる。

　　∫x^n dx = (1/(n+1)) x^(n+1)

さて、いま“ピラミッド型”の立体をイメージしたのだが、

もう少し想像力を働かせると、四角錐を直接組み合わせて立方体を作る様子をイメージできる。

いま一度、３次元の四角錐に戻ろう。

正方形を並べて作った ∫x^2 dx の四角錐を、３個組み合わせて、１つの立方体を形作る様子がイメージできるだろうか。

白状すると、私自身はこのイメージを頭の中だけで描くことができず、ボール紙で立体を作って確かめた。

立方体を対角線に垂直な面で切ると、切り口は正三角形（場所によっては正６角形）となる。

その正三角形の各辺が、それぞれ１個の四角錐に対応する、といえば分かりやすいだろうか。

よく分からなければ、ボール紙か粘土か何かで、とにかく立体を作ってみれば分かる。

こういうときに常々思うのは、人間（あるいは凡人）は３次元の形をはっきりとは把握していなくて、

分かるのはせいぜい２．５次元程度なのではないか、ということである。

より高次元の積分は、この「四角錐->立方体」イメージの延長上にある。

４次元であれば、３次元の立方体を積み重ねて作った超四角錐を、

４つの方向から４個組み合わせて、４次元立方体を作ることができる。

ｎ次元であれば、（ｎ－１）次元の超立方体を積み重ねて作った超四角錐を、

ｎ個の直交する軸の方向から組み合わせて、ｎ次元立方体を作ることができる。

・・・といった内容のことを、この本に著しました。

* おまけ * Σのイメージ *

「３つの四角錐で立方体を作る」様子がイメージできたなら、

その応用として、Σn^2 = 1^2 + 2^2 + 3^2 + 4^2 + ・・・が想像できるだろうか。

これが、Σn = 1 + 2 + 3 + 4 +・・・であったなら、イメージは難しくない。

要は三角形の“ブロック版”だ。

Σn^2 とは、四角いブロックを積み上げて作った階段状の立体となる。

以下が苦労の末描いた図なのだが、これで分かるだろうか。

（さすがにこれはボール紙で作る訳にはいかなかった・・・

　7/10: その後、積み木で立体を作ることができた。下の追記参照。）

階段状の立体を３個組み合わせると、ｎ×（ｎ＋１）×（ｎ＋１）の直方体ができるのだが、

その直方体の１枚の表面は、平面の三角形の階段が欠けた形となっている。

この形から、

　Σn^2 = { n(n+1)^2 - ( n(n+1) / 2 ) } / 3

　　　　= n(n+1)(2n+1) / 6

という高校で教わるような公式が得られる。

さらに、この直方体の塊を２つ組み合わせると（つまり階段状の立体を６個組み合わせると）

「三角形の階段が欠けた部分が」互いに噛み合わさって、ｎ（ｎ＋１）（２ｎ＋１）の細長い直方体ができる。

この式にある（２ｎ＋１）の＋１は、噛み合わさった面の１列を表している。

なので結局、Σn^2 = n(n+1)(2n+1) / 6　となるわけだ。

そんな階段状の立体の組み合わせでも簡単にイメージできるという想像力豊かな方は、

４次元の世界で、４つの階段状の立体が組み合わさる様子を考えてはいかがだろうか。

私はここで挫折したが。

　Σn^3 = n^2 (n+1)^2

という結果から推測するに、４次元の直方体では表面が欠けることなく綺麗に収まるらしい。

５次元より先は、もはや直観の及ばない世界と言うしかない。

* 積み木で作るΣn^2 (7/10追記) *

100円ショップで売っていた積み木ブロックで、Σn^2 を作ることができた。

まず、n=3 の塊を３個作る。

それらを組み合わせると、こんな形になる。

これを２つ作ってみると、２つの塊が合体できることに気付く。

合体させると、n・(n+1)・(2n+1) の直方体ができる。

これが、Σn^2 = n(n+1)(2n+1) / 6 の意味だ。

（３枚目の写真と色が食い違っています。一度バラバラになってしまったので、再度やり直した。

実際に積んでみると、けっこう難しい！）

Permalink | コメント(0) | トラックバック(0)