高校数学の定積分に「6分の1公式」と呼ばれる公式があり, 知っているひとも多いと思います. 教科書にもコラム的な場所に掲載してあったと思います.
実数
後で1段階拡張したものを紹介するので, それに値を代入してこの公式を証明したことにします.
この公式は, 直線と放物線, または放物線ともうひとつの放物線に囲まれた面積を求める際に計算が楽になるというものです.
6分の1公式以外にも30分の1公式などありますが, それも後の公式に含まれるとしてわざわざ紹介はしません.
公式1を一段階拡張します. 時によっては「ベータ関数の公式」と呼ばれます.
実数
■ 証明
ここで, ベータ関数の性質
より,
高校数学範囲内でも,
また, わたしはあの形よりもこっちの形の方が好きです.
実数
こっちの形ならば, 6分の1公式と
となって, 確かに示すことができました.
一段階拡張したこの公式は, 恐らく多くの教科書に載っていないので6分の1公式よりは無名ですが, 知っているひとは知っているといった感じだと思います. 実際, 覚えておいて役に立ったかと言われたら微妙ですからね.
実際に計算していてオシいということがあったので, もう一段階拡張しました.
まず「オシ」かった計算とは, 次のような積分です:
この例は雑なので
■ 証明
二項定理より,
先程のベータ関数の公式より,
整理すると,
もちろんこの公式4を使って拡張する前の公式を示すこともできます.
公式において
最後に, 実際に使ってみましょう.
■ 解答
最後の計算は約分でたくさん消えるのでそんなに苦ではないですが, 計算ミスが心配です. ――そういう意味ではあの公式に実用性があるとは言いづらいでしょう.
一般化はロマンです. 一般化の式の投稿が高評価になる理由がより実感できたと思います. 今回は目立つ収穫はありませんが, 実用的でなくとも一般化したときにその式が何を意味していたのかがより分かりやすくなって現れることがあります. そもそも, 実用性にこだわっていたら真に数学が楽しめないですからね.