2
高校数学解説
文献あり

高校数学の積分でマクローリン展開を導く

1011
0

はじめに

こんにちはつくつくです.
以下の有名な式がありますね.

sinx=n=0(1)nx2n+1(2n+1)!=xx33!+x55!x77!+cosx=n=0(1)nx2n(2n)!=1x22!+x44!x66!+ex=n=0xnn!=1+x+x22!+x33!+log(1+x)=n=0(1)nxn+1n+1=xx22+x33!(1<x1)

マクローリン展開です. これは一般的には大学数学の内容として扱われるものですが, 実は高校数学でも導くことができます.

ということで, 今回はタイトルにもある通り数Ⅲの積分(と極限)を用いて上に挙げた式をそれぞれ示していきます.

証明

読みやすさを考慮して, 上に挙げた順ではなくlog(1+x)exsinxcosxの順で書くことにします.

log(1+x)

pを正の定数, 1<t1として
Rn(t)=11+tpk=0n1(tp)k=11+tp1(tp)n1+tp=(1)ntnp1+tp
とします. このとき1<x1なら
0xRn(t)dt=0x11+tpdt0xk=0n1(tp)kdt=0x11+tpdtk=0n1(1)k0xtkpdt=0x11+tpdtk=0n1(1)kxkp+1kp+1
であり, また
|0xRn(t)dt|0x|Rn(t)|dt=0x|(1)ntnp1+tp|dt=0xtnp1+tpdt

ここで, tが積分範囲にあるとき11+tpは上から定数cで抑えられるので

0xtnp1+tpdt0xctnpdt=cxnp+1np+10  (n)

以上より,
limn0xRn(t)dt=0
すなわち
limn(0x11+tpdtk=0n1(1)kxkp+1kp+1)=0
となり,
0x11+tpdt=n=0(1)nxnp+1np+1
が示されます.

ここでp=1とすると, 求めていた式
log(1+x)=n=0(1)nxn+1n+1
が得られます.

補足
p=2とするとarctanxのマクローリン展開も得られます.

ex

an=1etx1(logt)ndt(x0)
とします.
部分積分により,
a1 =1etx1logtdt=[1xtxlogt]+1x1etx1dt=1xex+1x[1xtx]=1xex1x2(1ex1)=1xex1x2ex+1x2
an+1=1etx1(logt)n+1dt=[1xtxlogt]+n+1x1etx1(logt)ndt=1xex+n+1xan
となります.

上の漸化式からanの一般項を求めにいくんですが, 少し複雑な形をしていので工夫が必要ですね.
an=12an+1のような形の漸化式では, 両辺に2n+1をかけることでbn=2nanという数列に関する簡単な漸化式が得られました.
またan+1=ann+1のときは両辺に(n+1)!をかけることで(n+1)!an+1=n!an==a1すなわちan=a1n!と計算することができます.

今回の漸化式はこの2つを合わせた形になっているので, これらの工夫を組み合わせることで計算ができそうです.
実際上式の両辺にxn+1(n+1)!をかけると次のようになります.
xn+1an+1(n+1)!=xnann!xn(n+1)!ex
よって
xnann!=xa1k=1n1xk(k+1)!ex=1ex1xex+1xk=1n1xk(k+1)!ex
両辺にxexをかけて少し整理すると,
k=0nxkk!=exxn+1ann!ex
となります. Σの中身や範囲が微妙に変わっていることに注意してください.

ここまで来たらほとんどゴールです. 極限をとりたいので, 右辺の第2項の極限値を調べるためにanの評価をしましょう.

anの定義を再掲しておきます.
an=1etx1(logt)ndt(x0)
1teのとき0(logt)n1なので
1etx10dtan1etx11dt0anex1xex  (n)0xn+1ann!exex1xxn+1n!0  (n) limnxn+1ann!ex=0 .
これよりk=0nxkk!が収束することが言えて,
limnk=0nxkk!=ex ex=n=0xnn!
がとなります.
ここまではx0のときでしたが, x=0のときも
e0=1=1+0+02!+
なのでOKです.
以上より任意の実数xに対して
ex=n=0xnn!=1+x+x22!+x33!+
が成り立つことが示されました.

sinx ,cosx

この2つはまとめて示します.
In=0xt2ncost dtJn=0xt2nsint dt
と置いて, exのときと全く同じことをします.

本当にやることは同じなので途中計算を省略すると,
(1)nIn(2n)!=1sinxk=0n1(1)kx2k+1(2k+1)!cosxk=0n(1)kx2k(2k)!(1)nJn(2n)!=sinxk=0n(1)kx2k(2k)!cosxk=0n1(1)kx2k+1(2k+1)!
となります. ここで左辺はともにn0に収束します.

上式において, すぐにnとして
0=1sinxk=0(1)kx2k+1(2k+1)!cosxk=0(1)kx2k(2k)!0=sinxk=0(1)kx2k+1(2k+1)!cosxk=0(1)kx2k(2k)!
とするのは誤りです. なぜなら現段階ではこの式に含まれる級数が収束するか分からないからです.
exのときにわざわざ
k=0nxkk!=exxn+1ann!ex
としたのもこれを意識してのことです.

以下では式が煩雑になるのを防ぐために
cn=(1)nIn(2n)! , dn=(1)nJn(2n)!An=k=0n(1)kx2k(2k)! , Bn=k=0n1(1)kx2k+1(2k+1)!
とします. このとき,
{Ansinx+Bncosx=1cnAncosxBnsinx=dn
となるので, これをAn , Bnに関する連立方程式だと思って解くと,
{An=sinxcnsinxdncosxBn=cosxcncosx+dnsinx
となります.
nのときcn0, dn0であることを思い出すと, 上式の極限をとることで,
limnAn=sinx  , limnBn=cosx
すなわち
sinx=n=0(1)nx2n+1(2n+1)!cosx=n=0(1)nx2n(2n)!
が言えます. これで全ての証明が終わりました. やったね.

おわりに

一般的には大学数学の内容とされるものが実は高校数学でも扱えるというのは往々にしてある話で, 最近知ったんですがバーゼル問題(平方数の逆数の無限和はπ26に一致する)の証明が誘導付きで入試問題に出たこともあるそうです. こういうのを見ると「数Ⅲやるじゃん」って気持ちになります.
また今回紹介した証明について, ex, sinx, cosxの分は私が考えたものなんですが, log(1+x)の分は駿台の高2エクストラ数学αという講義のテキストに載っていた問題を少しアレンジしたものです. アレンジとは言っても元の問題では積分範囲が0から1だったのを, 0からxに変えただけです.
今回の記事はこれで終わりです. ここまでお読みいただきありがというございました. また別の記事でお会いしましょう.

参考文献

投稿日:202316
更新日:2023125
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 証明
  3. $\log(1+x)$
  4. $e^x$
  5. $\sin{x}\ , \cos{x}$
  6. おわりに
  7. 参考文献