アットランダム≒ブリコラージュ

「転ぶな、風邪ひくな、義理を欠け」(長寿の心得...岸信介) /「食う、寝る、出す、風呂」(在宅生活4つの柱)

証明

[ リスト ]

ゴールドバッハ・オイラーの定理の証明…♪

この定理の証明がwikiに載ってた☆
そのまんま…^^;;

イメージ 2

https://ja.wikipedia.org/wiki/ゴールドバッハ・オイラーの定理 より Orz〜
「ゴールドバッハ・オイラーの定理（Goldbach–Euler theorem）はある自然数の逆数を項とする級数に関する定理であり、以下の式で表される。

イメージ 1

ただし、pは累乗数(1は含まない)を動くものとする。上の式は、累乗数より1小さい自然数の逆数の無限和が1に収束することを意味する。この定理は1737年にレオンハルト・オイラーがその論文中で初めて述べたものであるが、クリスティアン・ゴールドバッハが彼に宛てた手紙の中でオイラーに明らかにしたとされる（手紙は散逸している）。

収束することの証明

\begin{align}& \quad \frac{1}{2^2-1} + \frac{1}{2^3-1} + \frac{1}{3^2-1} + \frac{1}{4^2-1} + \frac{1}{5^2-1} + ... \\& = \frac{1}{3} + \frac{1}{7} + \frac{1}{8} + \frac{1}{15} + \frac{1}{24} + ... \\& < \frac{1}{3} + \frac{1}{4} + \frac{1}{8} + \frac{1}{9} + \frac{1}{16} + ... \\& = \frac{1}{3} + \sum_{m=2}^{\infty} \sum_{k=2}^{\infty} \frac{1}{m^k} \\& = \frac{1}{3} + \sum_{m=2}^{\infty} \frac{1}{m^2} \sum_{k=0}^{\infty} \frac{1}{m^k} \\& = \frac{1}{3} + \sum_{m=2}^{\infty} \frac{1}{m^2} \frac{m}{m-1} = \frac{1}{3} + \sum_{m=2}^{\infty} \left( \frac{1}{m-1} - \frac{1}{m} \right) = \frac{1}{3} + 1 = \frac{4}{3}\\\end{align}

したがって \frac{1}{3} + \frac{1}{7} + \frac{1}{8} + \frac{1}{15} + \frac{1}{24} + ... < \frac{4}{3} である。 
この級数は単調増加なので \frac{4}{3} 未満の実数に収束する。

*ΣΣ(1/m^k)=Σ(1/m^2)Σ(1/m^(k-2))・・・ここが肝ねぇ☆
Σ(1/m^k)=(1-(1/m)^(k+1))/(1-1/m)=m/(m-1) なのね ^^


収束値の証明

ゴールドバッハによる証明は以下のように調和級数を用いたものである。
まず H_{\infty} を次のように定義する。
H_{\infty} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \frac{1}{6} + ... \quad (1)
続いて等比級数を用いて以下の式を与える。
1 = \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \frac{1}{32} + ...
(1)式からこの式を辺々引くと
H_{\infty} - 1 = 1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{9} + ... \quad (2)
となる。さらに等比級数を用いて
\frac{1}{2} = \frac{1}{3} + \frac{1}{9} + \frac{1}{27} + \frac{1}{81} + ...
を導き、この両辺を(2)式から引けば
H_{\infty} - 1 - \frac{1}{2} = 1 + \frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{10} + ...
このような操作を繰り返すと右辺の1以外の項は全て消えて以下のようになる。
H_{\infty} - 1 - \frac{1}{2} - \frac{1}{4} - \frac{1}{5} - \frac{1}{6} - \frac{1}{9} - ... = 1
(2)式と左辺が等しくなるように移項すると
H_{\infty} - 1 = 1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{5} + \frac{1}{6} + \frac{1}{9} + ... \quad (3)
右辺の項の分母には累乗数より1だけ小さな数は現れないことに注意。

*1/k=1/(k+1)+1/(k+1)^2+1/(k+1)^3+…
だからなんだけど…
すぐ、そう言えることが巧すぎる^^;☆

最後に(1)式から(3)式を引くと求める級数が得られる。
1 = \frac{1}{3} + \frac{1}{7} + \frac{1}{8} + \frac{1}{15} + \frac{1}{24} + ...
ただし調和級数 H_{\infty} は発散するので、この証明は現代的な観点では厳密なものとはいえない。」

問題思い付いたので…アップしよっと ^^

開く トラックバック（0）

連携サービス
知恵袋｜
ロコ｜
求人

Yahoo!ブログからのお知らせ

.
スモークマン
スモークマン
男性 / A型
人気度
Yahoo!ブログヘルプ - ブログ人気度について
友だち(1)
  • ヤドカリ
友だち一覧
日 月 火 水 木 金 土
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31

最新のコメント

最新のトラックバック

過去の記事一覧

検索 検索

Yahoo!からのお知らせ

よしもとブログランキング

もっと見る

[PR]お得情報

ふるさと納税サイト≪さとふる≫
実質2000円で好きなお礼品を選べる
毎日人気ランキング更新中！

その他のキャンペーン

プライバシー -  利用規約 -  メディアステートメント -  ガイドライン -  順守事項 -  ご意見・ご要望 -  ヘルプ・お問い合わせ

Copyright (C) 2019 Yahoo Japan Corporation. All Rights Reserved.

みんなの更新記事
前へ 次へ