10

6分の1公式を拡張して拡張する

2973
1

6分の1公式

高校数学の定積分に「6分の1公式」と呼ばれる公式があり, 知っているひとも多いと思います. 教科書にもコラム的な場所に掲載してあったと思います.

6分の1公式

実数α, βに対して,
αβ(xα)(xβ)dx=(βα)36

後で1段階拡張したものを紹介するので, それに値を代入してこの公式を証明したことにします.

この公式は, 直線と放物線, または放物線ともうひとつの放物線に囲まれた面積を求める際に計算が楽になるというものです.

6分の1公式以外にも30分の1公式などありますが, それも後の公式に含まれるとしてわざわざ紹介はしません.

一段階拡張

公式1を一段階拡張します. 時によっては「ベータ関数の公式」と呼ばれます.

ベータ関数の公式

実数α, β0以上の整数m, nに対して,
αβ(xα)m(βx)ndx=m!n!(m+n+1)!(βα)m+n+1

■ 証明
αβのとき
(左辺)=αβ(xα)m(βx)ndx
x(βα)x+αとすると
=(βα)m+n+101xm(1x)ndx
ここで, ベータ関数の性質

ベータ関数の性質

0以上の整数m, nに対して,
01xm(1x)ndx=m!n!(m+n+1)!

より,
=m!n!(m+n+1)!(βα)m+n+1=(右辺)
α=βのとき
(左辺)=αα(xα)m(βx)ndx=0(右辺)=0


高校数学範囲内でも, m回(またはn回)部分積分を施せばベータ関数を知らなくても示すことができます.
また, わたしはあの形よりもこっちの形の方が好きです.

ベータ関数の公式(その2)

実数α, β0以上の整数m, nに対して,
αβ(xα)m(xβ)ndx=(1)nm!n!(m+n+1)!(βα)m+n+1

こっちの形ならば, 6分の1公式とxの「向き」が揃っているので6分の1公式と比較しやすいと思います. 実際, m=1, n=1とすると,
(1)1(βα)1+1+11!1!(1+1+1)!=(βα)36
となって, 確かに示すことができました.

一段階拡張したこの公式は, 恐らく多くの教科書に載っていないので6分の1公式よりは無名ですが, 知っているひとは知っているといった感じだと思います. 実際, 覚えておいて役に立ったかと言われたら微妙ですからね.

もう一段階拡張

実際に計算していてオシいということがあったので, もう一段階拡張しました.
まず「オシ」かった計算とは, 次のような積分です:

02x(x1)(x2)dx

この例は雑なので(x1)を展開して公式を使えばいいんですが, このように「余計な因数」がついてしまうと先程の公式が使えなくなってしまいます. そこで作った公式がこちらです.

0でない実数α, β0以上の整数p, q, rに対して,
0αxp(xα)q(xβ)rdx=(1)qαp+q+r+1q+1k=0r(1)krCkq+1Hp+rk+1(βα)k

■ 証明
αまたはβ0のとき, わざわざこの公式を使う必要はなくなるので, いずれも0でないとします.
二項定理より,
(左辺)=0αxp(xα)qk=0r(rk)xrk(β)kdx=k=0r(rk)(β)k0αxp+rk(xα)qk=0rdx
先程のベータ関数の公式より,
=k=0r(rk)(β)k(1)q(p+qk)!q!(p+q+rk+1)!αp+q+rk+1
整理すると,
=(1)qαp+q+r+1k=0r(1)krCk(q+1)p+rk+1Cq+1(βα)k=(1)qαp+q+r+1q+1k=0r(1)krCkq+1Hp+rk+1(βα)k=(右辺)

補足・メモ

nHr
nHr=(n+r1n)=n+r1Cn
αβ0にすると、00を計算することになり、00は不定形。
00=011=0×01=00


もちろんこの公式4を使って拡張する前の公式を示すこともできます.
αβ(xα)m(βx)ndx=m!n!(m+n+1)!(βα)m+n+1
xαxとすれば,
=0βαxm(x+αβ)n
公式においてp=m, q=n, r=0, αβα, βBとすると(αβ,B<0,βα<B),
=(1)n(βα)m+n+0+1n+1(1)00C0m+00+1Hn+1(Bβα)0=(1)n(βα)m+n+1n+1m!(n+1)!(m+n+1)!=m!n!(m+n+1)!(βα)m+n+1

実際に使う

最後に, 実際に使ってみましょう.

y=x3xの正の部分とx軸に囲まれた面積を, x軸を軸に回転してできる立体の体積を求めよ.

■ 解答
π01(x3x)2dx=π01x2(x1)2(x+1)2dx=π(1)212+2+2+12+1k=02(1)k2Ck2+2k+1H2+1(11)k=π3k=022Ck5kH3=4πk=02(4k)!k!(2k)!(7k)!=4π(4!0!2!7!+3!1!1!6!+2!2!0!5!)=8π105

最後の計算は約分でたくさん消えるのでそんなに苦ではないですが, 計算ミスが心配です. ――そういう意味ではあの公式に実用性があるとは言いづらいでしょう.

最後に

一般化はロマンです. 一般化の式の投稿が高評価になる理由がより実感できたと思います. 今回は目立つ収穫はありませんが, 実用的でなくとも一般化したときにその式が何を意味していたのかがより分かりやすくなって現れることがあります. そもそも, 実用性にこだわっていたら真に数学が楽しめないですからね.

投稿日:2020125
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

地頭が悪い 研究するより、ただ「知って」ただ「使う」のが好き

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 6分の1公式
  2. 一段階拡張
  3. もう一段階拡張
  4. 実際に使う
  5. 最後に